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

[ebotcazou at gcc dot gnu dot org]

------- Comment #66 from ebotcazou at gcc dot gnu dot org  2008-03-30 16:18 -------
> Consider the following test case:
> 
> procedure Overflow (X : Positive) return Integer is
>    A : array (Positive) of Integer;
>    pragma Import (Ada, A);
> begin
>    A (X) := X;
> end;
> 
> (for which no checks are generated).

Try first to compile it. :-)


-- 


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