diff options
Diffstat (limited to 'gcc/output.h')
| -rw-r--r-- | gcc/output.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/output.h b/gcc/output.h index ae0034f91ed..0cdb719174f 100644 --- a/gcc/output.h +++ b/gcc/output.h @@ -457,3 +457,6 @@ extern const char *user_label_prefix; #define STRIP_NAME_ENCODING(VAR,SYMBOL_NAME) \ (VAR) = ((SYMBOL_NAME) + ((SYMBOL_NAME)[0] == '*')) #endif +/* Assign unique numbers to labels generated for profiling. */ + +int profile_label_no; |