diff options
| author | James Greenhalgh <james.greenhalgh@arm.com> | 2016-11-23 17:20:37 +0000 |
|---|---|---|
| committer | James Greenhalgh <jgreenhalgh@gcc.gnu.org> | 2016-11-23 17:20:37 +0000 |
| commit | 04f0fcf7bdfa1b4d153ca37df8843c44ed8c4d93 (patch) | |
| tree | 343934567075da4bb109dc150aba66e28db9662b /gcc/flag-types.h | |
| parent | b89de1b8ddc95632605c599c0e2555307a68a2af (diff) | |
[Patch 5/17] Add -fpermitted-flt-eval-methods=[c11|ts-18661-3]
gcc/c-family/
* c-opts.c (c_common_post_options): Add logic to handle the default
case for -fpermitted-flt-eval-methods.
gcc/
* common.opt (fpermitted-flt-eval-methods): New.
* doc/invoke.texi (-fpermitted-flt-eval-methods): Document it.
* flag_types.h (permitted_flt_eval_methods): New.
gcc/testsuite/
* gcc.dg/fpermitted-flt-eval-methods_1.c: New.
* gcc.dg/fpermitted-flt-eval-methods_2.c: New.
From-SVN: r242775
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 6c5a4cc9346..d69f8f489b8 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 { |