(flag_allow_single_precision): New variable.

(c_decode_option): Handle -fallow-single-precision.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@5425 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/c-decl.c b/gcc/c-decl.c
index 205d5ad..40439b9 100644 (file)
--- 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;