Skip to content

Commit

Permalink
Value analysis: add IU ("known integer or Vundef") static value
Browse files Browse the repository at this point in the history 
This improves analysis precision for comparisons and selections.
  • Loading branch information
@xavierleroy
xavierleroy committed Aug 21, 2024
1 parent 0ffc516 commit 57a630c
Showing 1 changed file with 160 additions and 64 deletions.
Loading

0 comments on commit 57a630c

Please sign in to comment.