]> granicus.if.org Git - clang/commitdiff
The isPrefix() checking is redundant. Lvalue incremental/decremental expressions
authorZhongxing Xu <xuzhongxing@gmail.com>
Mon, 10 Jan 2011 03:22:57 +0000 (03:22 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Mon, 10 Jan 2011 03:22:57 +0000 (03:22 +0000)
are all prefixes.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123156 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Checkers/ExprEngine.cpp

index 67ddcce85948fe1de0730841402e74f2a50db676..7c1d3134538cf1383b7e299d8a5a8da201972931 100644 (file)
@@ -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);