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 d1634bd9e11..bc51b2bda34 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -182,6 +182,10 @@ extern int flag_gen_aux_info; extern int flag_dump_unnumbered; +/* True if printing into -fdump-final-insns= dump. */ + +extern bool final_insns_dump_p; + /* Nonzero means change certain warnings into errors. Usually these are warnings about failure to conform to some standard. */ |