Merge pull request #4066 from Marcono1234/marcono1234/simplify-VarAccess-isLValue

[Java] Simplify VarAccess.isLValue()
This commit is contained in:
Anders Schack-Mulligen
2020-08-13 16:40:28 +02:00
committed by GitHub

View File

@@ -1344,10 +1344,7 @@ class VarAccess extends Expr, @varaccess {
*/
predicate isLValue() {
exists(Assignment a | a.getDest() = this) or
exists(PreIncExpr e | e.getExpr() = this) or
exists(PreDecExpr e | e.getExpr() = this) or
exists(PostIncExpr e | e.getExpr() = this) or
exists(PostDecExpr e | e.getExpr() = this)
exists(UnaryAssignExpr e | e.getExpr() = this)
}
/**