clang/test/SemaCXX/verbose-trap.cpp

   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>
  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>
  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
  45 void test() {
  46   f<constCat3, constMsg3>(nullptr);
  47 }