github
diff --git a/‎change_notes/2024-06-18-fix-fp-614-A3-9-1.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions b/‎change_notes/2024-06-18-fix-fp-614-A3-9-1.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions
diff --git a/‎cpp/autosar/src/rules/A3-9-1/VariableWidthIntegerTypesUsed.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A3-9-1/VariableWidthIntegerTypesUsed.ql
+5-1Lines changed: 5 additions & 1 deletion b/‎cpp/autosar/src/rules/A3-9-1/VariableWidthIntegerTypesUsed.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A3-9-1/VariableWidthIntegerTypesUsed.ql
+5-1Lines changed: 5 additions & 1 deletion
diff --git a/‎cpp/autosar/test/rules/A3-9-1/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A3-9-1/test.cpp
+6-1Lines changed: 6 additions & 1 deletion b/‎cpp/autosar/test/rules/A3-9-1/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A3-9-1/test.cpp
+6-1Lines changed: 6 additions & 1 deletion
diff --git a/‎cpp/common/src/codingstandards/cpp/Operator.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/Operator.qll
+14Lines changed: 14 additions & 0 deletions b/‎cpp/common/src/codingstandards/cpp/Operator.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/Operator.qll
+14Lines changed: 14 additions & 0 deletions
@@ -0,0 +1,2 @@
+- `A3-9-1` - `VariableWidthIntegerTypesUsed.ql`:
+  - Fixes #614. Excludes post increment and decrement operators.
@@ -20,6 +20,7 @@ import codingstandards.cpp.autosar
 import codingstandards.cpp.EncapsulatingFunctions
 import codingstandards.cpp.BuiltInNumericTypes
 import codingstandards.cpp.Type
+import codingstandards.cpp.Operator
 
 from Variable v, Type typeStrippedOfSpecifiers
 where
@@ -30,5 +31,8 @@ where
     typeStrippedOfSpecifiers instanceof UnsignedCharType or
     typeStrippedOfSpecifiers instanceof SignedCharType
   ) and
-  not v instanceof ExcludedVariable
+  not v instanceof ExcludedVariable and
+  //post-increment/post-decrement operators are required by the standard to have a dummy int parameter
+  not v.(Parameter).getFunction() instanceof PostIncrementOperator and
+  not v.(Parameter).getFunction() instanceof PostDecrementOperator
 select v, "Variable '" + v.getName() + "' has variable-width type."
@@ -70,4 +70,9 @@ void test_variable_width_type_qualified_variables() {
   volatile long l2;           // NON_COMPLIANT
   volatile unsigned long ul2; // NON_COMPLIANT
   volatile signed long sl2;   // NON_COMPLIANT
-}
+}
+
+struct test_fix_fp_614 {
+  test_fix_fp_614 operator++(int); // COMPLIANT
+  test_fix_fp_614 operator--(int); // COMPLIANT
+};
@@ -215,6 +215,20 @@ class IncrementOperator extends Operator {
   }
 }
 
+class PostIncrementOperator extends Operator {
+  PostIncrementOperator() {
+    hasName("operator++") and
+    getNumberOfParameters() = 1
+  }
+}
+
+class PostDecrementOperator extends Operator {
+  PostDecrementOperator() {
+    hasName("operator--") and
+    getNumberOfParameters() = 1
+  }
+}
+
 class StructureDerefOperator extends Operator {
   StructureDerefOperator() {
     hasName("operator->") and
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+- `A3-9-1` - `VariableWidthIntegerTypesUsed.ql`:
	`2`	`+ - Fixes #614. Excludes post increment and decrement operators.`