(fpadd_parts): Adding infinities with opposite signs yields a NaN.

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

diff --git a/gcc/config/fp-bit.c b/gcc/config/fp-bit.c
index 373c251..9f2d279 100644 (file)
--- a/gcc/config/fp-bit.c
+++ b/gcc/config/fp-bit.c
@@ -485,6 +485,9 @@ _fpadd_parts (fp_number_type * a,
     }
   if (isinf (a))
     {
+      /* Adding infinities with opposite signs yields a NaN.  */
+      if (isinf (b) && a->sign != b->sign)
+       return nan ();
       return a;
     }
   if (isinf (b))