[Bug ada/35372] New: Memory corruption at unchecked deallocation of the interface classwide type

["vgodunko at rostel dot ru" <gcc-bugzilla at gcc dot gnu dot org>]

Unchecked deallocation of the access to interface classwide type has corupt
memory.

Valgrind output:

==8176== Invalid read of size 4
==8176==    at 0x804EF32: system__finalization_implementation__finalize_list
(s-finimp.adb:360)
==8176==    by 0x804EFE8:
system__finalization_implementation__finalize_global_list (s-finimp.adb:327)
==8176==    by 0x8049611: main (b~driver.adb:171)
==8176==  Address 0x4187030 is 8 bytes inside a block of size 16 free'd
==8176==    at 0x402288A: free (vg_replace_malloc.c:323)
==8176==    by 0x8051787: __gnat_free (s-memory.adb:117)
==8176==    by 0x8049BBB: driver__z.182 (driver.adb:9)
==8176==    by 0x8049B0A: _ada_driver (driver.adb:13)
==8176==    by 0x804960C: main (b~driver.adb:170)
==8176== 
==8176== Invalid read of size 4
==8176==    at 0x804EF37: system__finalization_implementation__finalize_list
(s-finimp.adb:361)
==8176==    by 0x804EFE8:
system__finalization_implementation__finalize_global_list (s-finimp.adb:327)
==8176==    by 0x8049611: main (b~driver.adb:171)
==8176==  Address 0x4187028 is 0 bytes inside a block of size 16 free'd
==8176==    at 0x402288A: free (vg_replace_malloc.c:323)
==8176==    by 0x8051787: __gnat_free (s-memory.adb:117)
==8176==    by 0x8049BBB: driver__z.182 (driver.adb:9)
==8176==    by 0x8049B0A: _ada_driver (driver.adb:13)
==8176==    by 0x804960C: main (b~driver.adb:170)
==8176==


-- 
           Summary: Memory corruption at unchecked deallocation of the
                    interface classwide type
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: vgodunko at rostel dot ru


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35372