/* Contributed by Kris Van Hees */ /* Ensure that typeinfo data is generated for char16_t/char32_t. */ /* { dg-do link } */ /* { dg-options "-std=c++0x" } */ #include int main(void) { typeid(char16_t).name(); typeid(char32_t).name(); }