================
@@ -1411,6 +1411,8 @@ struct B : public A {
 
   B(int (*)[4]) : A(foo()) {}
   // expected-warning@-1 {{base_class_access::A' is uninitialized when used 
here to access 'base_class_access::A::foo'}}
+
+  virtual void f() = 0;
----------------
aaronpuchert wrote:

Because `A` is a non-virtual base, it has to be initialized by `B` regardless 
of whether `B` is abstract or not. We sill cover the non-abstract case in `D`.

But I can also drop this or add another class if you prefer. (That's what I 
originally had, but then decided to condense the tests a bit.)

https://github.com/llvm/llvm-project/pull/217715
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to