mangle12.c

gcc-you can use this code to learn something about gcc, and inquire further into linux,

// { dg-options "-Wabi" }

template <template <typename> class Q>
void f (typename Q<int>::X) {}

template <typename Q>
struct S {
  typedef int X;
};

template void f<S> (int); // { dg-warning "mangle" }