Mar 8, 2023 · Feb 7, 2023 · Feb 7, 2023 · Feb 7, 2023 · Feb 12, 2023 · Feb 23, 2023
diff --git a/change_notes/2022-02-23-a13-5-2-fix-reported-fp-for-a13-5-2.md b/change_notes/2022-02-23-a13-5-2-fix-reported-fp-for-a13-5-2.md
 - `A13-5-2` - address a false positive where lambda expressions with empty captures were being flagged as having a non-compliant conversion operator.
diff --git a/cpp/autosar/src/rules/A13-5-2/UserDefinedConversionOperatorsNotDefinedExplicit.ql b/cpp/autosar/src/rules/A13-5-2/UserDefinedConversionOperatorsNotDefinedExplicit.ql
 from ConversionOperator op
 where
  not isExcluded(op, OperatorsPackage::userDefinedConversionOperatorsNotDefinedExplicitQuery()) and
  not op instanceof ExplicitConversionOperator
  not op instanceof ExplicitConversionOperator and
  not op.isCompilerGenerated()
 select op, "User-defined conversion operator is not explicit."
diff --git a/cpp/autosar/test/rules/A13-5-2/test.cpp b/cpp/autosar/test/rules/A13-5-2/test.cpp
  operator int() const { return d; }    // NON_COMPLIANT
 private:
  float d;
 };
 };

 void test_compiler_generated() {
  int x = 0;

  auto capture = [x]() -> int { return x; };

  auto no_capture = []() -> int {
    int x = 1;
    return x;
  };
 }
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		- `A13-5-2` - address a false positive where lambda expressions with empty captures were being flagged as having a non-compliant conversion operator.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -27,5 +27,6 @@ class ExplicitConversionOperator extends ConversionOperator {
		from ConversionOperator op
		where
		not isExcluded(op, OperatorsPackage::userDefinedConversionOperatorsNotDefinedExplicitQuery()) and
		not op instanceof ExplicitConversionOperator
		not op instanceof ExplicitConversionOperator and
		not op.isCompilerGenerated()
		select op, "User-defined conversion operator is not explicit."
Original file line number	Diff line number	Diff line change
Expand Up		@@ -8,4 +8,15 @@ class A {
		operator int() const { return d; } // NON_COMPLIANT
		private:
		float d;
		};
		};

		void test_compiler_generated() {
		int x = 0;

		auto capture = [x]() -> int { return x; };

		auto no_capture = []() -> int {
		int x = 1;
		return x;
		};
		}