Implement C++0x user-defined string literals.

The extra data stored on user-defined literal Tokens is stored in extra
allocated memory, which is managed by the PreprocessorLexer because there isn't
a better place to put it that makes sure it gets deallocated, but only after
it's used up. My testing has shown no significant slowdown as a result, but
independent testing would be appreciated.

llvm-svn: 112458

1 files changed, 11 insertions, 32 deletions

diff --git a/clang/test/SemaCXX/literal-operators.cpp b/clang/test/SemaCXX/literal-operators.cpp
index ec585a61da9..93fd4b6a142 100644
--- a/clang/test/SemaCXX/literal-operators.cpp
+++ b/clang/test/SemaCXX/literal-operators.cpp
@@ -2,42 +2,21 @@
 
 #include <stddef.h>
 
-struct tag {
-  void operator "" tag_bad (const char *); // expected-error {{literal operator 'operator "" tag_bad' must be in a namespace or global scope}}
-  friend void operator "" tag_good (const char *);
+template <typename T, typename U> struct same_type {
+  static const bool value = false;
 };
 
-namespace ns { void operator "" ns_good (const char *); }
-
-// Check extern "C++" declarations
-extern "C++" void operator "" extern_good (const char *);
-extern "C++" { void operator "" extern_good (const char *); }
-
-void fn () { void operator "" fn_bad (const char *); } // expected-error {{literal operator 'operator "" fn_bad' must be in a namespace or global scope}}
-
-// One-param declarations (const char * was already checked)
-void operator "" good (char);
-void operator "" good (wchar_t);
-void operator "" good (char16_t);
-void operator "" good (char32_t);
-void operator "" good (unsigned long long);
-void operator "" good (long double);
+template <typename T> struct same_type<T, T> {
+  static const bool value = true;
+};
 
-// Two-param declarations
-void operator "" good (const char *, size_t);
-void operator "" good (const wchar_t *, size_t);
-void operator "" good (const char16_t *, size_t);
-void operator "" good (const char32_t *, size_t);
+int operator "" _int (const char *, size_t);
+static_assert(same_type<int, decltype(""_int)>::value, "not the same type!");
 
-// Check typedef and array equivalences
-void operator "" good (const char[]);
-typedef const char c;
-void operator "" good (c*);
+int i = ""_int;
+int j = L""_int; // expected-error {{no matching literal operator function}}
 
-// Check extra cv-qualifiers
-void operator "" cv_good (volatile const char *, const size_t);
+int operator "" _int (const wchar_t *, size_t);
 
-// Template delcaration (not implemented yet)
-// template <char...> void operator "" good ();
+int k = L""_int;
 
-// FIXME: Test some invalid decls that might crop up.