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}} 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 115 // Make sure we treat UCNs and UTF-8 as equivalent. 116 int operator""_s(unsigned long long) {} // expected-note {{previous}} 117 int hundred_s = 50_s + 50_\u00b5s; 118 int operator""_\u00b5s(unsigned long long) {} // expected-error {{redefinition of 'operator""_s'}} 119 120 int operator""_\U0000212B(long double) {} // expected-note {{previous}} 121 int hundred_ = 50.0_ + 50._\U0000212B; 122 int operator""_(long double) {} // expected-error {{redefinition of 'operator""_'}} 123 124 int operator""_(char) {} // expected-note {{previous}} 125 int = '4'_ + '2'_\U00010000; 126 int operator""_\U00010000(char) {} // expected-error {{redefinition of 'operator""_'}} 127 128 // These all declare the same function. 129 int operator""_""_\u212e""_\U0000212e""(const char*, size_t); 130 int operator""_\u212e""_\U0000212e""_""(const char*, size_t); 131 int operator""_\U0000212e""_""_\u212e""(const char*, size_t); 132 int mix_ucn_utf8 = ""_""_\u212e""_\U0000212e""; 133 134 void operator""_""_(unsigned long long) {} // expected-error {{differing user-defined suffixes ('_' and '_') in string literal concatenation}} 135 void operator""_""_\u212f(unsigned long long) {} // expected-error {{differing user-defined suffixes ('_' and '_') in string literal concatenation}} 136 void operator""_\u212e""_(unsigned long long) {} // expected-error {{differing user-defined suffixes ('_' and '_') in string literal concatenation}} 137 void operator""_\u212e""_\u212f(unsigned long long) {} // expected-error {{differing user-defined suffixes ('_' and '_') in string literal concatenation}} 138 139 void operator""_""_(unsigned long long) {} // expected-note {{previous}} 140 void operator""_\u212e""_\u212e(unsigned long long) {} // expected-error {{redefinition}} 141 142 #define *0.01 // expected-error {{macro name must be an identifier}} 143 constexpr int operator""_(long double d) { return d * 100; } // expected-error {{non-ASCII}} 144 constexpr int operator""_(unsigned long long n) { return n; } // expected-error {{non-ASCII}} 145 static_assert(0.02_ == 2_, ""); // expected-error 2{{non-ASCII}} 146
