Here's the output of
$ cver teste-memoria.v
GPLCVER_2.12a of 05/16/07 (Linux-elf).
Copyright (c) 1991-2007 Pragmatic C Software Corp.
All Rights reserved. Licensed under the GNU General Public License (GPL).
See the 'COPYING' file for details. NO WARRANTY provided.
Today is Thu Apr 15 14:37:09 2010.
Compiling source file "teste-memoria.v"
Highest level modules:
TesteMemoria
*** glibc detected *** /usr/bin/cver: malloc(): memory corruption: 0x00000000026c5290 ***
======= Backtrace: =========
/lib/libc.so.6[0x7f8132221d16]
/lib/libc.so.6[0x7f8132224d7f]
/lib/libc.so.6(__libc_malloc+0x70)[0x7f8132226aa0]
/usr/bin/cver(__my_malloc+0x1f)[0x4e05bf]
/usr/bin/cver[0x4a3153]
/usr/bin/cver(__bld_bidandtran_graph+0x189)[0x4a3369]
/usr/bin/cver(__prep_sim+0x1b28)[0x4bd7f8]
/usr/bin/cver(__dig_main+0x1c15)[0x423255]
/lib/libc.so.6(__libc_start_main+0xfd)[0x7f81321cfabd]
/usr/bin/cver[0x41bb39]
======= Memory map: ========
00400000-0058a000 r-xp 00000000 fe:01 210912 /usr/bin/cver
00789000-0078e000 rw-p 00189000 fe:01 210912 /usr/bin/cver
0078e000-00798000 rw-p 00000000 00:00 0
02656000-026e0000 rw-p 00000000 00:00 0 [heap]
7f812c000000-7f812c021000 rw-p 00000000 00:00 0
7f812c021000-7f8130000000 ---p 00000000 00:00 0
7f8131f9b000-7f8131fb1000 r-xp 00000000 08:01 81283 /lib/libgcc_s.so.1
7f8131fb1000-7f81321b0000 ---p 00016000 08:01 81283 /lib/libgcc_s.so.1
7f81321b0000-7f81321b1000 rw-p 00015000 08:01 81283 /lib/libgcc_s.so.1
7f81321b1000-7f81322fb000 r-xp 00000000 08:01 81689 /lib/libc-2.10.2.so
7f81322fb000-7f81324fb000 ---p 0014a000 08:01 81689 /lib/libc-2.10.2.so
7f81324fb000-7f81324ff000 r--p 0014a000 08:01 81689 /lib/libc-2.10.2.so
7f81324ff000-7f8132500000 rw-p 0014e000 08:01 81689 /lib/libc-2.10.2.so
7f8132500000-7f8132505000 rw-p 00000000 00:00 0
7f8132505000-7f8132507000 r-xp 00000000 08:01 81697 /lib/libdl-2.10.2.so
7f8132507000-7f8132707000 ---p 00002000 08:01 81697 /lib/libdl-2.10.2.so
7f8132707000-7f8132708000 r--p 00002000 08:01 81697 /lib/libdl-2.10.2.so
7f8132708000-7f8132709000 rw-p 00003000 08:01 81697 /lib/libdl-2.10.2.so
7f8132709000-7f813278a000 r-xp 00000000 08:01 81695 /lib/libm-2.10.2.so
7f813278a000-7f8132989000 ---p 00081000 08:01 81695 /lib/libm-2.10.2.so
7f8132989000-7f813298a000 r--p 00080000 08:01 81695 /lib/libm-2.10.2.so
7f813298a000-7f813298b000 rw-p 00081000 08:01 81695 /lib/libm-2.10.2.so
7f813298b000-7f81329a8000 r-xp 00000000 08:01 81563 /lib/ld-2.10.2.so
7f8132b8a000-7f8132b8c000 rw-p 00000000 00:00 0
7f8132ba1000-7f8132ba7000 rw-p 00000000 00:00 0
7f8132ba7000-7f8132ba8000 r--p 0001c000 08:01 81563 /lib/ld-2.10.2.so
7f8132ba8000-7f8132ba9000 rw-p 0001d000 08:01 81563 /lib/ld-2.10.2.so
7fff58d88000-7fff58d9d000 rw-p 00000000 00:00 0 [stack]
7fff58dff000-7fff58e00000 r-xp 00000000 00:00 0 [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]
Abortado
Abortado is aborted in Portuguese.