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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/unittests/StaticAnalyzer/CallDescriptionTest.cpp:36
 
-    const bool *LookupResult = CDM.lookup(*Call);
+    Optional<bool> LookupResult = CDM.lookup(*Call);
     // Check that we've found the function in the map
----------------
I updated D62441, you might have to rebase >.<


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63915/new/

https://reviews.llvm.org/D63915