Commit fe19d514 by Richard Biener

middle-end/95118 - fix printing of denormal zero

This fixes printing a REAL_CST generated from value-numbering
punning some bits to a real which turns out as zero with big
negative exponent.  This causes the loop in real_to_decimal_for_mode to
never terminate.

2020-05-14  Richard Biener  <rguenther@suse.de>

	PR middle-end/95118
	* real.c (real_to_decimal_for_mode): Make sure we handle
	a zero with nonzero exponent.

	* gcc.dg/pr95118.c: New testcase.
parent 80416aac
......@@ -1714,8 +1714,8 @@ real_to_decimal_for_mode (char *str, const REAL_VALUE_TYPE *r_orig,
do_multiply (&u, &v, ten);
/* Stop if we're now >= 1. */
if (REAL_EXP (&u) > 0)
/* Stop if we're now >= 1 or zero. */
if (REAL_EXP (&u) > 0 || u.cl == rvc_zero)
break;
v = u;
......
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-fre" } */
void a();
void b() {
union {
int c[4];
long double d;
} e = {{0, 0, 4}};
a(e.d);
}
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