memory leak in bitset

[Bruno Haible]

Hi Akim,

There is apparently a memory leak in the 'bitset' module. After I modified
'test-bitset.c' to free the allocated bitsets, "gcc -fsanitize=leak" and
valgrind still report lost memory allocations.


"gcc -fsanitize=leak" reports:

ERROR: LeakSanitizer: detected memory leaks

Direct leak of 376 byte(s) in 27 object(s) allocated from:
    #0 0x7ff0f00179d4 in __interceptor_realloc 
../../../../gcc-8.2.0/libsanitizer/lsan/lsan_interceptors.cc:80
    #1 0x40b3d8 in vbitset_resize ../../gllib/bitset/vector.c:77

SUMMARY: LeakSanitizer: 376 byte(s) leaked in 27 allocation(s).
FAIL test-bitset (exit status: 23)


valgrind reports:

==8212== HEAP SUMMARY:
==8212==     in use at exit: 8,504 bytes in 29 blocks
==8212==   total heap usage: 140 allocs, 111 frees, 13,920 bytes allocated
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 1 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4014A8: check_attributes (test-bitset.c:134)
==8212==    by 0x400BE7: main (test-bitset.c:172)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 2 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4014F0: check_attributes (test-bitset.c:139)
==8212==    by 0x400BE7: main (test-bitset.c:172)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 3 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401572: check_attributes (test-bitset.c:146)
==8212==    by 0x400BE7: main (test-bitset.c:172)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 4 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4015E5: check_attributes (test-bitset.c:155)
==8212==    by 0x400BE7: main (test-bitset.c:172)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 5 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4014A8: check_attributes (test-bitset.c:134)
==8212==    by 0x400BF1: main (test-bitset.c:173)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 6 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4014F0: check_attributes (test-bitset.c:139)
==8212==    by 0x400BF1: main (test-bitset.c:173)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 7 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401572: check_attributes (test-bitset.c:146)
==8212==    by 0x400BF1: main (test-bitset.c:173)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 8 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4015E5: check_attributes (test-bitset.c:155)
==8212==    by 0x400BF1: main (test-bitset.c:173)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 9 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4014A8: check_attributes (test-bitset.c:134)
==8212==    by 0x400C05: main (test-bitset.c:175)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 10 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4014F0: check_attributes (test-bitset.c:139)
==8212==    by 0x400C05: main (test-bitset.c:175)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 11 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401572: check_attributes (test-bitset.c:146)
==8212==    by 0x400C05: main (test-bitset.c:175)
==8212== 
==8212== 8 bytes in 1 blocks are definitely lost in loss record 12 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x4015E5: check_attributes (test-bitset.c:155)
==8212==    by 0x400C05: main (test-bitset.c:175)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 13 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FA9: compare (test-bitset.c:55)
==8212==    by 0x400C2D: main (test-bitset.c:179)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 14 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FC3: compare (test-bitset.c:57)
==8212==    by 0x400C2D: main (test-bitset.c:179)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 15 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FE2: compare (test-bitset.c:59)
==8212==    by 0x400C2D: main (test-bitset.c:179)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 16 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401003: compare (test-bitset.c:61)
==8212==    by 0x400C2D: main (test-bitset.c:179)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 17 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401024: compare (test-bitset.c:63)
==8212==    by 0x400C2D: main (test-bitset.c:179)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 18 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FA9: compare (test-bitset.c:55)
==8212==    by 0x400C3C: main (test-bitset.c:180)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 19 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FC3: compare (test-bitset.c:57)
==8212==    by 0x400C3C: main (test-bitset.c:180)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 20 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FE2: compare (test-bitset.c:59)
==8212==    by 0x400C3C: main (test-bitset.c:180)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 21 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401003: compare (test-bitset.c:61)
==8212==    by 0x400C3C: main (test-bitset.c:180)
==8212== 
==8212== 16 bytes in 1 blocks are definitely lost in loss record 22 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401024: compare (test-bitset.c:63)
==8212==    by 0x400C3C: main (test-bitset.c:180)
==8212== 
==8212== 24 bytes in 1 blocks are definitely lost in loss record 23 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FA9: compare (test-bitset.c:55)
==8212==    by 0x400C5A: main (test-bitset.c:182)
==8212== 
==8212== 24 bytes in 1 blocks are definitely lost in loss record 24 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FC3: compare (test-bitset.c:57)
==8212==    by 0x400C5A: main (test-bitset.c:182)
==8212== 
==8212== 24 bytes in 1 blocks are definitely lost in loss record 25 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x400FE2: compare (test-bitset.c:59)
==8212==    by 0x400C5A: main (test-bitset.c:182)
==8212== 
==8212== 24 bytes in 1 blocks are definitely lost in loss record 26 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401003: compare (test-bitset.c:61)
==8212==    by 0x400C5A: main (test-bitset.c:182)
==8212== 
==8212== 24 bytes in 1 blocks are definitely lost in loss record 27 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x4C2FDEF: realloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40B7F8: vbitset_resize (vector.c:77)
==8212==    by 0x40C66F: vbitset_init (vector.c:983)
==8212==    by 0x401024: compare (test-bitset.c:63)
==8212==    by 0x400C5A: main (test-bitset.c:182)
==8212== 
==8212== 4,064 bytes in 1 blocks are still reachable in loss record 28 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40C688: xmalloc (xmalloc.c:41)
==8212==    by 0x40C9AF: _obstack_begin_worker (obstack.c:136)
==8212==    by 0x408121: lbitset_elt_alloc (list.c:129)
==8212==    by 0x408121: lbitset_elt_calloc (list.c:149)
==8212==    by 0x408121: lbitset_elt_find (list.c:366)
==8212==    by 0x4081ED: lbitset_set (list.c:503)
==8212==    by 0x40166C: bitset_set (bitset.h:143)
==8212==    by 0x40166C: check_attributes (test-bitset.c:140)
==8212==    by 0x400BFB: main (test-bitset.c:174)
==8212== 
==8212== 4,064 bytes in 1 blocks are still reachable in loss record 29 of 29
==8212==    at 0x4C2DB8F: malloc (in 
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==8212==    by 0x40C688: xmalloc (xmalloc.c:41)
==8212==    by 0x40C9AF: _obstack_begin_worker (obstack.c:136)
==8212==    by 0x4054C1: tbitset_elt_alloc (table.c:208)
==8212==    by 0x4054C1: tbitset_elt_calloc (table.c:228)
==8212==    by 0x4054C1: tbitset_elt_find (table.c:311)
==8212==    by 0x405775: tbitset_set (table.c:474)
==8212==    by 0x40166C: bitset_set (bitset.h:143)
==8212==    by 0x40166C: check_attributes (test-bitset.c:140)
==8212==    by 0x400C0F: main (test-bitset.c:176)
==8212== 
==8212== LEAK SUMMARY:
==8212==    definitely lost: 376 bytes in 27 blocks
==8212==    indirectly lost: 0 bytes in 0 blocks
==8212==      possibly lost: 0 bytes in 0 blocks
==8212==    still reachable: 8,128 bytes in 2 blocks
==8212==         suppressed: 0 bytes in 0 blocks
==8212== 
==8212== For counts of detected and suppressed errors, rerun with: -v
==8212== ERROR SUMMARY: 27 errors from 27 contexts (suppressed: 0 from 0)


Bruno