Created
April 26, 2017 15:37
-
-
Save rptynan/e1079fa63cd1287bf9df2c9ad3a75338 to your computer and use it in GitHub Desktop.
root@feast-1 /u/l/s/liballocs # ❯❯❯ gmake -f tools/Makefile.allocsites /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o-allocsites.c 2>! /tmp/stderr 1>! /tmp/stdout
This file contains hidden or 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
| struct allocsite_entry | |
| { | |
| void *next; | |
| void *prev; | |
| void *allocsite; | |
| struct uniqtype *uniqtype; | |
| }; | |
| struct allocsite_entry allocsites[] = { | |
| { (void*)0, (void*)0, (void*)0, (struct uniqtype *)0 } | |
| }; |
This file contains hidden or 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
| all_source_meta_file: /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs | |
| all_obj_meta_file: /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.objallocs | |
| NO MATCH: found /usr/local/src/liballocs/tools/lang/c/lib/../../../../include/liballocs_cil_inlines.h != /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h or NOT lexicographic_compare_ge 000073 000215 or NOT lexicographic_compare_lt 000073 000216 | |
| warning: skipping source meta line, comparing lt next obj entry (which has file /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h, lines 000215-000216, address /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o<main> @0x000000000000024b): /usr/local/src/liballocs/tools/lang/c/lib/../../../../include/liballocs_cil_inlines.h 000073 __builtin_alloca structure_type dumpallocs_synthetic__usr_local_src_liballocs_tools_lang_c_lib_____________include_liballocs_cil_inlines_h_73_73 { member : unsigned long int; member : (array_type [type = (pointer_type [type = (unspecified_type)];)] { }); }; |
This file contains hidden or 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
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x000000000000024b /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000215 000216 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x00000000000004cb /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000215 000216 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x000000000000004d /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000546 000547 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x00000000000002a9 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000546 000547 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x000000000000005e /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000549 000550 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x00000000000002bd /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000549 000550 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x000000000000007c /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000554 000555 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x00000000000002de /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000554 000555 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x00000000000000a6 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000567 000568 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x0000000000000311 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000567 000568 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x0000000000000103 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000588 000589 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x0000000000000374 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000588 000589 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x000000000000017b /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000600 000601 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x00000000000003f5 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000600 000601 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x0000000000000193 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000604 000605 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x000000000000040d /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000604 000605 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x00000000000001d0 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000606 000607 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x0000000000000450 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h 000606 000607 $FAILED$ | |
| /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o main 0x0000000000000500 /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.c 000022 000023 $FAILED$ |
This file contains hidden or 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
| Saw line /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| Slurped args: -wi /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| Guessed file arg: /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| Note: found CU ./hello-array.cil.c | |
| CU info is: <0><b>: Abbrev Number: 1 (DW_TAG_compile_unit) <c> DW_AT_producer : (indirect string, offset: 0x6aa): GNU C 4.9.4 -mtune=generic -march=x86-64 -gdwarf-4 -gstrict-dwarf -g -gdwarf-4 -gstrict-dwarf -g -std=gnu99 -std=gnu11 -std=gnu11 -fno-omit-frame-pointer -ffunction-sections -fvar-tracking-assignments <10> DW_AT_language : 1 (ANSI C) <11> DW_AT_name : (indirect string, offset: 0x278): ./hello-array.cil.c <15> DW_AT_comp_dir : (indirect string, offset: 0xa1): /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array <19> DW_AT_ranges : 0x0 <1d> DW_AT_low_pc : 0x0 <25> DW_AT_stmt_list : 0x0 | |
| language field of CU info is 1 (ANSI C) | |
| comp_dir line of CU info is <15> DW_AT_comp_dir : (indirect string, offset: 0xa1): /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array | |
| Note: found comp_dir /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array | |
| Warning: cu_allocspath is /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/./hello-array.i.allocs | |
| /usr/local/src/liballocs/tools/lang/c/bin/../src/base-types-translation /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| /usr/local/src/liballocs/tools/lang/c/bin/../lib/symname-funcs.sh: line 2: /usr/local/src/liballocs/tools/lang/c/bin/../src/base-types-translation: No such file or directory | |
| sed program is ; s/(__uniqtype__|__ARG[0-9]+_|__PTR_|__REF_|__RR_|__ARR[0-9]+_|__FUN_FROM_|__FUN_TO_|__VA_)(__ARG[0-9]+_|__PTR_|__REF_|__RR_|__ARR[0-9]+_|__FUN_FROM_|__FUN_TO_|__VA_|$)/\1\2/g |
This file contains hidden or 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
| tools/Makefile.allocsites:13: ALLOCSITES_BASE is /usr/lib/allocsites | |
| all_alloc_descriptors is: malloc(Z)p calloc(zZ)p realloc(pZ)p memalign(zZ)p alloca(Z)p | |
| meta_instr_regexp is: ^([0-9a-f]*) <([^>]*)>.*((call|jmp).*(<((malloc)|(calloc)|(realloc)|(memalign)|(posix_memalign)|(valloc)|(__monalloca_)|( malloc)|(__wrap_malloc)|(calloc)|(__wrap_calloc)|(realloc)|(__wrap_realloc)|(memalign)|(__wrap_memalign)|(alloca)|(__wrap_alloca))|.*\*)|.* 00 00 00 00.*callq) | |
| objdumpmeta has meta_instr_regexp: ^([0-9a-f]*) <([^>]*)>.*((call|jmp).*(<((malloc)|(calloc)|(realloc)|(memalign)|(posix_memalign)|(valloc)|(__monalloca_)|( malloc)|(__wrap_malloc)|(calloc)|(__wrap_calloc)|(realloc)|(__wrap_realloc)|(memalign)|(__wrap_memalign)|(alloca)|(__wrap_alloca))|.*\*)|.* 00 00 00 00.*callq) | |
| Written allocsites output to /tmp/root/tmp.vZs1MJO9 | |
| Written objdump output to /tmp/root/tmp.4Gr4NnyX | |
| Found allocation sites: | |
| 0000000000000048 main +0x48 | |
| 0000000000000059 main +0x59 | |
| 0000000000000077 main +0x77 | |
| 00000000000000a1 main +0xa1 | |
| 00000000000000fe main +0xfe | |
| 0000000000000176 main +0x176 | |
| 000000000000018e main +0x18e | |
| 00000000000001cb main +0x1cb | |
| 0000000000000246 main +0x246 | |
| 00000000000002a4 main +0x2a4 | |
| 00000000000002b8 main +0x2b8 | |
| 00000000000002d9 main +0x2d9 | |
| 000000000000030c main +0x30c | |
| 000000000000036f main +0x36f | |
| 00000000000003f0 main +0x3f0 | |
| 0000000000000408 main +0x408 | |
| 000000000000044b main +0x44b | |
| 00000000000004c6 main +0x4c6 | |
| 00000000000004fb main +0x4fb | |
| addr2line said 0x0000000000000048 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:546 | |
| 0x0000000000000059 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:549 | |
| 0x0000000000000077 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:554 | |
| 0x00000000000000a1 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:567 | |
| 0x00000000000000fe /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:588 | |
| 0x0000000000000176 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:600 | |
| 0x000000000000018e /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:604 | |
| 0x00000000000001cb /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:606 | |
| 0x0000000000000246 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:215 | |
| 0x00000000000002a4 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:546 | |
| 0x00000000000002b8 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:549 | |
| 0x00000000000002d9 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:554 | |
| 0x000000000000030c /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:567 | |
| 0x000000000000036f /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:588 | |
| 0x00000000000003f0 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:600 | |
| 0x0000000000000408 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:604 | |
| 0x000000000000044b /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:606 | |
| 0x00000000000004c6 /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h:215 | |
| 0x00000000000004fb /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.c:22 | |
| addr2line temp file is /tmp/root/tmp.ER1R2ysS | |
| regexp: ^0000000000000048[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x48, skipping | |
| Context attempt was: | |
| return_addr is 000000000000004d | |
| return_addr_sym is main | |
| return_addr_offset is 0x4d | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^0000000000000059[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x59, skipping | |
| Context attempt was: | |
| return_addr is 000000000000005e | |
| return_addr_sym is main | |
| return_addr_offset is 0x5e | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^0000000000000077[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x77, skipping | |
| Context attempt was: | |
| return_addr is 000000000000007c | |
| return_addr_sym is main | |
| return_addr_offset is 0x7c | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000000a1[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0xa1, skipping | |
| Context attempt was: | |
| return_addr is 00000000000000a6 | |
| return_addr_sym is main | |
| return_addr_offset is 0xa6 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000000fe[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0xfe, skipping | |
| Context attempt was: | |
| return_addr is 0000000000000103 | |
| return_addr_sym is main | |
| return_addr_offset is 0x103 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^0000000000000176[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x176, skipping | |
| Context attempt was: | |
| return_addr is 000000000000017b | |
| return_addr_sym is main | |
| return_addr_offset is 0x17b | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^000000000000018e[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x18e, skipping | |
| Context attempt was: | |
| return_addr is 0000000000000193 | |
| return_addr_sym is main | |
| return_addr_offset is 0x193 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000001cb[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x1cb, skipping | |
| Context attempt was: | |
| return_addr is 00000000000001d0 | |
| return_addr_sym is main | |
| return_addr_offset is 0x1d0 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^0000000000000246[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x246, skipping | |
| Context attempt was: | |
| return_addr is 000000000000024b | |
| return_addr_sym is main | |
| return_addr_offset is 0x24b | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000002a4[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x2a4, skipping | |
| Context attempt was: | |
| return_addr is 00000000000002a9 | |
| return_addr_sym is main | |
| return_addr_offset is 0x2a9 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000002b8[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x2b8, skipping | |
| Context attempt was: | |
| return_addr is 00000000000002bd | |
| return_addr_sym is main | |
| return_addr_offset is 0x2bd | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000002d9[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x2d9, skipping | |
| Context attempt was: | |
| return_addr is 00000000000002de | |
| return_addr_sym is main | |
| return_addr_offset is 0x2de | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^000000000000030c[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x30c, skipping | |
| Context attempt was: | |
| return_addr is 0000000000000311 | |
| return_addr_sym is main | |
| return_addr_offset is 0x311 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^000000000000036f[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x36f, skipping | |
| Context attempt was: | |
| return_addr is 0000000000000374 | |
| return_addr_sym is main | |
| return_addr_offset is 0x374 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000003f0[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x3f0, skipping | |
| Context attempt was: | |
| return_addr is 00000000000003f5 | |
| return_addr_sym is main | |
| return_addr_offset is 0x3f5 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^0000000000000408[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x408, skipping | |
| Context attempt was: | |
| return_addr is 000000000000040d | |
| return_addr_sym is main | |
| return_addr_offset is 0x40d | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^000000000000044b[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x44b, skipping | |
| Context attempt was: | |
| return_addr is 0000000000000450 | |
| return_addr_sym is main | |
| return_addr_offset is 0x450 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000004c6[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x4c6, skipping | |
| Context attempt was: | |
| return_addr is 00000000000004cb | |
| return_addr_sym is main | |
| return_addr_offset is 0x4cb | |
| Warning: filenames disagreed: addr2line '/usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h', objdump '' | |
| regexp: ^00000000000004fb[[:blank:]]*< | |
| tail: : No such file or directory | |
| tail: : No such file or directory | |
| Warning: could not find source line for main+0x4fb, skipping | |
| Context attempt was: | |
| return_addr is 0000000000000500 | |
| return_addr_sym is main | |
| return_addr_offset is 0x500 | |
| Warning: filenames disagreed: addr2line '/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.c', objdump '' | |
| Found 0 allocation sites | |
| Found 0 allocation sites |
This file contains hidden or 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
| mkdir -p $(dirname "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.objallocs") | |
| /usr/local/src/liballocs/tools//objdumpallocs "/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o" | sed "s|.*|/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o\t&|" > "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.objallocs" || (rm -f "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.objallocs"; false) | |
| ( /usr/local/src/liballocs/tools//gather-srcallocs.sh "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.objallocs" 2>&1 1>"/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs" || (rm -f "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs"; false) ) | tee "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs.rej" | |
| Saw line /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| Slurped args: -wi /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| Guessed file arg: /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| Note: found CU ./hello-array.cil.c | |
| CU info is: <0><b>: Abbrev Number: 1 (DW_TAG_compile_unit) <c> DW_AT_producer : (indirect string, offset: 0x6aa): GNU C 4.9.4 -mtune=generic -march=x86-64 -gdwarf-4 -gstrict-dwarf -g -gdwarf-4 -gstrict-dwarf -g -std=gnu99 -std=gnu11 -std=gnu11 -fno-omit-frame-pointer -ffunction-sections -fvar-tracking-assignments <10> DW_AT_language : 1 (ANSI C) <11> DW_AT_name : (indirect string, offset: 0x278): ./hello-array.cil.c <15> DW_AT_comp_dir : (indirect string, offset: 0xa1): /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array <19> DW_AT_ranges : 0x0 <1d> DW_AT_low_pc : 0x0 <25> DW_AT_stmt_list : 0x0 | |
| language field of CU info is 1 (ANSI C) | |
| comp_dir line of CU info is <15> DW_AT_comp_dir : (indirect string, offset: 0xa1): /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array | |
| Note: found comp_dir /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array | |
| Warning: cu_allocspath is /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/./hello-array.i.allocs | |
| /usr/local/src/liballocs/tools/lang/c/bin/../src/base-types-translation /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o | |
| /usr/local/src/liballocs/tools/lang/c/bin/../lib/symname-funcs.sh: line 2: /usr/local/src/liballocs/tools/lang/c/bin/../src/base-types-translation: No such file or directory | |
| sed program is ; s/(__uniqtype__|__ARG[0-9]+_|__PTR_|__REF_|__RR_|__ARR[0-9]+_|__FUN_FROM_|__FUN_TO_|__VA_)(__ARG[0-9]+_|__PTR_|__REF_|__RR_|__ARR[0-9]+_|__FUN_FROM_|__FUN_TO_|__VA_|$)/\1\2/g | |
| test -e "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs" | |
| ( /usr/local/src/liballocs/tools//merge-allocs.sh /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.objallocs /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs 2>&1 1>"/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.allocs" || (rm -f "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.allocs"; false) ) | tee "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.allocs.rej" | |
| all_source_meta_file: /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs | |
| all_obj_meta_file: /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.objallocs | |
| NO MATCH: found /usr/local/src/liballocs/tools/lang/c/lib/../../../../include/liballocs_cil_inlines.h != /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h or NOT lexicographic_compare_ge 000073 000215 or NOT lexicographic_compare_lt 000073 000216 | |
| warning: skipping source meta line, comparing lt next obj entry (which has file /usr/local/src/libcrunch/frontend/c/bin/../../../include/libcrunch_cil_inlines.h, lines 000215-000216, address /usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o<main> @0x000000000000024b): /usr/local/src/liballocs/tools/lang/c/lib/../../../../include/liballocs_cil_inlines.h 000073 __builtin_alloca structure_type dumpallocs_synthetic__usr_local_src_liballocs_tools_lang_c_lib_____________include_liballocs_cil_inlines_h_73_73 { member : unsigned long int; member : (array_type [type = (pointer_type [type = (unspecified_type)];)] { }); }; | |
| test -e "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.allocs" | |
| /usr/local/src/liballocs/tools//allocsites < "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.allocs" > "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o-allocsites.c" || (rm -f "/usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o-allocsites.c"; false) | |
| rm /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.allocs /usr/lib/allocsites/usr/local/src/part2-dissertation-code/libcrunchk/test/hello-array/hello-array.o.srcallocs |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment