C#: Remove expanded assignments.#21452

Draft

michaelnebel wants to merge 45 commits intogithub:mainfrom

michaelnebel:csharp/expandedassignment

Commits on Mar 18, 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
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
C#: Add null coalescing data flow tests.
michaelnebel
committed
C#: Add operation classes.
michaelnebel
committed
C#: Update data flow and taint-tracking private.
michaelnebel
committed
C#: Update guards library implementation.
michaelnebel
committed
C#: Rename unsigned right shift class.
michaelnebel
committed
C#: Use the operation classes where applicable.
michaelnebel
committed
C#: Update expected output after right shift rename.
michaelnebel
committed
FIXUP of range and modulus analysis.
michaelnebel
committed
FIXUP of DB wrt. which operators result in operator calls.
michaelnebel
committed
FIXUP of extractor implementation. Null coalescing assignments doesn't have operator calls.
michaelnebel
committed