Merge pull request #516 from rvermeulen/rvermeulen/fix-368

Fix #368

Author: rvermeulen

change_notes/2024-01-30-fix-fp-for-a4-7-1.md

@@ -0,0 +1,2 @@
+`A4-7-1`: `IntegerExpressionLeadToDataLoss.ql`
+ - Fix #368: Incorrectly reporting `/=` as a cause for data loss.

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

@@ -64,6 +64,10 @@ void test_loop_bound_bad(unsigned int n) {
   }
 }
 
+void test_assign_div(int i) { // COMPLIANT
+  i /= 2;
+}
+
 void test_pointer() {
   int *p = nullptr;
   p++; // COMPLIANT - not covered by this rule