llvm-project

1
// RUN: %clang_cc1 -std=c++14 %s -triple nvptx64-nvidia-cuda \
2
// RUN:   -fcuda-is-device -verify -fsyntax-only
3
// RUN: %clang_cc1 -std=c++17 %s -triple nvptx64-nvidia-cuda \
4
// RUN:   -fcuda-is-device -verify -fsyntax-only
5
// RUN: %clang_cc1 -std=c++14 %s \
6
// RUN:   -triple x86_64-unknown-linux-gnu -verify -fsyntax-only
7
// RUN: %clang_cc1 -std=c++17 %s \
8
// RUN:   -triple x86_64-unknown-linux-gnu -verify -fsyntax-only
9
#include "Inputs/cuda.h"
10

11
template<typename T>
12
__host__ __device__ void foo(const T **a) {
13
  // expected-note@-1 {{declared here}}
14
  static const T b = sizeof(a);
15
  static constexpr T c = sizeof(a);
16
  const T d = sizeof(a);
17
  constexpr T e = sizeof(a);
18
  constexpr T f = **a;
19
  // expected-error@-1 {{constexpr variable 'f' must be initialized by a constant expression}}
20
  // expected-note@-2 {{}}
21
  a[0] = &b;
22
  a[1] = &c;
23
  a[2] = &d;
24
  a[3] = &e;
25
}
26

27
__device__ void device_fun(const int **a) {
28
  // expected-note@-1 {{declared here}}
29
  constexpr int b = sizeof(a);
30
  static constexpr int c = sizeof(a);
31
  constexpr int d = **a;
32
  // expected-error@-1 {{constexpr variable 'd' must be initialized by a constant expression}}
33
  // expected-note@-2 {{}}
34
  a[0] = &b;
35
  a[1] = &c;
36
  foo(a);
37
  // expected-note@-1 {{in instantiation of function template specialization 'foo<int>' requested here}}
38
}
39

40
void host_fun(const int **a) {
41
  // expected-note@-1 {{declared here}}
42
  constexpr int b = sizeof(a);
43
  static constexpr int c = sizeof(a);
44
  constexpr int d = **a;
45
  // expected-error@-1 {{constexpr variable 'd' must be initialized by a constant expression}}
46
  // expected-note@-2 {{}}
47
  a[0] = &b;
48
  a[1] = &c;
49
  foo(a);
50
}
51

52
__host__ __device__ void host_device_fun(const int **a) {
53
  // expected-note@-1 {{declared here}}
54
  constexpr int b = sizeof(a);
55
  static constexpr int c = sizeof(a);
56
  constexpr int d = **a;
57
  // expected-error@-1 {{constexpr variable 'd' must be initialized by a constant expression}}
58
  // expected-note@-2 {{}}
59
  a[0] = &b;
60
  a[1] = &c;
61
  foo(a);
62
}
63

64
template <class T>
65
struct A {
66
  explicit A() = default;
67
};
68
template <class T>
69
constexpr A<T> a{};
70

71
struct B {
72
  static constexpr bool value = true;
73
};
74

75
template<typename T>
76
struct C {
77
  static constexpr bool value = T::value;
78
};
79

80
__constant__ const bool &x = C<B>::value;
81