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

Tomasz KamiƄski via Phabricator via Openmp-commits openmp-commits at lists.llvm.org
Thu Oct 6 03:15:23 PDT 2022


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



More information about the Openmp-commits mailing list