[cfe-commits] r123156 - /cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp

[Zhongxing Xu]

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);