[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