found 269948 4.3.2-2 found 276224 4.3.2-2 found 278687 4.3.2-2 found 278831 4.3.2-2 found 279893 4.3.2-2 found 280939 4.3.2-2 found 283835 4.3.2-2 thanks
found 276224 4.4.1-1 thanks
Actually, no illegal program is undetected. The (minor) bug is that GNAT reports only one error instead of two. If one line is commented out, GNAT correctly reports the problem for the other one.