[Bug tree-optimization/30911] VRP fails to eliminate range checks in Ada code

[rguenth at gcc dot gnu dot org]

------- Comment #28 from rguenth at gcc dot gnu dot org  2007-02-23 16:11 -------
Got it compiling now with -gnatpg -- my tree was probably too old and messed
up, rebuilding everything helped.  Now we indeed fold "not To'Valid" to 1 ;) 
Unfolded 
it looks like


  if (to == 0 || (SIGNED_32) to < 0)
    {
      __gnat_rcheck_04 ("a-textio.adb", 1339);
    }

I'll try to get my hands on what goes wrong, but a small testcase resembling
the
above part would be nice to have ;)


-- 


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