github
diff --git a/‎change_notes/2024-06-07-m0-1-3-uninstantiated-templates.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions b/‎change_notes/2024-06-07-m0-1-3-uninstantiated-templates.md
Copy file name to clipboard
+2Lines changed: 2 additions & 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
+1-1Lines changed: 1 addition & 1 deletion 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
+1-1Lines changed: 1 addition & 1 deletion
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
+5-6Lines changed: 5 additions & 6 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
+5-6Lines changed: 5 additions & 6 deletions
@@ -0,0 +1,2 @@
+ - `M0-1-3` - `UnusedGlobalOrNamespaceVariable.ql`
+   - Reduces false positives by excluding compiler generated variables, and variables in uninstantiated templates.
@@ -83,7 +83,7 @@ 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
+    B1 &&all_of_v<Args...>; // COMPLIANT
 
 void test_template_variable() { all_of_v<true, true, true>; }
 
 
@@ -48,12 +48,11 @@ class PotentiallyUnusedLocalVariable extends LocalVariable {
       not exists(AsmStmt s | f = s.getEnclosingFunction()) and
       // 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()
+    ) 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
`@@ -0,0 +1,2 @@`
	`1`	+ - `M0-1-3` - `UnusedGlobalOrNamespaceVariable.ql`
	`2`	`+ - Reduces false positives by excluding compiler generated variables, and variables in uninstantiated templates.`