Merge pull request #816 from github/lcartey/a15-4-4-deviation

A15-4-4: Support deviation on the function declaration

Author: lcartey

change_notes/2024-12-10-a15-4-4-deviations.md

@@ -0,0 +1,2 @@
+ - `A15-4-4` - `MissingNoExcept.ql`:
+   - Enable deviations on either declarations or definitions.

cpp/autosar/src/rules/A15-4-4/MissingNoExcept.ql

@@ -51,7 +51,7 @@ predicate mayCallThrowingFunctions(Function f) {
 
 from Function f
 where
-  not isExcluded(f, Exceptions1Package::missingNoExceptQuery()) and
+  not isExcluded(f.getADeclarationEntry(), Exceptions1Package::missingNoExceptQuery()) and
   // No thrown exceptions
   not exists(getAFunctionThrownType(f, _)) and
   // But not marked noexcept(true)

cpp/autosar/test/rules/A15-4-4/coding-standards.xml

@@ -0,0 +1,11 @@
+<?xml version="1.0" ?>
+<codingstandards>
+   <!--GENERATED: DO NOT MODIFY. Changes should be made to coding-standards.yml instead.-->
+   <deviations>
+      <deviations-entry>
+         <rule-id>A15-4-4</rule-id>
+         <justification>Suppress entry.</justification>
+         <code-identifier>a-15-4-4-deviation</code-identifier>
+      </deviations-entry>
+   </deviations>
+</codingstandards>

cpp/autosar/test/rules/A15-4-4/test.cpp

@@ -56,4 +56,12 @@ std::string test_fp_reported_in_424(
   s3.append(s1.c_str(), s1.size());
   s3.append(s2.c_str(), s2.size());
   return s3;
-}
+}
+
+void test_no_except_deviated_decl(); // a-15-4-4-deviation
+
+void test_no_except_deviated_decl() {}
+
+void test_no_except_deviated_defn();
+
+void test_no_except_deviated_defn() {} // a-15-4-4-deviation