Skip to content

analysis: fix out-of-SSA interference checks - #1549

Open
raaller wants to merge 1 commit into
cea-sec:masterfrom
raaller:fix/outofssa-interference-1535
Open

raaller wants to merge 1 commit into
cea-sec:masterfrom
raaller:fix/outofssa-interference-1535

Conversation

@raaller

@raaller raaller commented Oct 27, 2026

Copy link
Copy Markdown

Fix unsafe coalescing during out-of-SSA conversion, which can change program results from 1 to 3.

Check all cross-set variable pairs for interference and account for virtual Phi copies being defined in predecessor blocks. Add a semantic regression covering all 24 block insertion orders and four input combinations. The regression fails without the fix.

Validation:

  • test/test_all.py: 589/589 passed, including GCC, LLVM and Python JIT tests.
  • Regression across 64 hash seeds: 6144/6144 checks passed.

Closes #1535.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Unsound OutOfSSA transform

1 participant