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