github
diff --git a/‎change_notes/2023-11-22-remove-parameters-a7-1-1.md
Copy file name to clipboard
+1Lines changed: 1 addition & 0 deletions b/‎change_notes/2023-11-22-remove-parameters-a7-1-1.md
Copy file name to clipboard
+1Lines changed: 1 addition & 0 deletions
diff --git a/‎cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.ql
-42Lines changed: 0 additions & 42 deletions b/‎cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.ql
Copy file name to clipboardExpand all lines: cpp/autosar/src/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.ql
-42Lines changed: 0 additions & 42 deletions
diff --git a/‎cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.expected
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.expected
-1Lines changed: 0 additions & 1 deletion b/‎cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.expected
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.expected
-1Lines changed: 0 additions & 1 deletion
diff --git a/‎cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.qlref
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.qlref
-1Lines changed: 0 additions & 1 deletion b/‎cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.qlref
Copy file name to clipboardExpand all lines: cpp/autosar/test/rules/A7-1-1/DeclarationUnmodifiedParamMissingConstSpecifier.qlref
-1Lines changed: 0 additions & 1 deletion
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
+1-1Lines changed: 1 addition & 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
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎cpp/common/src/codingstandards/cpp/exclusions/cpp/Const.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/cpp/Const.qll
-17Lines changed: 0 additions & 17 deletions b/‎cpp/common/src/codingstandards/cpp/exclusions/cpp/Const.qll
Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/exclusions/cpp/Const.qll
-17Lines changed: 0 additions & 17 deletions
diff --git a/‎rule_packages/cpp/Const.json
Copy file name to clipboardExpand all lines: rule_packages/cpp/Const.json
+4-14Lines changed: 4 additions & 14 deletions b/‎rule_packages/cpp/Const.json
Copy file name to clipboardExpand all lines: rule_packages/cpp/Const.json
+4-14Lines changed: 4 additions & 14 deletions
@@ -0,0 +1 @@
+ * `A7-1-1` - no longer report parameters as contravening this rule. This is inline with the rule intent as described in the referenced C++ Core Guidelines rule [CON.1](https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#con1-by-default-make-objects-immutable), which states "To avoid confusion and lots of false positives, don’t enforce this rule for function parameters."
@@ -4,7 +4,7 @@
 void f1(int *p) { // COMPLIANT
   *p += 2;
 }
-void f2(int *p) { // NON_COMPLIANT
+void f2(int *p) { // COMPLIANT - we ignore parameters for this rule
   int l4 = 1;     // NON_COMPLIANT
   int *p1 = p;    // NON_COMPLIANT
 }
 
@@ -5,7 +5,6 @@ import codingstandards.cpp.exclusions.RuleMetadata
 
 newtype ConstQuery =
   TRemoveConstOrVolatileQualificationAutosarQuery() or
-  TDeclarationUnmodifiedParamMissingConstSpecifierQuery() or
   TDeclarationUnmodifiedObjectMissingConstSpecifierQuery() or
   TVariableMissingConstexprQuery() or
   TFunctionMissingConstexprQuery() or
@@ -28,15 +27,6 @@ predicate isConstQueryMetadata(Query query, string queryId, string ruleId, strin
   ruleId = "A5-2-3" and
   category = "required"
   or
-  query =
-    // `Query` instance for the `declarationUnmodifiedParamMissingConstSpecifier` query
-    ConstPackage::declarationUnmodifiedParamMissingConstSpecifierQuery() and
-  queryId =
-    // `@id` for the `declarationUnmodifiedParamMissingConstSpecifier` query
-    "cpp/autosar/declaration-unmodified-param-missing-const-specifier" and
-  ruleId = "A7-1-1" and
-  category = "required"
-  or
   query =
     // `Query` instance for the `declarationUnmodifiedObjectMissingConstSpecifier` query
     ConstPackage::declarationUnmodifiedObjectMissingConstSpecifierQuery() and
@@ -145,13 +135,6 @@ module ConstPackage {
       TQueryCPP(TConstPackageQuery(TRemoveConstOrVolatileQualificationAutosarQuery()))
   }
 
-  Query declarationUnmodifiedParamMissingConstSpecifierQuery() {
-    //autogenerate `Query` type
-    result =
-      // `Query` type for `declarationUnmodifiedParamMissingConstSpecifier` query
-      TQueryCPP(TConstPackageQuery(TDeclarationUnmodifiedParamMissingConstSpecifierQuery()))
-  }
-
   Query declarationUnmodifiedObjectMissingConstSpecifierQuery() {
     //autogenerate `Query` type
     result =
 
@@ -33,19 +33,6 @@
         "obligation": "required"
       },
       "queries": [
-        {
-          "description": "`Constexpr`/`const` specifiers prevent unintentional data modification for parameters intended as immutable.",
-          "kind": "problem",
-          "name": "Constexpr or const specifiers shall be used for immutable parameter usage",
-          "precision": "high",
-          "severity": "warning",
-          "short_name": "DeclarationUnmodifiedParamMissingConstSpecifier",
-          "tags": [
-            "correctness",
-            "maintainability",
-            "readability"
-          ]
-        },
         {
           "description": "`Constexpr`/`const` specifiers prevent unintentional data modification for data intended as immutable.",
           "kind": "problem",
@@ -57,7 +44,10 @@
             "correctness",
             "maintainability",
             "readability"
-          ]
+          ],
+          "implementation_scope": {
+            "description": "We exclude function parameters from this rule in line with the rule intention as described in the C++ Core Guidelines Con.1 which excludes function parameters."
+          }
         }
       ],
       "title": "Constexpr or const specifiers shall be used for immutable data declaration."
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	+ * `A7-1-1` - no longer report parameters as contravening this rule. This is inline with the rule intent as described in the referenced C++ Core Guidelines rule [CON.1](https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#con1-by-default-make-objects-immutable), which states "To avoid confusion and lots of false positives, don’t enforce this rule for function parameters."
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`void f1(int *p) { // COMPLIANT`
`5`	`5`	`*p += 2;`
`6`	`6`	`}`
`7`		`-void f2(int *p) { // NON_COMPLIANT`
	`7`	`+void f2(int *p) { // COMPLIANT - we ignore parameters for this rule`
`8`	`8`	`int l4 = 1; // NON_COMPLIANT`
`9`	`9`	`int *p1 = p; // NON_COMPLIANT`
`10`	`10`	`}`