github
diff --git a/‎change_notes/2024-01-25-fix-reported-fp-for-a8-4-7.md
Copy file name to clipboard
+3Lines changed: 3 additions & 0 deletions b/‎change_notes/2024-01-25-fix-reported-fp-for-a8-4-7.md
Copy file name to clipboard
+3Lines changed: 3 additions & 0 deletions
diff --git a/‎change_notes/2024-01-26-exclusion-a5-0-2.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions b/‎change_notes/2024-01-26-exclusion-a5-0-2.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions
diff --git a/‎cpp/autosar/src/rules/A8-4-7/InParametersForCheapToCopyTypesNotPassedByValue.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A8-4-7/InParametersForCheapToCopyTypesNotPassedByValue.ql
+7-4Lines changed: 7 additions & 4 deletions b/‎cpp/autosar/src/rules/A8-4-7/InParametersForCheapToCopyTypesNotPassedByValue.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A8-4-7/InParametersForCheapToCopyTypesNotPassedByValue.ql
+7-4Lines changed: 7 additions & 4 deletions
diff --git a/‎cpp/autosar/src/rules/A8-4-7/InParametersForNotCheapToCopyTypesNotPassedByReference.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A8-4-7/InParametersForNotCheapToCopyTypesNotPassedByReference.ql
+2-1Lines changed: 2 additions & 1 deletion b/‎cpp/autosar/src/rules/A8-4-7/InParametersForNotCheapToCopyTypesNotPassedByReference.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A8-4-7/InParametersForNotCheapToCopyTypesNotPassedByReference.ql
+2-1Lines changed: 2 additions & 1 deletion
diff --git a/‎cpp/autosar/test/rules/A8-4-7/InParametersForCheapToCopyTypesNotPassedByValue.expected
Copy file name to clipboard
+1-1Lines changed: 1 addition & 1 deletion b/‎cpp/autosar/test/rules/A8-4-7/InParametersForCheapToCopyTypesNotPassedByValue.expected
Copy file name to clipboard
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎cpp/autosar/test/rules/A8-4-7/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A8-4-7/test.cpp
+8Lines changed: 8 additions & 0 deletions b/‎cpp/autosar/test/rules/A8-4-7/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A8-4-7/test.cpp
+8Lines changed: 8 additions & 0 deletions
diff --git a/‎cpp/common/src/codingstandards/cpp/rules/nonbooleanifstmt/NonBooleanIfStmt.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/rules/nonbooleanifstmt/NonBooleanIfStmt.qll
+2Lines changed: 2 additions & 0 deletions b/‎cpp/common/src/codingstandards/cpp/rules/nonbooleanifstmt/NonBooleanIfStmt.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/rules/nonbooleanifstmt/NonBooleanIfStmt.qll
+2Lines changed: 2 additions & 0 deletions
diff --git a/‎cpp/common/src/codingstandards/cpp/rules/nonbooleaniterationstmt/NonBooleanIterationStmt.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/rules/nonbooleaniterationstmt/NonBooleanIterationStmt.qll
+2Lines changed: 2 additions & 0 deletions b/‎cpp/common/src/codingstandards/cpp/rules/nonbooleaniterationstmt/NonBooleanIterationStmt.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/rules/nonbooleaniterationstmt/NonBooleanIterationStmt.qll
+2Lines changed: 2 additions & 0 deletions
@@ -0,0 +1,3 @@
+`A8-4-7` - `InParametersForCheapToCopyTypesNotPassedByValue.ql`, `InParametersForNotCheapToCopyTypesNotPassedByReference.ql`:
+    - Fixes #397. Exclude user defined operators and move constructors.`
+    - Exclude parameters for instantiated templates because the declaration location of the function does not contain enough information about the type used in the instantiation to make an actionable alert. 
@@ -0,0 +1,2 @@
+`A5-0-2` - `NonBooleanIfStmt.qll`, `NonBooleanIterationStmt.qll`:
+    - Exclude compiler generated conditions.
@@ -17,6 +17,7 @@ import cpp
 import codingstandards.cpp.autosar
 import TriviallySmallType
 import codingstandards.cpp.CommonTypes as CommonTypes
