SE: support more assignements operators

Author: benzonico

java-squid/src/main/java/org/sonar/java/se/ExplodedGraphWalker.java

@@ -313,7 +313,19 @@ private void visit(Tree tree, @Nullable Tree terminator) {
           programState = programState.stackValue(constraintManager.createSymbolicValue(typeCast.expression()));
         }
         break;
+
       case ASSIGNMENT:
+      case MULTIPLY_ASSIGNMENT:
+      case DIVIDE_ASSIGNMENT:
+      case REMAINDER_ASSIGNMENT:
+      case PLUS_ASSIGNMENT:
+      case MINUS_ASSIGNMENT:
+      case LEFT_SHIFT_ASSIGNMENT:
+      case RIGHT_SHIFT_ASSIGNMENT:
+      case UNSIGNED_RIGHT_SHIFT_ASSIGNMENT:
+      case AND_ASSIGNMENT:
+      case XOR_ASSIGNMENT:
+      case OR_ASSIGNMENT:
         ExpressionTree variable = ((AssignmentExpressionTree) tree).variable();
         if (variable.is(Tree.Kind.IDENTIFIER)) {
           // FIXME restricted to identifiers for now.

java-squid/src/test/files/se/ConditionAlwaysTrueOrFalseCheck.java

@@ -1242,4 +1242,13 @@ private void castNumbers(long n, long m) {
       handleProper(truncatedProduct);
     }
   }
+
+  private void orEqualAssignement(boolean a) {
+    boolean foo = false;
+    foo |= a;
+    if(foo) {}
+    foo = false;
+    foo &= a;
+    if(foo) {} //false negative: Should be fixed by SONARJAVA-1391
+  }
 }