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