* decl.c (make_typename_type): s/parameters/arguments/.
[official-gcc.git] / gcc / testsuite / g++.dg / cpp0x / constexpr-array-ptr8.C
blobee425ea1a156cd4c0d7983f56fe182c83503716a
1 // PR c++/57047
2 // { dg-require-effective-target c++11 }
4 template <typename>
5 struct A;
6 template <typename T>
7 struct A <T &>
9   typedef T type;
11 template <typename T>
12 constexpr T && foo (typename A <T>::type & __t) noexcept
14   return static_cast <T &&>(__t);
16 template <class T1, class T2>
17 struct B
19   T1 t1;
20   T2 t2;
21   template <class U>
22   constexpr B (U && __x, const T2 & __y) : t1 (foo <U> (__x)), t2 (__y) {}
24 static inline constexpr bool
25 fn1 (const char c)
27   return ('0' <= c) && (c <= '9');
29 static inline constexpr bool
30 fn2 (const char c)
32   return (('A' <= c) && (c <= 'Z')) || (('a' <= c) && (c <= 'z'));
34 static constexpr bool
35 fn3 (const char *const x)
37   return (x[1] == '\0' && x[0] == ']') ? true : (!fn1 (x[0])) ? false : fn3 (&x[1]);
39 static constexpr bool
40 fn4 (const char *const x)
42   return (x[0] == '\0') ? fn3 (&x[1]) : fn4 (&x[1]);
44 static inline constexpr bool
45 fn5 (const char *const x)
47   return fn2 (x[0]) ? fn4 (x) : false;
49 struct C final
51   constexpr C (const char *const t1) : c (fn5 (t1) ? 199 : 69) {}
52   unsigned c;
54 B <C, C> p ("a", "b");