+import codingstandards.cpp.Class
 
 /*
  * For the purposes of this rule, "cheap to copy" is defined as a trivially copyable type that is no
@@ -34,8 +35,10 @@ where
   ) and
   t.isConst() and
   not exists(CatchBlock cb | cb.getParameter() = v) and
-  not exists(CopyConstructor cc | cc.getAParameter() = v) and
-  not v.isFromUninstantiatedTemplate(_)
+  not exists(SpecialMemberFunction cc | cc.getAParameter() = v) and
+  not exists(Operator op | op.getAParameter() = v) and
+  not v.isFromUninstantiatedTemplate(_) and
+  not v.isFromTemplateInstantiation(_)
 select v,
-  "Parameter " + v.getName() + " is the trivially copyable type " + t.getName() +
-    " but it is passed by reference instead of by value."
+  "Parameter '" + v.getName() + "' is the trivially copyable type '" + t.getName() +
+    "' but it is passed by reference instead of by value."
@@ -31,7 +31,8 @@ where
   not v.getType() instanceof TriviallySmallType and
   not v.getType().getUnderlyingType() instanceof ReferenceType and
   not exists(CatchBlock cb | cb.getParameter() = v) and
-  not v.isFromUninstantiatedTemplate(_)
+  not v.isFromUninstantiatedTemplate(_) and
+  not v.isFromTemplateInstantiation(_)
 select v,
   "Parameter " + v.getName() +
     " is the trivially non-copyable type $@ but it is passed by value instead of by reference.",
 
@@ -1 +1 @@
-| test.cpp:20:19:20:21 | f5a | Parameter f5a is the trivially copyable type const S1 but it is passed by reference instead of by value. |
+| test.cpp:20:19:20:21 | f5a | Parameter 'f5a' is the trivially copyable type 'const S1' but it is passed by reference instead of by value. |
@@ -37,4 +37,12 @@ inline S1 Value(size_t n, const char *data) {} // COMPLIANT
 struct A {
   int n;
   A(const A &a) : n(a.n) {} // COMPLIANT user-defined copy ctor
+  A(const A &&other_a);     // COMPLIANT user-defined move ctor
 };
+
+class C1 {};
+
+class C2 : public C1 {
+public:
+  C2 &operator=(const C2 &); // COMPLIANT
+};
@@ -14,6 +14,8 @@ query predicate problems(Expr condition, string message) {
   not isExcluded(condition, getQuery()) and
   exists(IfStmt ifStmt, Type explicitConversionType |
     condition = ifStmt.getCondition() and
+    //exclude any generated conditions
+    not condition.isCompilerGenerated() and
     not ifStmt.isFromUninstantiatedTemplate(_) and
     explicitConversionType = condition.getExplicitlyConverted().getUnderlyingType() and
     not explicitConversionType instanceof BoolType and
 
@@ -16,6 +16,8 @@ query predicate problems(Loop loopStmt, string message) {
     condition = loopStmt.getCondition() and
     explicitConversionType = condition.getExplicitlyConverted().getType().getUnspecifiedType() and
     not explicitConversionType instanceof BoolType and
+    //exclude any generated conditions
+    not condition.isCompilerGenerated() and
     message = "Iteration condition has non boolean type " + explicitConversionType + "."
   )
 }
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+`A5-0-2` - `NonBooleanIfStmt.qll`, `NonBooleanIterationStmt.qll`:
	`2`	`+ - Exclude compiler generated conditions.`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-\| test.cpp:20:19:20:21 \| f5a \| Parameter f5a is the trivially copyable type const S1 but it is passed by reference instead of by value. \|`
	`1`	`+\| test.cpp:20:19:20:21 \| f5a \| Parameter 'f5a' is the trivially copyable type 'const S1' but it is passed by reference instead of by value. \|`
Original file line number	Diff line number	Diff line change
`@@ -16,6 +16,8 @@ query predicate problems(Loop loopStmt, string message) {`
`16`	`16`	`condition = loopStmt.getCondition() and`
`17`	`17`	`explicitConversionType = condition.getExplicitlyConverted().getType().getUnspecifiedType() and`
`18`	`18`	`not explicitConversionType instanceof BoolType and`
	`19`	`+ //exclude any generated conditions`
	`20`	`+ not condition.isCompilerGenerated() and`
`19`	`21`	`message = "Iteration condition has non boolean type " + explicitConversionType + "."`
`20`	`22`	`)`
`21`	`23`	`}`