------- Comment #8 from bonzini at gnu dot org  2009-01-26 16:48 -------
I disagree with this:

> working around these issues where they pop up is the way
> to go in the near future.

I think we need to be a bit more ambitious, and that does not mean separating
overflow/non-overflow tree codes.  For example in Eric's testcase, the way to
go would have been not to reassociate if there was a TREE_OVERFLOW on resulting
constant operands.  It might even be as easy as

  if (con0 && TREE_OVERFLOW (con0))
    return NULL_TREE;

(search for "con0 =" in fold-const.c to get the context).

For 4.5, I suggest applying Jakub's patch very early and fixing bugs that
result.  If it turns out it's a huge Pandora's box, we can always re-revert the
patch.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38934

Reply via email to