[Openmp-commits] [PATCH] D134947: [analyzer] Fix liveness of Symbols for values in regions reffered by LazyCompoundVal

[Tomasz Kamiński via Phabricator via Openmp-commits]

tomasz-kaminski-sonarsource marked 2 inline comments as done.
tomasz-kaminski-sonarsource added a comment.

Where should I add As a result of our internal test on around ~170 projects (~20 Widnows, ~150 Linux) that are compromised of several hundreds of millions of lines of code, the impact on the files that parsed correctly was: 5 issues disappearing and 4 new issues.  We investigated all of the reports, and the changes seemed justified:

- removing issues from impossible paths, that are now correctly recognized due to preserved constraints
- the value of location not being reported as garbage
- undefined behavior for overflowing shift operation, as we preserve constrain of the bits
- recognition of null pointer values


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D134947/new/

https://reviews.llvm.org/D134947