vabridgers added a comment.
ping! Any chance of this patch being accepted? This patch can help some SA
false positives.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D50256/new/
https://reviews.llvm.org/D50256
___
cfe-commits mailing list
baloghadamsoftware updated this revision to Diff 251389.
baloghadamsoftware marked an inline comment as done.
baloghadamsoftware added a comment.
Herald added a reviewer: Szelethus.
Herald added subscribers: ASDenysPetrov, martong, steakhal.
Rebased.
CHANGES SINCE LAST ACTION
baloghadamsoftware updated this revision to Diff 212153.
baloghadamsoftware added a comment.
Fixed error when the result of an integer division is compared to zero.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D50256/new/
https://reviews.llvm.org/D50256
Files:
baloghadamsoftware marked 2 inline comments as done.
baloghadamsoftware added inline comments.
Comment at: test/Analysis/multiplicative-folding.c:140-142
+clang_analyzer_eval(n == -1); //expected-warning{{FALSE}}
+clang_analyzer_eval(n == 0); //expected-warning{{TRUE}}
+
NoQ added inline comments.
Comment at: test/Analysis/multiplicative-folding.c:140-142
+clang_analyzer_eval(n == -1); //expected-warning{{FALSE}}
+clang_analyzer_eval(n == 0); //expected-warning{{TRUE}}
+clang_analyzer_eval(n == 1); //expected-warning{{FALSE}}
