[cfe-commits] r89591 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

Zhongxing Xu xuzhongxing at gmail.com
Sun Nov 22 05:30:11 PST 2009


Author: zhongxingxu
Date: Sun Nov 22 07:30:10 2009
New Revision: 89591

URL: http://llvm.org/viewvc/llvm-project?rev=89591&view=rev
Log:
Remove invalid comments. The result is undefined only when operands are undefined.

Modified:
    cfe/trunk/lib/Analysis/GRExprEngine.cpp

Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=89591&r1=89590&r2=89591&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Sun Nov 22 07:30:10 2009
@@ -2711,8 +2711,6 @@
         state = state->BindExpr(B, Result);
         
         if (Result.isUndef()) {
-          // The operands were *not* undefined, but the result is undefined.
-          // This is a special node that should be flagged as an error.
           if (ExplodedNode *UndefNode = Builder->generateNode(B, state, *I2)){
             UndefNode->markAsSink();
             UndefResults.insert(UndefNode);





More information about the cfe-commits mailing list