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

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to