Aug 1, 2023 · May 19, 2023 · Jul 4, 2023 · Jul 4, 2023 · Jul 4, 2023
diff --git a/change_notes/2023-07-04-remove-compiler-generated-vars.md b/change_notes/2023-07-04-remove-compiler-generated-vars.md
 * `A7-1-5` - exclude compiler generated variables, such as those generated by for loops.
 * `M8-0-1` - exclude compiler generated variables, such as those generated by for loops.
diff --git a/cpp/autosar/src/rules/A7-1-5/AutoSpecifierNotUsedAppropriatelyInVariableDefinition.ql b/cpp/autosar/src/rules/A7-1-5/AutoSpecifierNotUsedAppropriatelyInVariableDefinition.ql
 v.getInitializer().getExpr()instanceofLambdaExpression
 or
 v.getInitializer().getExpr()instanceofClassAggregateLiteral
 )
 )and
 // Exclude compiler generated variables
 notv.isCompilerGenerated()
 selectv,
 "Use of auto in variable definition is not the result of a function call, lambda expression, or non-fundamental type initializer."
diff --git a/cpp/autosar/src/rules/M8-0-1/MultipleLocalDeclarators.ql b/cpp/autosar/src/rules/M8-0-1/MultipleLocalDeclarators.ql
 from DeclStmt ds
 where
  not isExcluded(ds, InitializationPackage::multipleLocalDeclaratorsQuery()) and
  count(ds.getADeclaration()) > 1
  count(Declaration d | d = ds.getADeclaration()) > 1 and
  // Not a compiler generated `DeclStmt`, such as in the range-based for loop
  not ds.isCompilerGenerated()
 select ds, "Declaration list contains more than one declaration."
diff --git a/cpp/autosar/test/rules/A7-1-5/AutoSpecifierNotUsedAppropriatelyInVariableDefinition.expected b/cpp/autosar/test/rules/A7-1-5/AutoSpecifierNotUsedAppropriatelyInVariableDefinition.expected
 | 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. |
diff --git a/cpp/autosar/test/rules/A7-1-5/test.cpp b/cpp/autosar/test/rules/A7-1-5/test.cpp
  Test_381<int> t381;
  t381.test_381_1();
  t381.test_381_2();
 }

 voidtest_loop() {
 for (constauto a : {8,9,10}) {
    a;
  }
 }
diff --git a/cpp/autosar/test/rules/M8-0-1/test.cpp b/cpp/autosar/test/rules/M8-0-1/test.cpp
  int m1, m2; // NON_COMPLIANT
  int m3;     // COMPLIANT
 };

 #include <vector>
 void test_loop(std::vector<ClassA> v) {
  for (const auto b : v) { // COMPLIANT - DeclStmt is compiler generated
    b;
  }
 }
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		* `A7-1-5` - exclude compiler generated variables, such as those generated by for loops.
		* `M8-0-1` - exclude compiler generated variables, such as those generated by for loops.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -34,6 +34,8 @@ where
		v.getInitializer().getExpr()instanceofLambdaExpression
		or
		v.getInitializer().getExpr()instanceofClassAggregateLiteral
		)
		)and
		// Exclude compiler generated variables
		notv.isCompilerGenerated()
		selectv,
		"Use of auto in variable definition is not the result of a function call, lambda expression, or non-fundamental type initializer."
Original file line number	Diff line number	Diff line change
Expand Up		@@ -20,5 +20,7 @@ import codingstandards.cpp.autosar
		from DeclStmt ds
		where
		not isExcluded(ds, InitializationPackage::multipleLocalDeclaratorsQuery()) and
		count(ds.getADeclaration()) > 1
		count(Declaration d \| d = ds.getADeclaration()) > 1 and
		// Not a compiler generated `DeclStmt`, such as in the range-based for loop
		not ds.isCompilerGenerated()
		select ds, "Declaration list contains more than one declaration."
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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. \|
Original file line number	Diff line number	Diff line change
Expand Up		@@ -105,4 +105,10 @@ void instantiate() {
		Test_381<int> t381;
		t381.test_381_1();
		t381.test_381_2();
		}

		voidtest_loop() {
		for (constauto a : {8,9,10}) {
		a;
		}
		}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -15,3 +15,10 @@ class ClassA {
		int m1, m2; // NON_COMPLIANT
		int m3; // COMPLIANT
		};

		#include <vector>
		void test_loop(std::vector<ClassA> v) {
		for (const auto b : v) { // COMPLIANT - DeclStmt is compiler generated
		b;
		}
		}