[PATCH] D63915: [analyzer][WIP] ReturnValueChecker: Model the guaranteed boolean return value of function calls

[Csaba Dabis via Phabricator via cfe-commits]

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