[cfe-commits] r122390 - /cfe/trunk/lib/Checker/Environment.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Wed Dec 22 01:40:30 2010
New Revision: 122390

URL: http://llvm.org/viewvc/llvm-project?rev=122390&view=rev
Log:
Always blast through no-op casts when getting expr SVals.

Modified:
    cfe/trunk/lib/Checker/Environment.cpp

Modified: cfe/trunk/lib/Checker/Environment.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/Environment.cpp?rev=122390&r1=122389&r2=122390&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/Environment.cpp (original)
+++ cfe/trunk/lib/Checker/Environment.cpp Wed Dec 22 01:40:30 2010
@@ -63,12 +63,7 @@
         if (CT->isVoidType())
           return UnknownVal();
         if (C->getCastKind() == CK_NoOp) {
-          // If the no-op cast has value, use it. Should we always propagate
-          // values through all levels of no-op casts?
-          if (const SVal* X = ExprBindings.lookup(C))
-            return *X;
-          else
-            E = C->getSubExpr();
+          E = C->getSubExpr();
           continue;
         }
         break;