diff options
Diffstat (limited to 'gcc/flags.h')
| -rw-r--r-- | gcc/flags.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index 5b6f7283b6c..c2b2fad8f17 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -719,6 +719,10 @@ extern int flag_unit_at_a_time; extern int flag_web; +/* Nonzero means that we defer emitting functions until they are actually + used. */ +extern int flag_remove_unreachable_functions; + /* A string that's used when a random name is required. NULL means to make it really random. */ |