Exclude assignment division and assignment modulo

Author: rvermeulen

cpp/autosar/src/rules/A4-7-1/IntegerExpressionLeadToDataLoss.ql

@@ -30,5 +30,7 @@ where
   not e instanceof MulExpr and
   // Not covered by this query - overflow/underflow in division is rare
   not e instanceof DivExpr and
-  not e instanceof RemExpr
+  not e instanceof AssignDivExpr and
+  not e instanceof RemExpr and
+  not e instanceof AssignRemExpr
 select e, "Binary expression ..." + e.getOperator() + "... may overflow."

cpp/autosar/test/rules/A4-7-1/test.cpp

@@ -62,4 +62,8 @@ void test_loop_bound_bad(unsigned int n) {
        i++) { // NON_COMPLIANT - crement will overflow before loop bound is
               // reached
   }
+}
+
+void test_assign_div(int i) { // COMPLIANT
+  i /= 2;
 }