test/CXX/over/over.over/p1.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -DNOEXCEPT= -verify %s
   2 // RUN: %clang_cc1 -fsyntax-only -std=c++1z -DNOEXCEPT= -verify %s
   3 // RUN: %clang_cc1 -fsyntax-only -std=c++1z -DNOEXCEPT=noexcept -verify %s
   4
   5 template<typename T> T f0(T) NOEXCEPT;
   6 int f0(int) NOEXCEPT;
   7
   8 // -- an object or reference being initialized
   9 struct S {
  10   int (*f0)(int);
  11   float (*f1)(float);
  12 };
  13
  14 void test_init_f0() {
  15   int (*f0a)(int) = f0;
  16   int (*f0b)(int) = &f0;
  17   int (*f0c)(int) = (f0);
  18   float (*f0d)(float) = f0;
  19   float (*f0e)(float) = &f0;
  20   float (*f0f)(float) = (f0);
  21   int (&f0g)(int) = f0;
  22   int (&f0h)(int) = (f0);
  23   float (&f0i)(float) = f0;
  24   float (&f0j)(float) = (f0);
  25   S s = { f0, f0 };
  26 }
  27
  28 // -- the left side of an assignment (5.17),
  29 void test_assign_f0() {
  30   int (*f0a)(int) = 0;
  31   float (*f0b)(float) = 0;
  32
  33   f0a = f0;
  34   f0a = &f0;
  35   f0a = (f0);
  36   f0b = f0;
  37   f0b = &f0;
  38   f0b = (f0);
  39 }
  40
  41 // -- a parameter of a function (5.2.2),
  42 void eat_f0(int a(int), float (*b)(float), int (&c)(int), float (&d)(float));
  43
  44 void test_pass_f0() {
  45   eat_f0(f0, f0, f0, f0);
  46   eat_f0(&f0, &f0, (f0), (f0));
  47 }
  48
  49 // -- a parameter of a user-defined operator (13.5),
  50 struct X { };
  51 void operator+(X, int(int));
  52 void operator-(X, float(*)(float));
  53 void operator*(X, int (&)(int));
  54 void operator/(X, float (&)(float));
  55
  56 void test_operator_pass_f0(X x) {
  57   x + f0;
  58   x + &f0;
  59   x - f0;
  60   x - &f0;
  61   x * f0;
  62   x * (f0);
  63   x / f0;
  64   x / (f0);
  65 }
  66
  67 // -- the return value of a function, operator function, or conversion (6.6.3),
  68 int (*test_return_f0_a())(int) { return f0; }
  69 int (*test_return_f0_b())(int) { return &f0; }
  70 int (*test_return_f0_c())(int) { return (f0); }
  71 float (*test_return_f0_d())(float) { return f0; }
  72 float (*test_return_f0_e())(float) { return &f0; }
  73 float (*test_return_f0_f())(float) { return (f0); }
  74
  75 // -- an explicit type conversion (5.2.3, 5.2.9, 5.4), or
  76 void test_convert_f0() {
  77   (void)((int (*)(int))f0);
  78   (void)((int (*)(int))&f0);
  79   (void)((int (*)(int))(f0));
  80   (void)((float (*)(float))f0);
  81   (void)((float (*)(float))&f0);
  82   (void)((float (*)(float))(f0));
  83 }
  84
  85 // -- a non-type template-parameter(14.3.2).
  86 template<int(int)> struct Y0 { };
  87 template<float(float)> struct Y1 { };
  88 template<int (&)(int)> struct Y2 { };
  89 template<float (&)(float)> struct Y3 { };
  90
  91 Y0<f0> y0;
  92 Y0<&f0> y0a;
  93 Y1<f0> y1;
  94 Y1<&f0> y1a;
  95 Y2<f0> y2;
  96 Y3<f0> y3;
  97
  98 #if __cplusplus > 201402L
  99 namespace MixedNoexcept {
 100   inline namespace A {
 101     void f() noexcept; // expected-note {{candidate}}
 102   }
 103   inline namespace B {
 104     void f(); // expected-note {{candidate}}
 105   }
 106   void (*p)() noexcept = &f; // ok
 107   void (*q)() = &f; // expected-error {{ambiguous}}
 108 }
 109 #else
 110 // expected-no-diagnostics
 111 #endif