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

Open

MathiasVP wants to merge 9 commits into

github:mainfrom

MathiasVP:uncertain-def-more-complete

Commits on May 13, 2026

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

MathiasVP
and
Copilot
authored