C#: Remove expanded assignments.#21452

Draft

michaelnebel wants to merge 22 commits intogithub:mainfrom

michaelnebel:csharp/expandedassignment

Commits on Mar 16, 2026

C#: Extract compound operator assignments as is.
michaelnebel
committed
C#: Update the DB Scheme such that compound assignments can be considered operator calls.
michaelnebel
committed
C#: Let assign operations be operator calls.
michaelnebel
committed
C#: Add another group of assignable definitions (corresponding to compound assignment operations) and update taint flow for +.
michaelnebel
committed
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

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 22 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 +.

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.