re PR c++/36912 (ICE with "-frounding-math -g")

PR c++/36912
	* varasm.c (initializer_constant_valid_p): A PLUS_EXPR
	or MINUS_EXPR of REAL_TYPE is not a valid constant initializer.
	(output_constant): Avoid crash after error.

From-SVN: r153941
This commit is contained in:
Jason Merrill 2009-11-05 09:47:24 -05:00 committed by Jason Merrill
parent 0ba1ffe500
commit 7a337da374
4 changed files with 23 additions and 2 deletions

View File

@ -1,3 +1,10 @@
2009-11-04 Jason Merrill <jason@redhat.com>
PR c++/36912
* varasm.c (initializer_constant_valid_p): A PLUS_EXPR
or MINUS_EXPR of REAL_TYPE is not a valid constant initializer.
(output_constant): Avoid crash after error.
2009-11-04 Uros Bizjak <ubizjak@gmail.com>
PR target/41900

View File

@ -1,3 +1,8 @@
2009-11-04 Jason Merrill <jason@redhat.com>
PR c++/36912
* g++.dg/init/static-init2.C: New.
2009-11-04 Jason Merrill <jason@redhat.com>
PR c++/35067

View File

@ -0,0 +1,3 @@
// PR c++/36912
// { dg-options -frounding-math }
const double c = .1, d = c+1;

View File

@ -4302,6 +4302,10 @@ initializer_constant_valid_p (tree value, tree endtype)
case POINTER_PLUS_EXPR:
case PLUS_EXPR:
/* Any valid floating-point constants will have been folded by now;
with -frounding-math we hit this with addition of two constants. */
if (TREE_CODE (endtype) == REAL_TYPE)
return NULL_TREE;
if (! INTEGRAL_TYPE_P (endtype)
|| TYPE_PRECISION (endtype) >= POINTER_SIZE)
{
@ -4324,6 +4328,8 @@ initializer_constant_valid_p (tree value, tree endtype)
break;
case MINUS_EXPR:
if (TREE_CODE (endtype) == REAL_TYPE)
return NULL_TREE;
if (! INTEGRAL_TYPE_P (endtype)
|| TYPE_PRECISION (endtype) >= POINTER_SIZE)
{
@ -4485,8 +4491,8 @@ output_constant (tree exp, unsigned HOST_WIDE_INT size, unsigned int align)
case REAL_TYPE:
if (TREE_CODE (exp) != REAL_CST)
error ("initializer for floating value is not a floating constant");
assemble_real (TREE_REAL_CST (exp), TYPE_MODE (TREE_TYPE (exp)), align);
else
assemble_real (TREE_REAL_CST (exp), TYPE_MODE (TREE_TYPE (exp)), align);
break;
case COMPLEX_TYPE: