From: Richard Stallman <rms@gnu.org>
Date: Thu, 23 Sep 1993 02:04:32 +0000 (+0000)
Subject: (flag_allow_single_precision): New variable.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=55b4742bf3c19a27be75a5512d09851a764eca38;p=gcc.git

(flag_allow_single_precision): New variable.

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

From-SVN: r5425
---

diff --git a/gcc/c-decl.c b/gcc/c-decl.c
index 205d5ad8458..40439b95398 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;