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

[baldrick at free dot fr]

------- Comment #26 from baldrick at free dot fr  2007-02-23 16:01 -------
Subject: Re:  VRP fails to eliminate range checks in Ada code

> Of course in this case I would have expected VRP or whatever to optimize away
> 
>      if not To'Valid then
>          raise Constraint_Error;
>      end if;
> 
> but it looks it is now an unconditional
> 
>      raise Constraint_Error;

Some of the other tests are showing similar behaviour.

> btw - I failed to manually re-build a file from the rts, what do I need to do
> this? (I tried with -gnatpg but that just complains in different ways than
> without -gnatpg)

What does it complain about with -gnatpg?  Without it, it probably complains
that you are not allowed to compile children of package Ada, or something like
that.


-- 


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