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