diff options
author | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-05-14 10:49:21 +0000 |
---|---|---|
committer | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2002-05-14 10:49:21 +0000 |
commit | b7df6bce769db7da8cb42cd1921226e29c117b09 (patch) | |
tree | eec8bd8b5b87b76eec54f2515fb0898aa31e3a98 /gcc/final.c | |
parent | 36c4ce3cc6e3002cc5253d599f267f548bd03578 (diff) | |
download | ppe42-gcc-b7df6bce769db7da8cb42cd1921226e29c117b09.tar.gz ppe42-gcc-b7df6bce769db7da8cb42cd1921226e29c117b09.zip |
* final.c (end_final): Do not output profile_arcs constructor, when
no functions are instrumented.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@53455 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/final.c')
-rw-r--r-- | gcc/final.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/final.c b/gcc/final.c index 13e2aca11a1..3e1b2232c39 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; |