C++: Support reasoning about whether a phi node overwrites the entire buffer - #21836

Merged

MathiasVP merged 13 commits into

github:mainfrom

MathiasVP:uncertain-def-more-complete

May 20, 2026

Commits on May 13, 2026

C++: Add a FP caused by missing certainty around SSA writes from Uninitialized instructions.
MathiasVP
committed
8e25240
C++: Make 'toString' on 'Ssa::Definition' more clear.
MathiasVP
committed
b753e7d
C++: Add a new test to test assignment certainty (i.e., whether the entire buffer is overwritten).
MathiasVP
committed
e77d85f
C++: Add missing overrides.
MathiasVP
committed
6d5d57a
C++: Slightly refactor certainty computation with a newtype.
MathiasVP
committed
fc80a24
C++: Some writes are always certain regardless of the address.
MathiasVP
committed
8585bb6
C++: Perform an SCC reduction to simulate greatest fixed-point semantics.
MathiasVP
committed
f40d42c
C++: Accept test changes in experimental query.
MathiasVP
committed
07b8d7e
Potential fix for pull request finding

MathiasVP
and
Copilot
authored
25c4d9d