[cfe-commits] r123156 - /cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Sun Jan 9 19:22:58 PST 2011
Author: zhongxingxu
Date: Sun Jan 9 21:22:57 2011
New Revision: 123156
URL: http://llvm.org/viewvc/llvm-project?rev=123156&view=rev
Log:
The isPrefix() checking is redundant. Lvalue incremental/decremental expressions
are all prefixes.
Modified:
cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp?rev=123156&r1=123155&r2=123156&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp Sun Jan 9 21:22:57 2011
@@ -2987,7 +2987,7 @@
// 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);
More information about the cfe-commits
mailing list