1 // { dg-options "-Wabi -fabi-version=1" }
2 
3 enum E { e = 3 };
4 
5 template <int I> struct S {};
6 
f(S<I+e+int (3.7)>)7 template <int I> void f (S<I + e + int (3.7)>) {} // { dg-warning "mangle" }
8 template void f<7>(S<7 + e + int (3.7)>); // { dg-message "required" }
9 
g(S<I+e+int (3.7)>)10 template <int I> void g (S<I + e + int (3.7)>) {} // { dg-warning "mangle" }
11 template void g<7>(S<7 + e + int (3.7)>); // { dg-message "required" }
12