C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness - #20558

Merged

aschackmull merged 17 commits into

github:mainfrom

aschackmull:csharp/guards3

Oct 23, 2025

Commits on Oct 3, 2025

Guards: Refactor representation of false.
aschackmull
committed
64caae5
ControlFlow: Rename getAPhiInput to getAnInput.
aschackmull
committed
ca7d560
Guards: Disregard more trivial guards.
aschackmull
committed
c01ac30
C#: Instantiate shared Guards.
aschackmull
committed
b52a9a8
C#: Disable FinallySplit, BooleanSplit, and LoopSplit
aschackmull
committed
449059f
C#: Instantiate ControlFlowReachability and implement new nullness.
aschackmull
committed
c2d21e9
C#: Clean up.
aschackmull
committed
6cfadbf
C#: Replace NullMaybe.ql implementation.
aschackmull
committed
587901b
C#: Improve ConstantCondition.ql
aschackmull
committed
64810f6
C#: Update nullness qltest
aschackmull
committed
df6172b
C#: Accept qltest changes.
aschackmull
committed
b392767
C#: Remove some obsolete tests.
aschackmull
committed
613c789
C++: Accept qltest change (useless guard tautology removed).
aschackmull
committed
fad49ff
C#: Add change note.
aschackmull
committed
84a65be

Commits on Oct 22, 2025

C#: Qldoc tweaks.
aschackmull
committed
c44e6fc
C#: Address more review comments.
aschackmull
committed
f172e36
C#: Fix join-order issue in ConstantCondition.
aschackmull
committed
7d0e4f5