found 276227 4.3.2-2 thanks The compiler message is different with 4.3.2-2 than from the original report. Now it reads teg@burken:~/test/ada/bugs/276227$ gnatmake test_124.ads gcc-4.3 -c test_124.ads test_124.ads:12:36: size for "T1_arr_constrained" too small, minimum allowed is 256 test_124.ads:22:36: size for "T2_arr_constrained" too small, minimum allowed is 248 gnatmake: "test_124.ads" compilation error