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

[baldrick at gcc dot gnu dot org]

------- Comment #9 from baldrick at gcc dot gnu dot org  2007-02-22 18:18 -------
(In reply to comment #7)
> > Do not work too hard on this, there is code in the AdaCore tree to disable
> > VRP in more cases, lest language-mandated checks are erroneously removed.
> 
> For example PR ada/26797.

That is quite a different issue.  Eliminating the checks in this example is
perfectly valid and useful.  I certainly hope that you are not planning to turn
off VRP permanently, since it is particularly important for Ada.  I can
understand that you have to be careful with validity checks (which is what
VIEW_CONVERT_EXPR is for) but that's orthogonal to this PR.


-- 


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