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

Boaz Brickner via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 14 07:20:35 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 *')}}
+  };
+}
----------------
bricknerb wrote:

Added tests in T2 and T6, and removed T13.
Please let me know if this is not what you meant.

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


More information about the cfe-commits mailing list