[PATCH] D23014: [analyzer] Model base to derived casts more precisely.

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Tue Aug 2 06:32:59 PDT 2016

NoQ added inline comments.

Comment at: lib/StaticAnalyzer/Core/ExprEngineC.cpp:423
@@ +422,3 @@
+        if (!val.isZeroConstant()) {
+          val = getStoreManager().evalDynamicCast(val, T, Failed);
I guess if `val` is a //non-zero// constant, it wouldn't make much difference.


More information about the cfe-commits mailing list