[PATCH] D75697: [analyzer] Allow null false positive suppression for conditions

2020-03-05 Thread Kristóf Umann via Phabricator via cfe-commits
Szelethus added a comment. I'm too sure what the implications of such a change is, so I'll get some real-life results before even thinking of commiting. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D75697/new/ https://reviews.llvm.org/D75697 __

[PATCH] D75697: [analyzer] Allow null false positive suppression for conditions

2020-03-05 Thread Artem Dergachev via Phabricator via cfe-commits
NoQ added a comment. Aha! We need some positive results tho, given that these are heuristics. Comment at: clang/test/Analysis/inlining/inline-defensive-checks.m:113 if (!mem) -return 5/zero; // expected-warning {{Division by zero}} +return 5/zero; return 0; --

[PATCH] D75697: [analyzer] Allow null false positive suppression for conditions

2020-03-05 Thread Kristóf Umann via Phabricator via cfe-commits
Szelethus created this revision. Szelethus added reviewers: NoQ, baloghadamsoftware, balazske, martong, xazax.hun, dcoughlin. Szelethus added a project: clang. Herald added subscribers: cfe-commits, steakhal, Charusso, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, w