[Bug tree-optimization/27603] [4.1/4.2 Regression] wrong code, apparently due to bad VRP (-O2)

[pinskia at gcc dot gnu dot org]

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