Charusso planned changes to this revision.
Charusso marked 2 inline comments as done.
Charusso added a comment.
Heavily WIP, see inline.
================
Comment at: clang/test/Analysis/return-value-guaranteed.cpp:37
+bool parseFile() {
+ clang_analyzer_eval(error() == true); // FIXME: xpected-warning{{TRUE}}
+
----------------
It is blind.
================
Comment at: clang/test/Analysis/return-value-guaranteed.cpp:82
+ if (error())
+ (void)(1 / !error());
+}
----------------
It makes no reports.
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D63915/new/
https://reviews.llvm.org/D63915
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
