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

				// Test mangling of type casts				// { dg-do compile }								template class A {};				template class B {};								template void f(A &, B &) {}				template void g(A &, B &) {}								int main()				{				  A a;				  B b;				  f(a, b);				  g(a, b);				}								// { dg-final { scan-assembler "\n_?_Z1fILi1EEvR1AIXT_EER1BIXcvbT_EE\[: \t\n\]" } }				// { dg-final { scan-assembler "\n_?_Z1gILi1EEvR1AIXT_EER1BIXcvbT_EE\[: \t\n\]" } }