[Bug tree-optimization/21293] [4.0 Regression] ICE in set_value_handle

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-04-30 03:06 -------
because they are supposed to also be constant, because even though overflowed,
they do not change, ever.  :)

constants are constants are constants are constants.  If it's not a constant, it
shouldn't be a _CST node.
In addition, all _CST nodes should be is_gimple_min_invariant, because they are
a subset of the invariants.

We don't give CST nodes value handles, because their value is always themselves.

This one was not until Zdenek's change. That is a bug, and he fixed it.
The verifier catches it because it checks to make sure that everything it
doesn't give a value handle to is a min_invariant  (as they should be :P)



-- 


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