===================================================================
@@ -0,0 +1,30 @@
+// PR c++/55708
+// { dg-do compile { target c++11 } }
+
+template<int N,int NNN>
+struct AA { static constexpr int val = N; };
+
+template<typename A,typename B>
+//constexpr unsigned long long mymax(A a,B b){ // <-- compiles
+constexpr unsigned long long mymax(A && a,const B& b){
+ return a<b?b:a;
+}
+
+template<char... List>
+constexpr long long operator"" _y() noexcept
+{
+ return AA<1, mymax(1,2)>::val; // <-- crashes gcc
+ // return mymax(1,2); // <-- compiles
+ // return AA<1,2>::val; // <-- compiles
+}
+
+template<char... List>
+constexpr unsigned long long do_y() noexcept
+{
+ return AA<1, mymax(1,2)>::val; // <-- crashes gcc
+}
+
+int main()
+{
+ return 1_y + do_y();
+}