Home | History | Annotate | Download | only in Parser
      1 // RUN: %clang_cc1 -std=c++11 -verify %s -fms-extensions -triple x86_64-apple-darwin9.0.0
      2 
      3 // A ud-suffix cannot be used on string literals in a whole bunch of contexts:
      4 
      5 #include "foo"_bar // expected-error {{expected "FILENAME" or <FILENAME>}}
      6 #line 1 "foo"_bar // expected-error {{user-defined suffix cannot be used here}}
      7 # 1 "foo"_bar 1 // expected-error {{user-defined suffix cannot be used here}}
      8 #ident "foo"_bar // expected-error {{user-defined suffix cannot be used here}}
      9 _Pragma("foo"_bar) // expected-error {{user-defined suffix cannot be used here}}
     10 #pragma comment(lib, "foo"_bar) // expected-error {{user-defined suffix cannot be used here}}
     11 _Pragma("comment(lib, \"foo\"_bar)") // expected-error {{user-defined suffix cannot be used here}}
     12 #pragma message "hi"_there // expected-error {{user-defined suffix cannot be used here}} expected-warning {{hi}}
     13 #pragma push_macro("foo"_bar) // expected-error {{user-defined suffix cannot be used here}}
     14 #if __has_warning("-Wan-island-to-discover"_bar) // expected-error {{user-defined suffix cannot be used here}}
     15 #elif __has_include("foo"_bar) // expected-error {{expected "FILENAME" or <FILENAME>}}
     16 #endif
     17 
     18 extern "C++"_x {} // expected-error {{user-defined suffix cannot be used here}} expected-error {{unknown linkage language}}
     19 
     20 int f() {
     21   asm("mov %eax, %rdx"_foo); // expected-error {{user-defined suffix cannot be used here}}
     22 }
     23 
     24 static_assert(true, "foo"_bar); // expected-error {{user-defined suffix cannot be used here}}
     25 
     26 int cake() __attribute__((availability(macosx, unavailable, message = "is a lie"_x))); // expected-error {{user-defined suffix cannot be used here}}
     27 
     28 // A ud-suffix cannot be used on character literals in preprocessor constant
     29 // expressions:
     30 #if 'x'_y - u'x'_z // expected-error 2{{character literal with user-defined suffix cannot be used in preprocessor constant expression}}
     31 #error error
     32 #endif
     33 
     34 // A ud-suffix cannot be used on integer literals in preprocessor constant
     35 // expressions:
     36 #if 0_foo // expected-error {{integer literal with user-defined suffix cannot be used in preprocessor constant expression}}
     37 #error error
     38 #endif
     39 
     40 // But they can appear in expressions.
     41 constexpr char operator"" _id(char c) { return c; }
     42 constexpr wchar_t operator"" _id(wchar_t c) { return c; }
     43 constexpr char16_t operator"" _id(char16_t c) { return c; }
     44 constexpr char32_t operator"" _id(char32_t c) { return c; }
     45 
     46 using size_t = decltype(sizeof(int));
     47 constexpr const char operator"" _id(const char *p, size_t n) { return *p; }
     48 constexpr const wchar_t operator"" _id(const wchar_t *p, size_t n) { return *p; }
     49 constexpr const char16_t operator"" _id(const char16_t *p, size_t n) { return *p; }
     50 constexpr const char32_t operator"" _id(const char32_t *p, size_t n) { return *p; }
     51 
     52 constexpr unsigned long long operator"" _id(unsigned long long n) { return n; }
     53 constexpr long double operator"" _id(long double d) { return d; }
     54 
     55 template<int n> struct S {};
     56 S<"a"_id> sa;
     57 S<L"b"_id> sb;
     58 S<u8"c"_id> sc;
     59 S<u"d"_id> sd;
     60 S<U"e"_id> se;
     61 
     62 S<'w'_id> sw;
     63 S<L'x'_id> sx;
     64 S<u'y'_id> sy;
     65 S<U'z'_id> sz;
     66 
     67 S<100_id> sn;
     68 S<(int)1.3_id> sf;
     69 
     70 void h() {
     71   (void)"test"_id "test" L"test";
     72 }
     73 
     74 // Test source location for suffix is known
     75 const char *p =
     76   "foo\nbar" R"x(
     77   erk
     78   flux
     79   )x" "eep\x1f"\
     80 _no_such_suffix // expected-error {{'operator "" _no_such_suffix'}}
     81 "and a bit more"
     82 "and another suffix"_no_such_suffix;
     83 
     84 char c =
     85   '\x14'\
     86 _no_such_suffix; // expected-error {{'operator "" _no_such_suffix'}}
     87 
     88 int &r =
     89 1234567\
     90 _no_such_suffix; // expected-error {{'operator "" _no_such_suffix'}}
     91 
     92 int k =
     93 1234567.89\
     94 _no_such_suffix; // expected-error {{'operator "" _no_such_suffix'}}
     95 
     96 // Make sure we handle more interesting ways of writing a string literal which
     97 // is "" in translation phase 7.
     98 void operator "\
     99 " _foo(unsigned long long); // ok
    100 
    101 void operator R"xyzzy()xyzzy" _foo(long double); // ok
    102 
    103 void operator"" "" R"()" "" _foo(const char *); // ok
    104 
    105 void operator ""_no_space(const char *); // ok
    106 
    107 // Ensure we diagnose the bad cases.
    108 void operator "\0" _non_empty(const char *); // expected-error {{must be '""'}}
    109 void operator L"" _not_char(const char *); // expected-error {{cannot have an encoding prefix}}
    110 void operator "" ""
    111 U"" // expected-error {{cannot have an encoding prefix}}
    112 "" _also_not_char(const char *);
    113 void operator "" u8"" "\u0123" "hello"_all_of_the_things ""(const char*); // expected-error {{must be '""'}}
    114