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

[ebotcazou at gcc dot gnu dot org]

------- Comment #59 from ebotcazou at gcc dot gnu dot org  2008-03-30 15:03 -------
> And here's a testcase that was supposed to check that
> VRP is not removing checks that array accesses are in
> range.  Instead it shows that the Ada f-e is failing
> to generate checks at all!

Even with -gnato?


-- 


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