control flow: visit assignment lValue only once (EA-51083 - ESE: Stack.pop)

This commit is contained in:
peter
2013-12-18 17:25:49 +01:00
parent 746901e8c5
commit 57cf9cefb6
3 changed files with 35 additions and 13 deletions
@@ -0,0 +1,12 @@
class Some {
boolean foo(Object first, Object second) {
boolean isEqual = true;
if (<error descr="Operator '||' cannot be applied to 'boolean', 'java.lang.Object'">first != null || second</error> -= null) {
return isEqual;
}
return isEqual;
}
}