Oct 22, 2024 · Oct 18, 2024
diff --git a/change_notes/2024-10-18-init-base-class-deleted.md b/change_notes/2024-10-18-init-base-class-deleted.md
 - `A12-1-1`, `RULE-15-1-2` - `InitializeAllVirtualBaseClasses.ql`, `ExplicitConstructorBaseClassInitialization.ql`:
  - Remove false positives for deleted member functions.
diff --git a/...ngstandards/cpp/rules/initializeallvirtualbaseclasses/InitializeAllVirtualBaseClasses.qll b/...ngstandards/cpp/rules/initializeallvirtualbaseclasses/InitializeAllVirtualBaseClasses.qll
    not c.isCompilerGenerated() and
    // Not a defaulted constructor
    not c.isDefaulted() and
    // Not a deleted constructor
    not c.isDeleted() and
    declaringType_string = declaringType.getSimpleName() and
    baseClass_string = baseClass.getSimpleName() and
    message =
diff --git a/cpp/common/test/rules/initializeallvirtualbaseclasses/test.cpp b/cpp/common/test/rules/initializeallvirtualbaseclasses/test.cpp

 private:
  Base2 b;
 };

 class Base3 {};

 class Derived7 final : public Base3 {
 public:
  Derived7() = delete;                 // COMPLIANT
  Derived7(const Derived7 &) = delete; // COMPLIANT
  Derived7(Derived7 &&) = delete;      // COMPLIANT
 };
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		- `A12-1-1`, `RULE-15-1-2` - `InitializeAllVirtualBaseClasses.ql`, `ExplicitConstructorBaseClassInitialization.ql`:
		- Remove false positives for deleted member functions.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -38,6 +38,8 @@ query predicate problems(
		not c.isCompilerGenerated() and
		// Not a defaulted constructor
		not c.isDefaulted() and
		// Not a deleted constructor
		not c.isDeleted() and
		declaringType_string = declaringType.getSimpleName() and
		baseClass_string = baseClass.getSimpleName() and
		message =
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -61,4 +61,13 @@ class Derived6 : public Base2 {

		private:
		Base2 b;
		};

		class Base3 {};

		class Derived7 final : public Base3 {
		public:
		Derived7() = delete; // COMPLIANT
		Derived7(const Derived7 &) = delete; // COMPLIANT
		Derived7(Derived7 &&) = delete; // COMPLIANT
		};