Mar 6, 2023 · Mar 3, 2023
diff --git a/cpp/autosar/src/rules/A12-1-1/ExplicitConstructorBaseClassInitialization.ql b/cpp/autosar/src/rules/A12-1-1/ExplicitConstructorBaseClassInitialization.ql
    not init.isCompilerGenerated()
  ) and
  // Must be a defined constructor
  c.isDefined() and
  c.hasDefinition() and
  // Not a compiler-generated constructor
  not c.isCompilerGenerated() and
  // Not a defaulted constructor
diff --git a/cpp/autosar/src/rules/A2-10-4/IdentifierNameOfStaticFunctionReusedInNamespace.ql b/cpp/autosar/src/rules/A2-10-4/IdentifierNameOfStaticFunctionReusedInNamespace.ql

 class CandidateFunction extends Function {
  CandidateFunction() {
 isDefined() and
 hasDefinition() and
    isStatic() and
    not isMember() and
    not (
diff --git a/cpp/autosar/src/rules/A3-1-1/ViolationsOfOneDefinitionRule.ql b/cpp/autosar/src/rules/A3-1-1/ViolationsOfOneDefinitionRule.ql
    or
    //an non-const object defined in a header
    exists(GlobalOrNamespaceVariable object |
      object.isDefined() and
      object.hasDefinition() and
      not (
        object.isConstexpr()
        or
diff --git a/cpp/common/src/codingstandards/cpp/TrivialType.qll b/cpp/common/src/codingstandards/cpp/TrivialType.qll
  forall(Class baseClass | baseClass = c.getABaseClass() | hasTrivialMoveConstructor(baseClass)) and
  // The class has to be defined, otherwise we may not see the information required to deduce
  // whether it does or does not have a trivial move constructor
  c.isDefined()
  c.hasDefinition()
 }

 /** A trivial copy or move constructor (see [class.copy]/12). */
Original file line number	Diff line number	Diff line change
Expand Up		@@ -35,7 +35,7 @@ where
		not init.isCompilerGenerated()
		) and
		// Must be a defined constructor
		c.isDefined() and
		c.hasDefinition() and
		// Not a compiler-generated constructor
		not c.isCompilerGenerated() and
		// Not a defaulted constructor
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -17,7 +17,7 @@ import codingstandards.cpp.autosar

		class CandidateFunction extends Function {
		CandidateFunction() {
		isDefined() and
		hasDefinition() and
		isStatic() and
		not isMember() and
		not (
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -65,7 +65,7 @@ where
		or
		//an non-const object defined in a header
		exists(GlobalOrNamespaceVariable object \|
		object.isDefined() and
		object.hasDefinition() and
		not (
		object.isConstexpr()
		or
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -48,7 +48,7 @@ predicate hasTrivialMoveConstructor(Class c) {
		forall(Class baseClass \| baseClass = c.getABaseClass() \| hasTrivialMoveConstructor(baseClass)) and
		// The class has to be defined, otherwise we may not see the information required to deduce
		// whether it does or does not have a trivial move constructor
		c.isDefined()
		c.hasDefinition()
		}

		/** A trivial copy or move constructor (see [class.copy]/12). */
Expand Down