github
diff --git a/‎cpp/autosar/test/rules/M0-1-3/UnusedLocalVariable.expected
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/M0-1-3/UnusedLocalVariable.expected
+1Lines changed: 1 addition & 0 deletions b/‎cpp/autosar/test/rules/M0-1-3/UnusedLocalVariable.expected
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/M0-1-3/UnusedLocalVariable.expected
+1Lines changed: 1 addition & 0 deletions
diff --git a/‎cpp/autosar/test/rules/M0-1-3/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/M0-1-3/test.cpp
+21Lines changed: 21 additions & 0 deletions b/‎cpp/autosar/test/rules/M0-1-3/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/M0-1-3/test.cpp
+21Lines changed: 21 additions & 0 deletions
diff --git a/‎cpp/common/src/codingstandards/cpp/deadcode/UnusedVariables.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/deadcode/UnusedVariables.qll
+13-2Lines changed: 13 additions & 2 deletions b/‎cpp/common/src/codingstandards/cpp/deadcode/UnusedVariables.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/deadcode/UnusedVariables.qll
+13-2Lines changed: 13 additions & 2 deletions
@@ -4,3 +4,4 @@
 | test.cpp:23:5:23:5 | t | Local variable 't' in 'f1' is not used. |
 | test.cpp:23:5:23:5 | t | Local variable 't' in 'f1' is not used. |
 | test.cpp:44:6:44:6 | a | Local variable 'a' in 'test_side_effect_init' is not used. |
+| test.cpp:91:5:91:5 | t | Local variable 't' in 'template_function' is not used. |
@@ -78,3 +78,24 @@ int baz() {
   test_constexpr_in_static_assert<int>();
   return 0;
 }
+
+template <bool... Args> extern constexpr bool all_of_v = true; // COMPLIANT
+
+template <bool B1, bool... Args>
+extern constexpr bool all_of_v<B1, Args...> =
+    B1 && all_of_v<Args...>; // COMPLIANT
+
+void test_template_variable() { all_of_v<true, true, true>; }
+
+template <typename T> void template_function() {
+  T t;       // NON_COMPLIANT - t is never used
+  T t2;      // COMPLIANT - t is used
+  t2.test(); // Call may not be resolved in uninstantiated template
+}
+
+class ClassT {
+public:
+  void test() {}
+};
+
+void test_template_function() { template_function<ClassT>(); }
@@ -49,6 +49,11 @@ class PotentiallyUnusedLocalVariable extends LocalVariable {
       // Ignore functions with error expressions as they indicate expressions that the extractor couldn't process
       not any(ErrorExpr e).getEnclosingFunction() = f
     )
+    // ) and
+    // // exclude uninstantiated template members
+    // not this.isFromUninstantiatedTemplate(_) and
+    // // Do not report compiler generated variables
+    // not this.isCompilerGenerated()
   }
 }
 
@@ -95,7 +100,9 @@ class PotentiallyUnusedMemberVariable extends MemberVariable {
     // Lambda captures are not "real" member variables - it's an implementation detail that they are represented that way
     not this = any(LambdaCapture lc).getField() and
     // exclude uninstantiated template members
-    not this.isFromUninstantiatedTemplate(_)
+    not this.isFromUninstantiatedTemplate(_) and
+    // Do not report compiler generated variables
+    not this.isCompilerGenerated()
   }
 }
 
@@ -107,7 +114,11 @@ class PotentiallyUnusedGlobalOrNamespaceVariable extends GlobalOrNamespaceVariab
     // Not declared in a macro expansion
     not isInMacroExpansion() and
     // No side-effects from declaration
-    not declarationHasSideEffects(this)
+    not declarationHasSideEffects(this) and
+    // exclude uninstantiated template members
+    not this.isFromUninstantiatedTemplate(_) and
+    // Do not report compiler generated variables
+    not this.isCompilerGenerated()
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -49,6 +49,11 @@ class PotentiallyUnusedLocalVariable extends LocalVariable {`
`49`	`49`	`// Ignore functions with error expressions as they indicate expressions that the extractor couldn't process`
`50`	`50`	`not any(ErrorExpr e).getEnclosingFunction() = f`
`51`	`51`	`)`
	`52`	`+ // ) and`
	`53`	`+ // // exclude uninstantiated template members`
	`54`	`+ // not this.isFromUninstantiatedTemplate(_) and`
	`55`	`+ // // Do not report compiler generated variables`
	`56`	`+ // not this.isCompilerGenerated()`
`52`	`57`	`}`
`53`	`58`	`}`
`54`	`59`
`@@ -95,7 +100,9 @@ class PotentiallyUnusedMemberVariable extends MemberVariable {`
`95`	`100`	`// Lambda captures are not "real" member variables - it's an implementation detail that they are represented that way`
`96`	`101`	`not this = any(LambdaCapture lc).getField() and`
`97`	`102`	`// exclude uninstantiated template members`
`98`		`- not this.isFromUninstantiatedTemplate(_)`
	`103`	`+ not this.isFromUninstantiatedTemplate(_) and`
	`104`	`+ // Do not report compiler generated variables`
	`105`	`+ not this.isCompilerGenerated()`
`99`	`106`	`}`
`100`	`107`	`}`
`101`	`108`
`@@ -107,7 +114,11 @@ class PotentiallyUnusedGlobalOrNamespaceVariable extends GlobalOrNamespaceVariab`
`107`	`114`	`// Not declared in a macro expansion`
`108`	`115`	`not isInMacroExpansion() and`
`109`	`116`	`// No side-effects from declaration`
`110`		`- not declarationHasSideEffects(this)`
	`117`	`+ not declarationHasSideEffects(this) and`
	`118`	`+ // exclude uninstantiated template members`
	`119`	`+ not this.isFromUninstantiatedTemplate(_) and`
	`120`	`+ // Do not report compiler generated variables`
	`121`	`+ not this.isCompilerGenerated()`
`111`	`122`	`}`
`112`	`123`	`}`
`113`	`124`