------- Comment #15 from rguenth at gcc dot gnu dot org 2008-01-12 10:49 ------- I think symbolic substitutions should be only done if the resulting stmt can be simplified to a constant. Now for VRP my long-term plan is to get rid of symbolic ranges altogether to make it cheaper and easier to keep value-range information across passes.
-- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23821