------- 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
