summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2011-01-10 03:22:57 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2011-01-10 03:22:57 +0000
commit0710f5c5e136da4f4507399d059cd6e152ddd833 (patch)
treeb1eecc18700427503bda71ecbaac44b4949aab49
parent2fb5b3157826043df780cb52e7e3b773ce7fdd66 (diff)
downloadbcm5719-llvm-0710f5c5e136da4f4507399d059cd6e152ddd833.tar.gz
bcm5719-llvm-0710f5c5e136da4f4507399d059cd6e152ddd833.zip
The isPrefix() checking is redundant. Lvalue incremental/decremental expressions
are all prefixes. llvm-svn: 123156
-rw-r--r--clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
index 67ddcce8594..7c1d3134538 100644
--- a/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
@@ -2987,7 +2987,7 @@ void ExprEngine::VisitUnaryOperator(const UnaryOperator* U,
// Since the lvalue-to-rvalue conversion is explicit in the AST,
// we bind an l-value if the operator is prefix and an lvalue (in C++).
- if (U->isPrefix() && U->isLValue())
+ if (U->isLValue())
state = state->BindExpr(U, loc);
else
state = state->BindExpr(U, V2);
OpenPOWER on IntegriCloud