diff options
| author | Richard Stallman <rms@gnu.org> | 1993-09-23 02:04:32 +0000 |
|---|---|---|
| committer | Richard Stallman <rms@gnu.org> | 1993-09-23 02:04:32 +0000 |
| commit | 55b4742bf3c19a27be75a5512d09851a764eca38 (patch) | |
| tree | a3ec7724a164e22e7557e07e16507e6749529bbf /gcc/c-decl.c | |
| parent | 0e03210994d4f820e6f8fa1d871dbbee070bfbfe (diff) | |
| download | gcc-55b4742bf3c19a27be75a5512d09851a764eca38.zip gcc-55b4742bf3c19a27be75a5512d09851a764eca38.tar.gz gcc-55b4742bf3c19a27be75a5512d09851a764eca38.tar.bz2 | |
(flag_allow_single_precision): New variable.
(c_decode_option): Handle -fallow-single-precision.
From-SVN: r5425
Diffstat (limited to 'gcc/c-decl.c')
| -rw-r--r-- | gcc/c-decl.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/c-decl.c b/gcc/c-decl.c index 205d5ad..40439b95 100644 --- a/gcc/c-decl.c +++ b/gcc/c-decl.c @@ -437,6 +437,10 @@ int flag_no_nonansi_builtin; int flag_traditional; +/* Nonzero means to allow single precision math even if we're generally + being traditional. */ +int flag_allow_single_precision = 0; + /* Nonzero means to treat bitfields as signed unless they say `unsigned'. */ int flag_signed_bitfields = 1; @@ -537,6 +541,8 @@ c_decode_option (p) dollars_in_ident = 1; #endif } + else if (!strcmp (p, "-fallow-single-precision")) + flag_allow_single_precision = 1; else if (!strcmp (p, "-fnotraditional") || !strcmp (p, "-fno-traditional")) { flag_traditional = 0; |