C#: Replace CFG with the shared implementation#21565

Draft

aschackmull wants to merge 31 commits intogithub:mainfrom

aschackmull:csharp/cfg2

Commits on Mar 24, 2026

C#: Don't extract expanded assignments and swap child indices for assignments.
michaelnebel
committed
C#: Update the DB scheme to reflect that assign arithmetic- and bitwise operations are operator calls.
michaelnebel
committed
C#: Update the child indices for assignments, update Assign classes to extend OperatorCall and add AssignOperation classes.
michaelnebel
committed
C#: Deprecate the expanded assignment predicate as we no longer extract expanded assignments.
michaelnebel
committed
C#: Cleaup expanded assignments from the dispatch logic.
michaelnebel
committed
C#: Introduce a new kind of assignable definitions for compound assignments (those that was previously covered by expanded assignments).
michaelnebel
committed
C#: Update the CFG implementation based on the new operations and remove hack that rotates children of assignments.
michaelnebel
committed
C#: Upgrade libraries and queries to use the new Operation classes.
michaelnebel
committed
C#: Add/update tests and expected output.
michaelnebel
committed
C#: Add operation types to the DB scheme.
michaelnebel
committed
C#: Use the DB types and replace the abstract class implementation.
michaelnebel
committed
C#: Adress review comments.
michaelnebel
committed
C#: Remove expr_parent_adjusted.
michaelnebel
committed
Cfg: Support Throw expressions.
aschackmull
committed
Cfg: Support GotoStmt.
aschackmull
committed
Cfg: Support short-circuiting compound assignments.
aschackmull
committed
C#: Introduce ControlFlowElementOrCallable.
aschackmull
committed
Cfg/Java: Move InstanceOfExpr CFG into shared lib.
aschackmull
committed
Cfg: Extend consistency checks.
aschackmull
committed
C#: Rename ControlFlow::Node to ControlFlowNode.
aschackmull
committed
Cfg: Add dominance predicates to shared ControlFlowNode.
aschackmull
committed
C#: Update some references in preparation for CFG swap.
aschackmull
committed
C#: Update some references to ControlFlow::Nodes.
aschackmull
committed
C#: Rename remaining references to ControlFlow::Nodes.
aschackmull
committed
C#: Rename ControlFlow::BasicBlock to BasicBlock.
aschackmull
committed
C#: Replace CFG.
aschackmull
committed
C#: Fix test.
aschackmull
committed
C#: Fix UncheckedCastInEquals.
aschackmull
committed
C#: Bugfix in enclosing callable.
aschackmull
committed

Commits on Mar 26, 2026

C#: Fix CFG position of property setter calls.
aschackmull
committed
fu: CFG cond context for extension method calls
aschackmull
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

C#: Replace CFG with the shared implementation#21565

C#: Replace CFG with the shared implementation#21565
aschackmull wants to merge 31 commits intogithub:mainfrom
aschackmull:csharp/cfg2

Commits on Mar 24, 2026

C#: Don't extract expanded assignments and swap child indices for assignments.

C#: Update the DB scheme to reflect that assign arithmetic- and bitwise operations are operator calls.

C#: Update the child indices for assignments, update Assign classes to extend OperatorCall and add AssignOperation classes.

C#: Deprecate the expanded assignment predicate as we no longer extract expanded assignments.

C#: Cleaup expanded assignments from the dispatch logic.

C#: Introduce a new kind of assignable definitions for compound assignments (those that was previously covered by expanded assignments).

C#: Update the CFG implementation based on the new operations and remove hack that rotates children of assignments.

C#: Upgrade libraries and queries to use the new Operation classes.

C#: Add/update tests and expected output.

C#: Add operation types to the DB scheme.

C#: Use the DB types and replace the abstract class implementation.

C#: Adress review comments.

C#: Remove expr_parent_adjusted.

Cfg: Support Throw expressions.

Cfg: Support GotoStmt.

Cfg: Support short-circuiting compound assignments.

C#: Introduce ControlFlowElementOrCallable.

Cfg/Java: Move InstanceOfExpr CFG into shared lib.

Cfg: Extend consistency checks.

C#: Rename ControlFlow::Node to ControlFlowNode.

Cfg: Add dominance predicates to shared ControlFlowNode.

C#: Update some references in preparation for CFG swap.

C#: Update some references to ControlFlow::Nodes.

C#: Rename remaining references to ControlFlow::Nodes.

C#: Rename ControlFlow::BasicBlock to BasicBlock.

C#: Replace CFG.

C#: Fix test.

C#: Fix UncheckedCastInEquals.

C#: Bugfix in enclosing callable.

Commits on Mar 26, 2026

C#: Fix CFG position of property setter calls.

fu: CFG cond context for extension method calls