Commit b09bf97b by Yury Gribov Committed by Yury Gribov

re PR middle-end/82319 (ICE in generic_simplify_148, at generic-match.c:6436)

2017-09-29  Yury Gribov  <tetra2005@gmail.com>

	PR middle-end/82319
gcc/
	* match.pd: Fix handling of NaNs in pattern.

gcc/testsuite/
	* c-c++/common/pr57371-4.c: Test NaN comparisons.

From-SVN: r253307
parent 6e3e8419
2017-09-29 Yury Gribov <tetra2005@gmail.com>
PR middle-end/82319
* match.pd: Fix handling of NaNs in pattern.
2017-09-29 Jeff Law <law@redhat.com>
* sbitmap.c (bitmap_bit_in_range_p): New function.
......@@ -2961,7 +2961,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
else
real_trunc (&icst, fmt, cst);
bool cst_int_p = real_identical (&icst, cst);
bool cst_int_p = !real_isnan (cst) && real_identical (&icst, cst);
bool overflow_p = false;
wide_int icst_val
......
2017-09-29 Yury Gribov <tetra2005@gmail.com>
PR middle-end/82319
* c-c++/common/pr57371-4.c: Test NaN comparisons.
2017-09-29 Eric Botcazou <ebotcazou@adacore.com>
* g++.dg/other/dump-ada-spec-10.C: New test.
......
......@@ -69,4 +69,16 @@ void nonfinite(unsigned short x) {
nonfinite_10 = (float) x != SNAN;
/* { dg-final { scan-tree-dump "nonfinite_10 = \\(float\\)" "original" } } */
}
{
volatile int nonfinite_11;
nonfinite_11 = (float) x == QNAN;
/* { dg-final { scan-tree-dump "nonfinite_11 = 0" "original" } } */
}
{
volatile int nonfinite_12;
nonfinite_12 = (float) x != QNAN;
/* { dg-final { scan-tree-dump "nonfinite_12 = 1" "original" } } */
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment