http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50678
--- Comment #19 from Iain Sandoe <iains at gcc dot gnu.org> 2011-10-12 13:35:05
UTC ---
built with ;
$ gnatmake -f -O2 -gnatws -fstack-check -I../../../support c52104y
--GCC="/GCC/gcc-4-7-trunk-build/gcc/xgcc -B/GCC/gcc-4-7-trunk-build/gcc" -cargs
-save-temps -fverbose-asm -fdump-tree-all -largs
--GCC="/GCC/gcc-4-7-trunk-build/gcc/xgcc -B/GCC/gcc-4-7-trunk-build/gcc"
(gdb) run
Starting program:
/Volumes/GCC/gcc-4-7-trunk-build/gcc/testsuite/ada/acats/tests/c5/c52104y/c52104y
Reading symbols for shared libraries ++. done
,.,. C52104Y ACATS 2.5 11-10-12 14:25:13
---- C52104Y CHECK THAT IN ARRAY ASSIGNMENTS AND IN SLICE ASSIGNMENTS,
THE LENGTHS MUST MATCH.
- C52104Y NO CONSTRAINT_ERROR FOR NON-NULL ARRAY SUBTYPE WHEN ONE
DIMENSION HAS INTEGER'LAST + 3 COMPONENTS.
Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_PROTECTION_FAILURE at address: 0x00007fff5bc00380
0x0000000100003658 in _ada_c52104y () at c52104y.adb:115
115 ARRX52 : TABOX52 ; -- BIG ARRAY HERE.
===
0x0000000100003649 <_ada_c52104y+521>: sub %rdx,%rsi
0x000000010000364c <_ada_c52104y+524>: cmp %rsi,%rcx
0x000000010000364f <_ada_c52104y+527>: je 0x100003661 <_ada_c52104y+545>
0x0000000100003651 <_ada_c52104y+529>: sub $0x1000,%rcx
0x0000000100003658 <_ada_c52104y+536>: orq $0x0,(%rcx)
0x000000010000365c <_ada_c52104y+540>: cmp %rsi,%rcx
0x000000010000365f <_ada_c52104y+543>: jne 0x100003651 <_ada_c52104y+529>
0x0000000100003661 <_ada_c52104y+545>: mov %rax,%rsi
0x0000000100003664 <_ada_c52104y+548>: sub %rdx,%rsi
which looks like a stack probe.
