------- Comment #10 from pinskia at gcc dot gnu dot org 2006-05-15 06:39
-------
After fixing a type mismatch in infer_loop_bounds_from_undefined, I get:
(analyze_scalar_evolution
(loop_nb = 1)
(scalar = D.1523_6)
(get_scalar_evolution
(scalar = D.1523_6)
(scalar_evolution = {4294967293, +, 1}_1))
(set_scalar_evolution
(scalar = D.1523_6)
(scalar_evolution = {4294967293, +, 1}_1))
)
(instantiate_parameters
(loop_nb = 1)
(chrec = {4294967293, +, 1}_1)
(res = {4294967293, +, 1}_1))
Found new range for D.1523_6: [4294967293, +INF]
I don't see anything wrong with the scev really. In fact it is correct. maybe
what is wrong is VRP not asking the correct question.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27603
