------- Comment #55 from baldrick at gcc dot gnu dot org 2008-03-30 14:18 ------- 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!
function Overflow (X : Positive) return Integer is Y : Positive; A : array (Positive) of Integer; pragma Import (Ada, A); begin return A (X) + A (Y); end; -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911