1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -fcxx-exceptions -verify %s
2 // RUN: %clang_cc1 -std=c++20 -fsyntax-only -fcxx-exceptions -verify %s
3
4 #if !__has_builtin(__builtin_verbose_trap)
5 #error
6 #endif
7
8 constexpr char const* constCat1 = "cat";
9 char const* const constCat2 = "cat";
10 char const constCat3[] = "cat";
11
12 constexpr char const* constMsg1 = "hello";
13 char const* const constMsg2 = "hello";
14 char const constMsg3[] = "hello";
15
16 template <const char * const category, const char * const reason>
f(const char * arg)17 void f(const char * arg) {
18 __builtin_verbose_trap("cat1", "Arbitrary string literals can be used!");
19 __builtin_verbose_trap(" cat1 ", "Argument_must_not_be_null");
20 __builtin_verbose_trap("cat" "egory1", "hello" "world");
21 __builtin_verbose_trap(constCat1, constMsg1);
22 __builtin_verbose_trap(constCat2, constMsg2);
23 __builtin_verbose_trap("", "");
24 __builtin_verbose_trap(); // expected-error {{too few arguments}}
25 __builtin_verbose_trap(""); // expected-error {{too few arguments}}
26 __builtin_verbose_trap("", "", ""); // expected-error {{too many arguments}}
27 __builtin_verbose_trap("", 0); // expected-error {{argument to __builtin_verbose_trap must be a pointer to a constant string}}
28 __builtin_verbose_trap(1, ""); // expected-error {{cannot initialize a parameter of type 'const char *' with an rvalue of type 'int'}}
29 __builtin_verbose_trap(arg, ""); // expected-error {{argument to __builtin_verbose_trap must be a pointer to a constant string}}
30 __builtin_verbose_trap("cat$1", "hel$lo"); // expected-error 2 {{argument to __builtin_verbose_trap must not contain $}}
31 __builtin_verbose_trap(category, reason);
32 __builtin_verbose_trap(u8"cat1", u8"hello");
33 #if __cplusplus >= 202002L
34 // FIXME: Accept c++20 u8 string literals.
35 // expected-error@-3 {{cannot initialize a parameter of type 'const char *' with an lvalue of type 'const char8_t[5]'}}
36 #endif
37 __builtin_verbose_trap("", "abcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcdabcd");
38 }
39
40 template <const char * const category>
f2()41 void f2() {
42 __builtin_verbose_trap(category, 1); // expected-error {{cannot initialize a parameter of type 'const char *' with an rvalue of type 'int'}}
43 }
44
test()45 void test() {
46 f<constCat3, constMsg3>(nullptr);
47 }
48