1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/final.c b/gcc/final.c
index 13e2aca..3e1b223 100644
--- a/gcc/final.c
+++ b/gcc/final.c
@@ -252,7 +252,7 @@ void
 end_final (filename)
      const char *filename;
 {
-  if (profile_arc_flag)
+  if (profile_arc_flag && profile_info.count_instrumented_edges)
     {
       char name[20];
       tree string_type, string_cst;