diff options
Diffstat (limited to 'gcc/flag-types.h')
| -rw-r--r-- | gcc/flag-types.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/flag-types.h b/gcc/flag-types.h index 6c5a4cc..d69f8f4 100644 --- a/gcc/flag-types.h +++ b/gcc/flag-types.h @@ -158,6 +158,14 @@ enum excess_precision EXCESS_PRECISION_STANDARD }; +/* The options for which values of FLT_EVAL_METHOD are permissible. */ +enum permitted_flt_eval_methods +{ + PERMITTED_FLT_EVAL_METHODS_DEFAULT, + PERMITTED_FLT_EVAL_METHODS_TS_18661, + PERMITTED_FLT_EVAL_METHODS_C11 +}; + /* Type of stack check. */ enum stack_check_type { |