diff options
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index f5fe8d0371..518b57b747 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -2711,8 +2711,6 @@ void GRExprEngine::VisitBinaryOperator(BinaryOperator* B, 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); |