Index: gcc-4.7.2/gcc/toplev.c
===================================================================
--- gcc-4.7.2.orig/gcc/toplev.c	2012-08-07 02:34:27.000000000 +1200
+++ gcc-4.7.2/gcc/toplev.c	2015-08-24 09:30:20.000000000 +1200
@@ -1084,15 +1084,8 @@
     {
       expanded_location loc
 	= expand_location (DECL_SOURCE_LOCATION (current_function_decl));
-      const char *raw_id, *id;
-
-      /* Strip the scope prefix if any.  */
-      raw_id = lang_hooks.decl_printable_name (current_function_decl, 2);
-      id = strrchr (raw_id, '.');
-      if (id)
-	id++;
-      else
-	id = raw_id;
+      const char *id = IDENTIFIER_POINTER
+	  (DECL_ASSEMBLER_NAME (current_function_decl));
 
       fprintf (stack_usage_file,
 	       "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",