diff options
Diffstat (limited to 'gcc/flags.h')
-rw-r--r-- | gcc/flags.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index 6de5d9b..2c69497 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -434,12 +434,6 @@ extern int flag_delayed_branch; extern int flag_dump_unnumbered; -/* Nonzero means pretend it is OK to examine bits of target floats, - even if that isn't true. The resulting code will have incorrect constants, - but the same series of instructions that the native compiler would make. */ - -extern int flag_pretend_float; - /* Nonzero means change certain warnings into errors. Usually these are warnings about failure to conform to some standard. */ |