lto-opts.c (lto_write_options): Handle -fmath-errno, -fsigned-zeros and -ftrapping-math.

	* lto-opts.c (lto_write_options): Handle -fmath-errno, -fsigned-zeros
	and -ftrapping-math.
	* lto-wrapper.c (merge_and_complain): Likewise.
	(run_gcc): Likewise.

From-SVN: r215966

gcc/ChangeLog

+2014-10-07  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* lto-opts.c (lto_write_options): Handle -fmath-errno, -fsigned-zeros
+	and -ftrapping-math.
+	* lto-wrapper.c (merge_and_complain): Likewise.
+	(run_gcc): Likewise.
+
 2014-10-06  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* calls.c (expand_call): Do not use the target as the return slot if

gcc/lto-opts.c

@@ -115,6 +115,24 @@ lto_write_options (void)
       default:
 	gcc_unreachable ();
       }
+  /* The default -fmath-errno, -fsigned-zeros and -ftrapping-math change
+     depending on the language (they can be disabled by the Ada and Java
+     front-ends).  Pass thru conservative standard settings.  */
+  if (!global_options_set.x_flag_errno_math)
+    append_to_collect_gcc_options (&temporary_obstack, &first_p,
+				   global_options.x_flag_errno_math
+				   ? "-fmath-errno"
+				   : "-fno-math-errno");
+  if (!global_options_set.x_flag_signed_zeros)
+    append_to_collect_gcc_options (&temporary_obstack, &first_p,
+				   global_options.x_flag_signed_zeros
+				   ? "-fsigned-zeros"
+				   : "-fno-signed-zeros");
+  if (!global_options_set.x_flag_trapping_math)
+    append_to_collect_gcc_options (&temporary_obstack, &first_p,
+				   global_options.x_flag_trapping_math
+				   ? "-ftrapping-math"
+				   : "-fno-trapping-math");
   /* We need to merge -f[no-]strict-overflow, -f[no-]wrapv and -f[no-]trapv
      conservatively, so stream out their defaults.  */
   if (!global_options_set.x_flag_wrapv

gcc/lto-wrapper.c

@@ -261,6 +261,9 @@ merge_and_complain (struct cl_decoded_option **decoded_options,
 	    (*decoded_options)[j] = *foption;
 	  break;
 
+	case OPT_fmath_errno:
+	case OPT_fsigned_zeros:
+	case OPT_ftrapping_math:
 	case OPT_fwrapv:
 	  /* For selected options we can merge conservatively.  */
 	  for (j = 0; j < *decoded_options_count; ++j)
@@ -268,7 +271,10 @@ merge_and_complain (struct cl_decoded_option **decoded_options,
 	      break;
 	  if (j == *decoded_options_count)
 	    append_option (decoded_options, decoded_options_count, foption);
-	  /* -fwrapv > -fno-wrapv.  */
+	  /* -fmath-errno > -fno-math-errno,
+	     -fsigned-zeros > -fno-signed-zeros,
+	     -ftrapping-math -> -fno-trapping-math,
+	     -fwrapv > -fno-wrapv.  */
 	  else if (foption->value > (*decoded_options)[j].value)
 	    (*decoded_options)[j] = *foption;
 	  break;
@@ -502,6 +508,9 @@ run_gcc (unsigned argc, char *argv[])
 	case OPT_fpcc_struct_return:
 	case OPT_fshort_double:
 	case OPT_ffp_contract_:
+	case OPT_fmath_errno:
+	case OPT_fsigned_zeros:
+	case OPT_ftrapping_math:
 	case OPT_fwrapv:
 	case OPT_ftrapv:
 	case OPT_fstrict_overflow:

gcc/testsuite/ChangeLog

+2014-10-07  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/lto16.adb: New test.
+	* gnat.dg/lto16_pkg.adb: New helper.
+
 2014-10-06  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gnat.dg/return4.adb: New test.

gcc/testsuite/gnat.dg/lto16.adb

+-- { dg-do link }
+-- { dg-options "-O -flto" }
+-- { dg-require-effective-target lto }
+
+with Lto16_Pkg; use Lto16_Pkg;
+with Text_IO; use Text_IO;
+
+procedure Lto16 is
+begin
+  if F = 0.0 then
+    Put_Line ("zero");
+  else
+    Put_Line ("non-zero");
+  end if;
+exception
+  when others => Put_Line ("exception");
+end;

gcc/testsuite/gnat.dg/lto16_pkg.adb

+with Ada.Calendar; use Ada.Calendar;
+
+package body Lto16_Pkg is
+
+  function F return Float is
+    F1 : Float := Float (Seconds (Clock));
+    F2 : Float := Float (Seconds (Clock));
+    F  : Float;
+  begin
+    if F1 > F2 then
+      F := (F2 - F1) / 2.0;
+    else
+      F := (F1 - F2) / 2.0;
+    end if;
+    return F;
+  end;
+
+end Lto16_Pkg;

gcc/testsuite/gnat.dg/lto16_pkg.ads

+package Lto16_Pkg is
+
+  function F return Float;
+
+end Lto16_Pkg;