[PATCH] D64374: [analyzer] CastValueChecker: Model casts

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp:124
+
+        Out << "Cast from a null pointer results in a null pointer";
+        return Out.str();
----------------
`Assuming null pointer is passed into cast` o.o


Repository:
  rC Clang

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

https://reviews.llvm.org/D64374