1 // RUN: %clang_cc1 -fcuda-is-device -fsyntax-only -verify=dev,com %s \
2 // RUN: -std=c++11 -fgpu-defer-diag
3 // RUN: %clang_cc1 -fsyntax-only -verify=host,com %s \
4 // RUN: -std=c++11 -fgpu-defer-diag
5 // RUN: %clang_cc1 -fopenmp -fsyntax-only -verify=host,com %s \
6 // RUN: -std=c++11 -fgpu-defer-diag
7
8 // With -fgpu-defer-diag, clang defers overloading resolution induced
9 // diagnostics when the full candidates set include host device
10 // functions or wrong-sided candidates. This roughly matches nvcc's
11 // behavior.
12
13 #include "Inputs/cuda.h"
14
15 // When callee is called by a host function with integer arguments, there is an error for ambiguity.
16 // It should be deferred since it involves wrong-sided candidates.
17 __device__ void callee(int);
18 __host__ void callee(float); // host-note {{candidate function}}
19 __host__ void callee(double); // host-note {{candidate function}}
20
21 // When callee2 is called by a device function without arguments, there is an error for 'no matching function'.
22 // It should be deferred since it involves wrong-sided candidates.
23 __host__ void callee2(); // dev-note{{candidate function not viable: call to __host__ function from __device__ function}}
24
25 // When callee3 is called by a device function without arguments, there is an error for 'no matching function'.
26 // It should be deferred since it involves wrong-sided candidates.
27 __host__ void callee3(); // dev-note{{candidate function not viable: call to __host__ function from __device__ function}}
28 __device__ void callee3(int); // dev-note{{candidate function not viable: requires 1 argument, but 0 were provided}}
29
30 // When callee4 is called by a host or device function without arguments, there is an error for 'no matching function'.
31 // It should be immediate since it involves no wrong-sided candidates (it is not a viable candiate due to signature).
32 __host__ void callee4(int); // com-note 2{{candidate function not viable: requires 1 argument, but 0 were provided}}
33
34 // When callee5 is called by a host function with integer arguments, there is an error for ambiguity.
35 // It should be immediate since it involves no wrong-sided candidates.
36 __host__ void callee5(float); // com-note {{candidate function}}
37 __host__ void callee5(double); // com-note {{candidate function}}
38
39 // When '<<` operator is called by a device function, there is error for 'invalid operands'.
40 // It should be deferred since it involves wrong-sided candidates.
41 struct S {
42 __host__ S &operator <<(int i); // dev-note {{candidate function not viable}}
43 };
44
hf()45 __host__ void hf() {
46 callee(1); // host-error {{call to 'callee' is ambiguous}}
47 callee2();
48 callee3();
49 callee4(); // com-error {{no matching function for call to 'callee4'}}
50 callee5(1); // com-error {{call to 'callee5' is ambiguous}}
51 S s;
52 s << 1;
53 undeclared_func(); // com-error {{use of undeclared identifier 'undeclared_func'}}
54 }
55
df()56 __device__ void df() {
57 callee(1);
58 callee2(); // dev-error {{no matching function for call to 'callee2'}}
59 callee3(); // dev-error {{no matching function for call to 'callee3'}}
60 callee4(); // com-error {{no matching function for call to 'callee4'}}
61 S s;
62 s << 1; // dev-error {{invalid operands to binary expression}}
63 }
64
65 struct A { int x; typedef int isA; };
66 struct B { int x; };
67
68 // This function is invalid for A and B by SFINAE.
69 // This fails to substitue for A but no diagnostic
70 // should be emitted.
71 template<typename T, typename T::foo* = nullptr>
sfinae(T t)72 __host__ __device__ void sfinae(T t) { // host-note {{candidate template ignored: substitution failure [with T = B]}}
73 t.x = 1;
74 }
75
76 // This function is defined for A only by SFINAE.
77 // Calling it with A should succeed, with B should fail.
78 // The error should not be deferred since it happens in
79 // file scope.
80
81 template<typename T, typename T::isA* = nullptr>
sfinae(T t)82 __host__ __device__ void sfinae(T t) { // host-note {{candidate template ignored: substitution failure [with T = B]}}
83 t.x = 1;
84 }
85
test_sfinae()86 void test_sfinae() {
87 sfinae(A());
88 sfinae(B()); // host-error{{no matching function for call to 'sfinae'}}
89 }
90
91 // Make sure throw is diagnosed in OpenMP parallel region in host function.
test_openmp()92 void test_openmp() {
93 #pragma omp parallel for
94 for (int i = 0; i < 10; i++) {
95 throw 1;
96 }
97 }
98
99 // If a syntax error causes a function not declared, it cannot
100 // be deferred.
101
bad_func()102 inline __host__ __device__ void bad_func() { // com-note {{to match this '{'}}
103 // com-error {{expected '}'}}
104