The isPrefix() checking is redundant. Lvalue incremental/decremental expressions
are all prefixes.
llvm-svn: 123156
diff --git a/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
index 67ddcce..7c1d313 100644
--- a/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
@@ -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);