Fix #796 (A13-3-1) - Consider reporting overloaded functions that are at different locations.

change_notes/2024-11-13-fix-fp-796.md

@@ -0,0 +1,2 @@
+ - `A13-3-1` - `FunctionThatContainsForwardingReferenceAsItsArgumentOverloaded.ql`:
+   - Reduce false positives by explicitly checking that the locations of overloaded functions are different.

cpp/autosar/src/rules/A13-3-1/FunctionThatContainsForwardingReferenceAsItsArgumentOverloaded.ql

@@ -29,6 +29,9 @@ where
     OperatorsPackage::functionThatContainsForwardingReferenceAsItsArgumentOverloadedQuery()) and
   not f.isDeleted() and
   f = c.getAnOverload() and
+  // CodeQL sometimes fetches an overloaded function at the same location.
+  // Thus, a check is added explicitly (refer #796).
+  f.getLocation() != c.getLocation() and
   // allow for overloading with different number of parameters, because there is no
   // confusion on what function will be called.
   f.getNumberOfParameters() = c.getNumberOfParameters() and