mirror of
https://github.com/github/codeql.git
synced 2025-12-21 19:26:31 +01:00
Instructions that are removed from the normal value numbering recursion because they have a duplicated type or AST element get unique value numbers rather than going unnumbered. This ensures comparisons of value numbers using `!=` hold for filtered instructions.