github
diff --git a/‎change_notes/2024-06-18-fix-fp-616-M9-3-3.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions b/‎change_notes/2024-06-18-fix-fp-616-M9-3-3.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions
diff --git a/‎cpp/autosar/src/rules/M9-3-3/MemberFunctionStaticIfPossible.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/M9-3-3/MemberFunctionStaticIfPossible.ql
+2-1Lines changed: 2 additions & 1 deletion b/‎cpp/autosar/src/rules/M9-3-3/MemberFunctionStaticIfPossible.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/M9-3-3/MemberFunctionStaticIfPossible.ql
+2-1Lines changed: 2 additions & 1 deletion
diff --git a/‎cpp/autosar/test/rules/M9-3-3/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/M9-3-3/test.cpp
+8-1Lines changed: 8 additions & 1 deletion b/‎cpp/autosar/test/rules/M9-3-3/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/M9-3-3/test.cpp
+8-1Lines changed: 8 additions & 1 deletion
@@ -0,0 +1,2 @@
+- `M9-3-3` - `MemberFunctionStaticIfPossible.ql`:
+  - Fixes #616. Exclude uninstantiated templates.
@@ -31,7 +31,8 @@ class NonStaticMemberFunction extends MemberFunction {
     not this instanceof Constructor and
     not this instanceof Destructor and
     not this instanceof Operator and
-    this.hasDefinition()
+    this.hasDefinition() and
+    not this.isFromUninstantiatedTemplate(_)
   }
 }
 
 
@@ -214,4 +214,11 @@ void fp_reported_in_381() {
   Z4 z;
   int i = z.front();
   z.fill(i);
-}
+}
+
+class ZZ {
+public:
+  template <typename T>
+  void fp_616(const T &val) {
+  } // COMPLIANT - ignore uninstantiated templates for static also
+};
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+- `M9-3-3` - `MemberFunctionStaticIfPossible.ql`:
	`2`	`+ - Fixes #616. Exclude uninstantiated templates.`
Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,8 @@ class NonStaticMemberFunction extends MemberFunction {`
`31`	`31`	`not this instanceof Constructor and`
`32`	`32`	`not this instanceof Destructor and`
`33`	`33`	`not this instanceof Operator and`
`34`		`- this.hasDefinition()`
	`34`	`+ this.hasDefinition() and`
	`35`	`+ not this.isFromUninstantiatedTemplate(_)`
`35`	`36`	`}`
`36`	`37`	`}`
`37`	`38`