Re: [Dotgnu-libjit] Libjit memory errors

[Klaus Treichel]

Hey Simone,

sorry, that i'm replying so late.


Am Mittwoch, den 25.08.2010, 15:42 -0400 schrieb Simone Campanoni:
> Hi Libjit developers,
>     I am Simone Campanoni (author of ILDJIT), I would like to report few
> memory errors I had on Libjit used within ILDJIT.
> I am using the last version of the official git repository.
> Following you can find the output of the valgrind tool.
> I hope you find this information useful.
> 
> Thanks
> simone
> 
> 
> ======================= output
> Invalid read of size 4
>    at 0x4B96C8A: jit_insn_iter_next (in
> /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B85CBB: compile_block (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B86248: codegen (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B863EF: compile (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B86527: jit_compile_entry (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B865D5: jit_function_compile_entry (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     ....
>  Address 0x1bb8c748 is 8 bytes inside a block of size 64 free'd
>    at 0x47DDB3A: free (vg_replace_malloc.c:366)
>    by 0x4B7EC35: jit_free (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B83503: _jit_block_destroy (in
> /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B8E985: jit_insn_label (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B9623D: jit_insn_start_finally (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     ....
> 
> Invalid read of size 4
>    at 0x4B8393D: jit_block_next (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B8629F: codegen (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B863EF: compile (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B86527: jit_compile_entry (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B865D5: jit_function_compile_entry (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     ....
>  Address 0x1bb8c754 is 20 bytes inside a block of size 64 free'd
>    at 0x47DDB3A: free (vg_replace_malloc.c:366)
>    by 0x4B7EC35: jit_free (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B83503: _jit_block_destroy (in
> /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B8E985: jit_insn_label (in /home/xan/System/lib/libjit.so.0.0.1)
>    by 0x4B9623D: jit_insn_start_finally (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     ....
> 
> Invalid read of size 4
>     at 0x4BC96CF: _jit_gen_insn (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B85CAA: compile_block (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B86248: codegen (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B863EF: compile (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B86527: jit_compile_entry (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B865D5: jit_function_compile_entry (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     ....
>   Address 0x1bb8c774 is 52 bytes inside a block of size 64 free'd
>     at 0x47DDB3A: free (vg_replace_malloc.c:366)
>     by 0x4B7EC35: jit_free (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B83503: _jit_block_destroy (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B8E985: jit_insn_label (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B9623D: jit_insn_start_finally (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     ....
> 
> Invalid read of size 4
>     at 0x4B9C17F: jit_meta_destroy (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B834CE: _jit_block_destroy (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B82F69: _jit_block_free (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B8CD4D: _jit_function_free_builder (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B8657C: jit_function_setup_entry (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     ....
>   Address 0x1bb8c770 is 48 bytes inside a block of size 64 free'd
>     at 0x47DDB3A: free (vg_replace_malloc.c:366)
>     by 0x4B7EC35: jit_free (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B83503: _jit_block_destroy (in
> /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B8E985: jit_insn_label (in /home/xan/System/lib/libjit.so.0.0.1)
>     by 0x4B9623D: jit_insn_start_finally (in
> /home/xan/System/lib/libjit.so.0.0.1)
> 

Can you supply complete debug information (incl. line numbers)?

Does this happen on x86 or x86_64?

Do you have a testcase i can try with?

Cheers,
Klaus

signature.asc
Description: This is a digitally signed message part