C#: Remove expanded assignments.#21452

Draft

michaelnebel wants to merge 30 commits intogithub:mainfrom

michaelnebel:csharp/expandedassignment

Commits on Mar 17, 2026

C#: Remove uses of expanded assignment.
michaelnebel
committed
C#: Remove expanded assignments from tests.
michaelnebel
committed
C#: Remove Primary QL class and toString for DynamicOperatorCall (fix issues with inheritance hierarchy as AssignOperation now extends OperatorCall).
michaelnebel
committed
C#: Update guards library as assign operations are not expanded.
michaelnebel
committed
C#: Update nullness expected test output.
michaelnebel
committed
C#: Update range utils and signanalysis.
michaelnebel
committed
C#: Update sign- and modulus analysis expected test output.
michaelnebel
committed
C#: Update the ImplicitToStringExpr class to take AssignAddExpr into account.
michaelnebel
committed
C#: Update cs/useless-assignment-to-local to take AssignOperationDefinitions into account.
michaelnebel
committed
C#: Update MissingXMLValidation expected test output. Note that this removes a duplicate result.
michaelnebel
committed
C#: Update test expected output.
michaelnebel
committed
C#: Update SSA tests expected output.
michaelnebel
committed
C#: Update CFG expected test output.
michaelnebel
committed
C#: Update the viable callables test as += now is an operator call.
michaelnebel
committed
C#: Add comment to viable callable testcase and update expected output to reflect shift in line numbers.
michaelnebel
committed
C#: Swap left and right child of assignment expressions.
michaelnebel
committed
C#: Swap left and right child in assignments in the QL library.
michaelnebel
committed
C#: Update structural comparison test expected output.
michaelnebel
committed
C#: Add some more tests for cs/coalesce-of-identical-expressions and update expected test output.
michaelnebel
committed
C#: Add a NullCoalescingOperation class.
michaelnebel
committed
C#: Use the NullCoalescingOperation class where needed (now that assignments are no longer expanded).
michaelnebel
committed
C#: Update expected test output for UselessNullCoalescingExpression.
michaelnebel
committed
FIXUP of C# 8 tests - controlflow for null coalesching assignment.
michaelnebel
committed
FIXUP of nullness check.
michaelnebel
committed
C#: Add cs/unused-collection test case.
michaelnebel
committed
C#: Update the cs/unused-collection query.
michaelnebel
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

C#: Remove expanded assignments.#21452

C#: Remove expanded assignments.#21452
michaelnebel wants to merge 30 commits intogithub:mainfrom
michaelnebel:csharp/expandedassignment

Commits on Mar 16, 2026

C#: Extract compound operator assignments as is.

C#: Update the DB Scheme such that compound assignments can be considered operator calls.

C#: Let assign operations be operator calls.

C#: Add another group of assignable definitions (corresponding to compound assignment operations) and update taint flow for +.

Commits on Mar 17, 2026

C#: Remove uses of expanded assignment.

C#: Remove expanded assignments from tests.

C#: Remove Primary QL class and toString for DynamicOperatorCall (fix issues with inheritance hierarchy as AssignOperation now extends OperatorCall).

C#: Update guards library as assign operations are not expanded.

C#: Update nullness expected test output.

C#: Update range utils and signanalysis.

C#: Update sign- and modulus analysis expected test output.

C#: Update the ImplicitToStringExpr class to take AssignAddExpr into account.

C#: Update cs/useless-assignment-to-local to take AssignOperationDefinitions into account.

C#: Update MissingXMLValidation expected test output. Note that this removes a duplicate result.

C#: Update test expected output.

C#: Update SSA tests expected output.

C#: Update CFG expected test output.

C#: Update the viable callables test as += now is an operator call.

C#: Add comment to viable callable testcase and update expected output to reflect shift in line numbers.

C#: Swap left and right child of assignment expressions.

C#: Swap left and right child in assignments in the QL library.

C#: Update structural comparison test expected output.

C#: Add some more tests for cs/coalesce-of-identical-expressions and update expected test output.

C#: Add a NullCoalescingOperation class.

C#: Use the NullCoalescingOperation class where needed (now that assignments are no longer expanded).

C#: Update expected test output for UselessNullCoalescingExpression.

FIXUP of C# 8 tests - controlflow for null coalesching assignment.

FIXUP of nullness check.

C#: Add cs/unused-collection test case.

C#: Update the cs/unused-collection query.