clang/test/SemaCXX/recovery-expr-type.cpp

   1 // RUN: %clang_cc1 -triple=x86_64-unknown-unknown -o - %s -std=gnu++17 -fsyntax-only -verify -fexperimental-new-constant-interpreter
   2 // RUN: %clang_cc1 -triple=x86_64-unknown-unknown -o - %s -std=gnu++20 -fsyntax-only -verify -fexperimental-new-constant-interpreter
   3 // RUN: %clang_cc1 -triple=x86_64-unknown-unknown -o - %s -std=gnu++17 -fsyntax-only -verify
   4 // RUN: %clang_cc1 -triple=x86_64-unknown-unknown -o - %s -std=gnu++20 -fsyntax-only -verify
   5
   6
   7 namespace test0 {
   8 struct Indestructible {
   9   // Indestructible();
  10   ~Indestructible() = delete; // expected-note 2{{deleted}}
  11 };
  12 Indestructible make_indestructible();
  13
  14 void test() {
  15   // no crash.
  16   int s = sizeof(make_indestructible()); // expected-error {{deleted}}
  17   constexpr int ss = sizeof(make_indestructible()); // expected-error {{deleted}}
  18   static_assert(ss, "");
  19   int array[ss];
  20 }
  21 }
  22
  23 namespace test1 {
  24 constexpr int foo() { return 1; } // expected-note {{candidate function not viable}}
  25 // verify the "not an integral constant expression" diagnostic is suppressed.
  26 static_assert(1 == foo(1), ""); // expected-error {{no matching function}}
  27 }
  28
  29 namespace test2 {
  30 void foo(); // expected-note 3{{requires 0 arguments}}
  31 void func() {
  32   // verify that "field has incomplete type" diagnostic is suppressed.
  33   typeof(foo(42)) var; // expected-error {{no matching function}} \
  34
  35   // FIXME: suppress the "cannot initialize a variable" diagnostic.
  36   int a = foo(1); // expected-error {{no matching function}} \
  37                   // expected-error {{cannot initialize a variable of type}}
  38
  39   // FIXME: suppress the "invalid application" diagnostic.
  40   int s = sizeof(foo(42)); // expected-error {{no matching function}} \
  41                            // expected-error {{invalid application of 'sizeof'}}
  42 };
  43 }
  44
  45 namespace test3 {
  46 template <int N>
  47 constexpr int templated() __attribute__((enable_if(N, ""))) { // expected-note {{candidate disabled}}
  48   return 1;
  49 }
  50 // verify that "constexpr variable must be initialized" diagnostic is suppressed.
  51 constexpr int A = templated<0>(); // expected-error{{no matching function}}
  52
  53 template <typename T>
  54 struct AA {
  55   template <typename U>
  56   static constexpr int getB() { // expected-note{{candidate template ignored}}
  57     return 2;
  58   }
  59   static constexpr int foo2() {
  60     return AA<T>::getB(); // expected-error{{no matching function for call to 'getB'}}
  61   }
  62 };
  63 // FIXME: should we suppress the "be initialized by a constant expression" diagnostic?
  64 constexpr auto x2 = AA<int>::foo2(); // expected-error {{be initialized by a constant expression}} \
  65                                      // expected-note {{in instantiation of member function}}
  66 }
  67
  68 // verify no assertion failure on violating value category.
  69 namespace test4 {
  70 int &&f(int);  // expected-note {{candidate function not viable}}
  71 int &&k = f(); // expected-error {{no matching function for call}}
  72 }
  73
  74 // verify that "type 'double' cannot bind to a value of unrelated type 'int'" diagnostic is suppressed.
  75 namespace test5 {
  76   template<typename T> using U = T; // expected-note {{template parameter is declared here}}
  77   template<typename...Ts> U<Ts...>& f(); // expected-error {{pack expansion used as argument for non-pack parameter of alias template}}
  78   double &s1 = f(); // expected-error {{no matching function}}
  79 }
  80
  81 namespace test6 {
  82 struct T {
  83   T() = delete; // expected-note {{has been explicitly marked deleted here}}
  84 };
  85
  86 void func() {
  87   // verify that no -Wunused-value diagnostic.
  88   (T(T())); // expected-error {{call to deleted constructor}}
  89 }
  90 }
  91
  92 // verify the secondary diagnostic "no matching function" is emitted.
  93 namespace test7 {
  94 struct C {
  95   C() = delete; // expected-note {{has been explicitly marked deleted}}
  96 };
  97 void f(C &); // expected-note {{candidate function not viable: expects an lvalue for 1st argument}}
  98 void test() {
  99   f(C()); // expected-error {{call to deleted constructor}} \
 100              expected-error {{no matching function for call}}
 101 }
 102 }
 103
 104 // verify the secondary diagnostic "cannot initialize" is emitted.
 105 namespace test8 {
 106 typedef int arr[];
 107 int v = arr(); // expected-error {{array types cannot be value-initialized}} \
 108                   expected-error {{cannot initialize a variable of type 'int' with an rvalue of type 'arr'}}
 109 }
 110
 111 namespace test9 {
 112 auto f(); // expected-note {{candidate function not viable}}
 113 // verify no crash on evaluating the size of undeduced auto type.
 114 static_assert(sizeof(f(1)), ""); // expected-error {{no matching function for call to 'f'}}
 115 }
 116
 117 namespace test10 {
 118 // Ensure we don't assert here.
 119 int f(); // expected-note {{candidate}}
 120 template<typename T> const int k = f(T()); // expected-error {{no matching function}}
 121 static_assert(k<int> == 1, ""); // expected-note {{instantiation of}}
 122 }
 123
 124 namespace test11 {
 125 // Verify we do not assert()-fail here.
 126 template <class T> void foo(T &t);
 127 template <typename T>
 128 void bar(T t) {
 129   foo(t);
 130 }
 131
 132 template <typename T = void *>
 133 struct S { // expected-note {{candidate}}
 134   S(T t);  // expected-note {{candidate}}
 135   ~S();
 136 };
 137 template <typename T> S(T t) -> S<void *>;
 138
 139 void baz() {
 140   bar(S(123)); // expected-error {{no matching conversion for functional-style cast from 'int' to 'S<void *>'}}
 141 }
 142 } // namespace test11
 143
 144 namespace test12 {
 145 // Verify we do not crash.
 146 int fun(int *foo = no_such_function()); // expected-error {{undeclared identifier}}
 147 void crash1() { fun(); }
 148 void crash2() { constexpr int s = fun(); }
 149 } // namespace test12
 150
 151 namespace test13 {
 152 enum Circular {             // expected-note {{not complete until the closing '}'}}
 153   Circular_A = Circular(1), // expected-error {{'Circular' is an incomplete type}}
 154 };
 155 // Enumerators can be evaluated (they evaluate as zero, but we don't care).
 156 static_assert(Circular_A == 0 && Circular_A != 0, ""); // expected-error {{static assertion failed}} \
 157                                                        // expected-note {{evaluates to '0 != 0'}}
 158 }
 159
 160 namespace test14 {
 161 extern "C" void *memset(void *, int b, unsigned long) {
 162   int * const c(undef()); // expected-error {{undeclared identifier}}
 163   // Verify we do not crash on evaluating *c whose initializer is a NULL-type ParenListExpr!
 164   memset(c, 0, *c); // crash1
 165
 166   b = __builtin_object_size(c, 0); // crash2
 167 }
 168 }
 169
 170 namespace test15 {
 171 void f() {
 172   struct {
 173     void m(int (&)[undefined()]) {} // expected-error {{undeclared identifier}}
 174   } S;
 175   S.m(1); // no crash
 176 }
 177 }
 178
 179 namespace test16 {
 180 // verify we do not crash on incomplete class type.
 181 template<typename T, typename U> struct A; // expected-note 5{{template is declared here}}
 182 A<int, int> foo() { // expected-error {{implicit instantiation of undefined template}}
 183   if (1 == 1)
 184     return A<int, int>{1}; // expected-error 2{{implicit instantiation of undefined template}}
 185   return A<int, int>(1); // expected-error 2{{implicit instantiation of undefined template}}
 186 }
 187 }