Re: [Ada] Fix alloc/free mishap for super-aligned fat or thin ptr

[Samuel Tardieu <sam at rfc1149 dot net>]

>>>>> "Olivier" == Olivier Hainque <hainque@adacore.com> writes:

Olivier> This shows up as SEGVs from the Release call in the testcase
Olivier> below on some targets:

Olivier,

I still get a segmentation fault on i686-pc-linux-gnu (glibc 2.6.1 and
kernel 2.6.24-rc2) with the current SVN trunk (which contains your patch):

*** glibc detected *** ./release_unc_maxalign.exe: munmap_chunk(): invalid pointer: 0x08061010 ***
======= Backtrace: =========
/lib/i686/cmov/libc.so.6(cfree+0x1bb)[0xb7e838bb]
./release_unc_maxalign.exe[0x804afb8]
./release_unc_maxalign.exe[0x804e5e5]
./release_unc_maxalign.exe[0x80494d5]
/lib/i686/cmov/libc.so.6(__libc_start_main+0xe0)[0xb7e2c050]
./release_unc_maxalign.exe[0x8049331]
======= Memory map: ========
08048000-0805b000 r-xp 00000000 fd:02 3117848    /home/sam/tmp/gcc/gcc/release_unc_maxalign.exe
0805b000-0805c000 rw-p 00012000 fd:02 3117848    /home/sam/tmp/gcc/gcc/release_unc_maxalign.exe
0805c000-08082000 rw-p 0805c000 00:00 0          [heap]
b7e15000-b7e16000 rw-p b7e15000 00:00 0 
b7e16000-b7f58000 r-xp 00000000 fd:05 51648      /lib/i686/cmov/libc-2.6.1.so
b7f58000-b7f59000 r--p 00142000 fd:05 51648      /lib/i686/cmov/libc-2.6.1.so
b7f59000-b7f5b000 rw-p 00143000 fd:05 51648      /lib/i686/cmov/libc-2.6.1.so
b7f5b000-b7f5f000 rw-p b7f5b000 00:00 0 
b7f6b000-b7f77000 r-xp 00000000 fd:02 2507511    /home/sam/tmp/gcc/gcc/libgcc_s.so.1
b7f77000-b7f78000 rw-p 0000b000 fd:02 2507511    /home/sam/tmp/gcc/gcc/libgcc_s.so.1
b7f78000-b7f79000 rw-p b7f78000 00:00 0 
b7f79000-b7f7a000 r-xp b7f79000 00:00 0          [vdso]
b7f7a000-b7f96000 r-xp 00000000 fd:05 47085      /lib/ld-2.6.1.so
b7f96000-b7f98000 rw-p 0001b000 fd:05 47085      /lib/ld-2.6.1.so
bfe2f000-bfe44000 rw-p bffeb000 00:00 0          [stack]

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/