gcc4/contrib/paranoia.cc

80 E5   MinSqEr            O    Zero               V9
956   FLOAT Zero;
1031   Zero = long(0);
1055   TstCond (Failure, (Zero + Zero == Zero), "0+0 != 0");
1056   TstCond (Failure, (One - One == Zero), "1-1 != 0");
1057   TstCond (Failure, (One > Zero), "1 <= 0");
1060   Z = -Zero;
1061   if (Z != Zero)
1072   TstCond (Failure, (Four + Two * (-Two) == Zero), "4 + 2*(-2) != 0");
1073   TstCond (Failure, (Four - Three - One == Zero), "4-3-1 != 0");
1075   TstCond (Failure, (MinusOne == (Zero - One)), "-1 != 0-1");
1076   TstCond (Failure, (MinusOne + One == Zero), "-1+1 != 0");
1077   TstCond (Failure, (One + MinusOne == Zero), "1+(-1) != 0");
1078   TstCond (Failure, (MinusOne + FABS (One) == Zero), "-1+abs(1) != 0");
1079   TstCond (Failure, (MinusOne + MinusOne * MinusOne == Zero),
1082   TstCond (Failure, Half + MinusOne + Half == Zero, "1/2 + (-1) + 1/2 != 0");
1092   TstCond (Failure, (ThirtyTwo - TwentySeven - Four - One == Zero),
1097   TstCond (Failure, TwoForty / Three - Four * Four * Five == Zero,
1099   TstCond (Failure, TwoForty / Four - Five * Three * Four == Zero,
1101   TstCond (Failure, TwoForty / Five - Four * Three * Four == Zero,
1118   while (MinusOne + FABS (Y) < Zero);
1120   Precision = Zero;
1128   while (Radix == Zero);
1172   while (!((U2 <= X) || (X <= Zero)));
1193   while (!((U1 <= X) || (X <= Zero)));
1221 	   || (Z == Zero), "Comparison is fuzzy,X=1 but X-1/2-1/2 != 0");
1266   while (!((Z2 <= X) || (X <= Zero)));
1274   while (!((Z1 <= Z) || (Z <= Zero)));
1284       while (!((Y1 <= Y) || (Y <= Zero)));
1288   while (!((X1 <= X) || (X <= Zero)));
1312 	      if ((Z1 <= Zero) || (Z2 <= Zero))
1319 	      if (Z1 != Z2 || Z1 > Zero)
1369   if ((X == Zero) && (Y == Zero) && (Z == Zero) && (T == Zero))
1381   TstCond (Failure, (Y <= Zero)
1382 	   && (Z <= Zero), "* gets too many final digits wrong.\n");
1392   TstCond (Defect, X == Zero && Y == Zero && Z == Zero,
1401   if ((X == Zero) && (Y == Zero) && (Z == Zero))
1410   TstCond (Serious, Y < Zero, "Computed value of 1/1.000..1 >= 1");
1419   TstCond (Failure, X == Zero && Y == Zero,
1435   if (F9 != One && F9 - One >= Zero)
1497   if ((X == Zero) && (Y == Zero) && (Z == Zero) && (T <= Zero))
1513       if ((X == Zero) && (Y == Zero) && (Z == Zero) && (T == Zero)
1514 	  && (StickyBit == Zero) && (Y1 == Half))
1519       else if ((X + U2 == Zero) && (Y < Zero) && (Z + U2 == Zero)
1520 	       && (T < Zero) && (StickyBit + U2 == Zero) && (Y1 < Half))
1547   if (!((X > Zero) || (Y > Zero) || (Z > Zero) || (T > Zero)))
1562       if ((X == Zero) && (Y == Zero) && (Z == Zero) && (T == Zero)
1563 	  && (Y2 == Zero) && (Y2 == Zero) && (Y1 - Half == F9 - Half))
1570       else if ((X < Zero) && (Y < Zero) && (Z < Zero) && (T < Zero)
1571 	       && (Y2 < Zero) && (Y1 - Half < F9 - Half))
1593   if ((X == Zero) && (Y == Zero))
1606       if ((X == Zero) && (Y == Zero))
1614 	  if ((X == Zero) && (Y == Zero))
1635   if (StickyBit != Zero)
1637       S = Zero;
1640   StickyBit = Zero;
1650       if ((Z - One <= Zero) && (T - One >= U2))
1654 	  if ((Z - T >= U2) && (Y - T == Zero))
1660 	      if ((Z - One == Zero) && (T - F9 == Zero))
1665 		  if ((T - F9 == Zero) && (F9 - U1 - Q == Zero))
1672 		      if (T == Zero && X + Radix * U2 - Z == Zero)
1678 			      if ((Y - One == Zero))
1715   while (!((I > NoTrials) || (Z9 != Zero)));
1726   if (!((I == NoTrials) || (Z9 == Zero)))
1734   TstCond (Failure, (Zero == SQRT (Zero))
1735 	   && (-Zero == SQRT (-Zero))
1737   MinSqEr = Zero;
1738   MaxSqEr = Zero;
1739   J = Zero;
1749   if (J != Zero)
1752   J = Zero;
1768       if (J > Zero)
1832       while (X > Zero);
1871   E1 = Zero;
1872   Q = Zero;
1886 	  Y1 = Zero;
1895       UfThold = Zero;
1905 	      if ((UfThold == Zero) && (Y1 != Y2))
1914   if (PseudoZero != Zero)
1921       if (PseudoZero <= Zero)
1927 	  if (X <= Zero)
1949   if (!((E1 == Zero) || (E1 == E0)))
1956 	  if (PseudoZero == Zero)
1972   if (E1 == Zero)
1974   if (UfThold == Zero)
2039       if (!((X == Z) || (X - Z != Zero)))
2050 	  printf ("encounter Division by Zero although actually\n");
2095       if (!((V9 >= Zero) && (V9 <= (Radix + Radix + E9) * UfThold)))
2203       if (Z != Zero)
2284 	  if (V9 == Zero)
2297   MyZero = Zero;
2299   printf ("What message and/or values does Division by Zero produce?\n");
2305     printf ("  %s .\n", (Zero / MyZero).str());
2357 	      (Radix - Two) * (Radix - Nine - One) == Zero)
2363 		   (Precision - TwentySeven - TwentySeven + One) == Zero))
2455   if (SqEr != Zero)
2477   if (Z <= Zero)
2513 	  if (Z == Zero && Q <= Zero)
2539   if (Z != Zero)