xazax.hun added inline comments.
================
Comment at: lib/StaticAnalyzer/Core/ExprEngineC.cpp:423
@@ +422,3 @@
+
+ if (!val.isZeroConstant()) {
+ val = getStoreManager().evalDynamicCast(val, T, Failed);
----------------
NoQ wrote:
> I guess if `val` is a //non-zero// constant, it wouldn't make much difference.
I might be wrong, but isn't the only valid constant value for a pointer the
zero constant?
https://reviews.llvm.org/D23014
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
