-
-
Save mikhailramalho/bee86d8271bb9363eee9951344f6d591 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ==18124== HEAP SUMMARY: | |
| ==18124== in use at exit: 79,543 bytes in 233 blocks | |
| ==18124== total heap usage: 2,353,208 allocs, 2,352,975 frees, 387,358,099 bytes allocated | |
| ==18124== | |
| ==18124== 144 (32 direct, 112 indirect) bytes in 2 blocks are definitely lost in loss record 35 of 52 | |
| ==18124== at 0x4C29216: operator new(unsigned long) (vg_replace_malloc.c:334) | |
| ==18124== by 0x649306: get_type_from_pool(typet const&, std::map<typet, irep_container<type2t>, std::less<typet>, std::allocator<std::pair<typet const, irep_container<type2t> > > >&) (irep2.cpp:812) | |
| ==18124== by 0x649453: type_poolt::get_signedbv(typet const&) (irep2.cpp:848) | |
| ==18124== by 0x7476D2: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:288) | |
| ==18124== by 0x74536F: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:106) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x744FD5: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:89) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x4A13D0: c_sizeof(typet const&, namespacet const&) (c_sizeof.cpp:25) | |
| ==18124== by 0x4CC6AF: clang_c_adjust::adjust_sizeof(exprt&) (clang_c_adjust_expr.cpp:472) | |
| ==18124== by 0x4CA3F4: clang_c_adjust::adjust_expr(exprt&) (clang_c_adjust_expr.cpp:106) | |
| ==18124== by 0x4CCFEB: clang_c_adjust::adjust_operands(exprt&) (clang_c_adjust_expr.cpp:1238) | |
| ==18124== | |
| ==18124== 144 (32 direct, 112 indirect) bytes in 2 blocks are definitely lost in loss record 36 of 52 | |
| ==18124== at 0x4C29216: operator new(unsigned long) (vg_replace_malloc.c:334) | |
| ==18124== by 0x649306: get_type_from_pool(typet const&, std::map<typet, irep_container<type2t>, std::less<typet>, std::allocator<std::pair<typet const, irep_container<type2t> > > >&) (irep2.cpp:812) | |
| ==18124== by 0x649453: type_poolt::get_signedbv(typet const&) (irep2.cpp:848) | |
| ==18124== by 0x7476D2: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:288) | |
| ==18124== by 0x748545: migrate_expr(exprt const&, irep_container<expr2t>&) (migrate.cpp:657) | |
| ==18124== by 0x7450C5: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:96) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x4A13D0: c_sizeof(typet const&, namespacet const&) (c_sizeof.cpp:25) | |
| ==18124== by 0x4CC6AF: clang_c_adjust::adjust_sizeof(exprt&) (clang_c_adjust_expr.cpp:472) | |
| ==18124== by 0x4CA3F4: clang_c_adjust::adjust_expr(exprt&) (clang_c_adjust_expr.cpp:106) | |
| ==18124== by 0x4CCFEB: clang_c_adjust::adjust_operands(exprt&) (clang_c_adjust_expr.cpp:1238) | |
| ==18124== by 0x4CC7E2: clang_c_adjust::adjust_expr_binary_arithmetic(exprt&) (clang_c_adjust_expr.cpp:243) | |
| ==18124== | |
| ==18124== 144 (32 direct, 112 indirect) bytes in 2 blocks are definitely lost in loss record 37 of 52 | |
| ==18124== at 0x4C29216: operator new(unsigned long) (vg_replace_malloc.c:334) | |
| ==18124== by 0x649306: get_type_from_pool(typet const&, std::map<typet, irep_container<type2t>, std::less<typet>, std::allocator<std::pair<typet const, irep_container<type2t> > > >&) (irep2.cpp:812) | |
| ==18124== by 0x649453: type_poolt::get_signedbv(typet const&) (irep2.cpp:848) | |
| ==18124== by 0x7476D2: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:288) | |
| ==18124== by 0x74536F: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:106) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x4A13D0: c_sizeof(typet const&, namespacet const&) (c_sizeof.cpp:25) | |
| ==18124== by 0x4CC6AF: clang_c_adjust::adjust_sizeof(exprt&) (clang_c_adjust_expr.cpp:472) | |
| ==18124== by 0x4CA3F4: clang_c_adjust::adjust_expr(exprt&) (clang_c_adjust_expr.cpp:106) | |
| ==18124== by 0x4CCFEB: clang_c_adjust::adjust_operands(exprt&) (clang_c_adjust_expr.cpp:1238) | |
| ==18124== by 0x4CC7E2: clang_c_adjust::adjust_expr_binary_arithmetic(exprt&) (clang_c_adjust_expr.cpp:243) | |
| ==18124== by 0x4CA587: clang_c_adjust::adjust_expr(exprt&) (clang_c_adjust_expr.cpp:119) | |
| ==18124== | |
| ==18124== 576 (128 direct, 448 indirect) bytes in 8 blocks are definitely lost in loss record 47 of 52 | |
| ==18124== at 0x4C29216: operator new(unsigned long) (vg_replace_malloc.c:334) | |
| ==18124== by 0x649306: get_type_from_pool(typet const&, std::map<typet, irep_container<type2t>, std::less<typet>, std::allocator<std::pair<typet const, irep_container<type2t> > > >&) (irep2.cpp:812) | |
| ==18124== by 0x649513: type_poolt::get_symbol(typet const&) (irep2.cpp:872) | |
| ==18124== by 0x7479AD: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:305) | |
| ==18124== by 0x74536F: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:106) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x745AC7: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:146) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x4A13D0: c_sizeof(typet const&, namespacet const&) (c_sizeof.cpp:25) | |
| ==18124== by 0x4CC6AF: clang_c_adjust::adjust_sizeof(exprt&) (clang_c_adjust_expr.cpp:472) | |
| ==18124== by 0x4CA3F4: clang_c_adjust::adjust_expr(exprt&) (clang_c_adjust_expr.cpp:106) | |
| ==18124== by 0x4CED9A: clang_c_adjust::adjust_function_call_arguments(side_effect_expr_function_callt&) (clang_c_adjust_expr.cpp:639) | |
| ==18124== | |
| ==18124== 576 (128 direct, 448 indirect) bytes in 8 blocks are definitely lost in loss record 48 of 52 | |
| ==18124== at 0x4C29216: operator new(unsigned long) (vg_replace_malloc.c:334) | |
| ==18124== by 0x649306: get_type_from_pool(typet const&, std::map<typet, irep_container<type2t>, std::less<typet>, std::allocator<std::pair<typet const, irep_container<type2t> > > >&) (irep2.cpp:812) | |
| ==18124== by 0x649453: type_poolt::get_signedbv(typet const&) (irep2.cpp:848) | |
| ==18124== by 0x7476D2: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:288) | |
| ==18124== by 0x748545: migrate_expr(exprt const&, irep_container<expr2t>&) (migrate.cpp:657) | |
| ==18124== by 0x7450C5: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:96) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x745AC7: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:146) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x4A13D0: c_sizeof(typet const&, namespacet const&) (c_sizeof.cpp:25) | |
| ==18124== by 0x4CC6AF: clang_c_adjust::adjust_sizeof(exprt&) (clang_c_adjust_expr.cpp:472) | |
| ==18124== by 0x4CA3F4: clang_c_adjust::adjust_expr(exprt&) (clang_c_adjust_expr.cpp:106) | |
| ==18124== | |
| ==18124== 3,168 (704 direct, 2,464 indirect) bytes in 44 blocks are definitely lost in loss record 51 of 52 | |
| ==18124== at 0x4C29216: operator new(unsigned long) (vg_replace_malloc.c:334) | |
| ==18124== by 0x649306: get_type_from_pool(typet const&, std::map<typet, irep_container<type2t>, std::less<typet>, std::allocator<std::pair<typet const, irep_container<type2t> > > >&) (irep2.cpp:812) | |
| ==18124== by 0x649453: type_poolt::get_signedbv(typet const&) (irep2.cpp:848) | |
| ==18124== by 0x7476D2: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:288) | |
| ==18124== by 0x74536F: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:106) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x745AC7: real_migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:146) | |
| ==18124== by 0x747630: migrate_type(typet const&, irep_container<type2t>&, namespacet const*, bool) (migrate.cpp:283) | |
| ==18124== by 0x4A13D0: c_sizeof(typet const&, namespacet const&) (c_sizeof.cpp:25) | |
| ==18124== by 0x4CC6AF: clang_c_adjust::adjust_sizeof(exprt&) (clang_c_adjust_expr.cpp:472) | |
| ==18124== by 0x4CA3F4: clang_c_adjust::adjust_expr(exprt&) (clang_c_adjust_expr.cpp:106) | |
| ==18124== by 0x4CED9A: clang_c_adjust::adjust_function_call_arguments(side_effect_expr_function_callt&) (clang_c_adjust_expr.cpp:639) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment