------- Comment #2 from dominiq at lps dot ens dot fr 2010-08-23 14:58 ------- Confirmed. Valgrind gives
==89074== Invalid free() / delete / delete[] ==89074== at 0x10001079F: free (vg_replace_malloc.c:366) ==89074== by 0x100000D15: MAIN__ (in ./a.out) ==89074== by 0x100000D55: main (in ./a.out) ==89074== Address 0x1003c9470 is 0 bytes inside a block of size 48 free'd ==89074== at 0x10001079F: free (vg_replace_malloc.c:366) ==89074== by 0x100000B6A: __d_mat_mod_MOD_doit (in ./a.out) ==89074== by 0x100000D00: MAIN__ (in ./a.out) ==89074== by 0x100000D55: main (in ./a.out) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45384
