github
diff --git a/‎change_notes/2024-12-10-udpate-a7-1-1.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions b/‎change_notes/2024-12-10-udpate-a7-1-1.md
Copy file name to clipboard
+2Lines changed: 2 additions & 0 deletions
diff --git a/‎cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedObjectMissingConstSpecifier.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedObjectMissingConstSpecifier.ql
+1Lines changed: 1 addition & 0 deletions b/‎cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedObjectMissingConstSpecifier.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedObjectMissingConstSpecifier.ql
+1Lines changed: 1 addition & 0 deletions
diff --git a/‎cpp/autosar/test/rules/A7-1-1/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A7-1-1/test.cpp
+13-1Lines changed: 13 additions & 1 deletion b/‎cpp/autosar/test/rules/A7-1-1/test.cpp
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A7-1-1/test.cpp
+13-1Lines changed: 13 additions & 1 deletion
@@ -0,0 +1,2 @@
+- `A7-1-1` - `DeclarationUnmodifiedObjectMissingConstSpecifier.ql`:
+  - Exclude rvalue references.
@@ -38,6 +38,7 @@ where
   not exists(LambdaExpression lc | lc.getACapture().getField() = v) and
   not v.isFromUninstantiatedTemplate(_) and
   not v.isCompilerGenerated() and
+  not v.getType() instanceof RValueReferenceType and
   //if the instantiation is not constexpr but the template is, still exclude it as a candidate
   not exists(TemplateVariable b | b.getAnInstantiation() = v and b.isConstexpr())
 select v, "Non-constant variable " + v.getName() + cond + " and is not modified."
@@ -83,4 +83,16 @@ template <bool... Args> extern constexpr bool recurse_var = true; // COMPLIANT
 template <bool B1, bool... Args>
 extern constexpr bool recurse_var<B1, Args...> = B1 &&recurse_var<Args...>;
 
-void fp_621() { recurse_var<true, true, true>; }
+void fp_621() { recurse_var<true, true, true>; }
+
+#include <utility>
+
+void variadic_forwarding() {}
+
+template <typename T, typename... Args>
+void variadic_forwarding(T &&first, Args &&...rest) {
+  first;
+  variadic_forwarding(std::forward<Args>(rest)...);
+}
+
+int test_variadic_forwarding() { variadic_forwarding(1, 1.1, "a"); }
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	+- `A7-1-1` - `DeclarationUnmodifiedObjectMissingConstSpecifier.ql`:
	`2`	`+ - Exclude rvalue references.`