re PR c++/55992 (constexpr static member function not recognised in templated using statement)

2016-05-25  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/55992
	* g++.dg/cpp0x/alias-decl-53.C: New.
	* g++.dg/cpp0x/alias-decl-54.C: Likewise.

From-SVN: r236698

gcc/testsuite/ChangeLog

+2016-05-25  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/55992
+	* g++.dg/cpp0x/alias-decl-53.C: New.
+	* g++.dg/cpp0x/alias-decl-54.C: Likewise.
+
 2016-05-25  Martin Liska  <mliska@suse.cz>
 
 	* g++.dg/pr71239.C: New test.

gcc/testsuite/g++.dg/cpp0x/alias-decl-53.C

+// PR c++/55992
+// { dg-do compile { target c++11 } }
+
+template<unsigned N>
+struct A {};
+
+template<unsigned MaxP>
+struct test
+{
+  static constexpr unsigned pole(unsigned P)
+  { return P>MaxP? MaxP:P; }
+
+  template<unsigned P>
+  using my_array = A<pole(P)>;
+
+  template<unsigned P>
+  void do_something(my_array<P> const&, my_array<P>);
+};

gcc/testsuite/g++.dg/cpp0x/alias-decl-54.C

+// PR c++/55992
+// { dg-do compile { target c++11 } }
+
+template <int> struct A { };
+
+template <int I>
+struct B
+{
+  static constexpr int f (int i) { return i; }
+
+  template <int J>
+  using C = A<f (J)>;
+
+  C<I> c;
+};