A7-1-5: Exclude compiler generated variables

A7-1-5 should only apply to non-compiler generated variables.

This commit adds a new test case which shows an example which, on some
platforms, will cause the compiler to generate a __range variable that
is flagged by the query before this change. Note: I have been unable to
replicate the problem in a unit test.

Author: lcartey

cpp/autosar/src/rules/A7-1-5/AutoSpecifierNotUsedAppropriatelyInVariableDefinition.ql

@@ -39,6 +39,8 @@ where
     v.getInitializer().getExpr() instanceof LambdaExpression
     or
     v.getInitializer().getExpr() instanceof ClassAggregateLiteral
-  )
+  ) and
+  // Exclude compiler generated variables
+  not v.isCompilerGenerated()
 select v,
   "Use of auto in variable definition is not the result of a function call, lambda expression, or non-fundamental type initializer."

cpp/autosar/test/rules/A7-1-5/AutoSpecifierNotUsedAppropriatelyInVariableDefinition.expected

@@ -4,3 +4,4 @@
 | test.cpp:27:8:27:8 | a | Use of auto in variable definition is not the result of a function call, lambda expression, or non-fundamental type initializer. |
 | test.cpp:28:8:28:8 | b | Use of auto in variable definition is not the result of a function call, lambda expression, or non-fundamental type initializer. |
 | test.cpp:81:10:81:10 | a | Use of auto in variable definition is not the result of a function call, lambda expression, or non-fundamental type initializer. |
+| test.cpp:111:19:111:19 | a | Use of auto in variable definition is not the result of a function call, lambda expression, or non-fundamental type initializer. |

cpp/autosar/test/rules/A7-1-5/test.cpp

@@ -105,4 +105,10 @@ void instantiate() {
   Test_381<int> t381;
   t381.test_381_1();
   t381.test_381_2();
+}
+
+void test_loop() {
+  for (const auto a : {8, 9, 10}) {
+    a;
+  }
 }