diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-22 13:30:10 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-22 13:30:10 +0000 |
| commit | 39638e133a1befa3061ad4d11d86bd7ee12b3b4b (patch) | |
| tree | f9965cadfa9871cd1d00dc3ceb823b0159bfa8b7 /clang/lib | |
| parent | 7f83e97b00622620d06e8fc110897e777dd65819 (diff) | |
| download | bcm5719-llvm-39638e133a1befa3061ad4d11d86bd7ee12b3b4b.tar.gz bcm5719-llvm-39638e133a1befa3061ad4d11d86bd7ee12b3b4b.zip | |
Remove invalid comments. The result is undefined only when operands are undefined.
llvm-svn: 89591
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index f5fe8d0371c..518b57b747f 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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); |
