[clang] [clang] When checking for covariant return types, make sure the pointers or references are to *classes* (PR #111856)

via cfe-commits cfe-commits at lists.llvm.org
Fri Oct 11 07:12:20 PDT 2024


================
@@ -289,3 +289,13 @@ namespace PR8168 {
     static void foo() {} // expected-error{{'static' member function 'foo' overrides a virtual function}}
   };
 }
+
+namespace T13 {
+  struct A {
+    virtual const int *f() const; // expected-note{{overridden virtual function is here}}
+  };
+
+  struct B : A {
+    int *f() const override; // expected-error{{virtual function 'f' has a different return type ('int *') than the function it overrides (which has return type 'const int *')}}
+  };
+}
----------------
cor3ntin wrote:

can we have additional tests with various combination of `void*`, `int*` and some class type?

https://github.com/llvm/llvm-project/pull/111856


More information about the cfe-commits mailing list