./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/aws_ring_buffer_init_harness_negated.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/aws_ring_buffer_init_harness_negated.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i


--------------------------------------------------------------------------------


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2337:5-2343:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2876:5-2876:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2983:5-2983:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4678:5-4678:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4752:5-4765:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6757:5-6764:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7023:5-7042:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7063:9-7084:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7353:5-7353:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7376:5-7376:65 with factor 25
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Error][Imprecise][Unsound] Function definition missing for aws_array_list_ensure_capacity
[Error][Imprecise][Unsound] Function definition missing for __atomic_exchange_n
[Info][Witness] couldn't parse entry: find uuid
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5814:7-5814:23)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5815:1-5815:1)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5814:7-5814:23)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5815:1-5815:1)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7364:5-7364:59)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5661:12-5661:71)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5830:12-5830:87)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5793:20-5793:21)
[Info][Imprecise] Invalidating expressions: & tmp___0 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5830:12-5830:87)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5830:12-5830:87)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5830:12-5830:87)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5661:12-5661:71)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5661:12-5661:71)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5830:12-5830:87)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5793:20-5793:21)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5830:12-5830:87)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5830:12-5830:87)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5661:12-5661:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6106:9-6106:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6109:9-6109:73)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6114:12-6117:93)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7773:9-7773:62)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7774:9-7774:84)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7774:9-7774:84)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7774:9-7774:84)
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:232:1-234:1)
[Warning][Deadcode] Function '__CPROVER_allocated_memory' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:235:1-235:80)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_hasher' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:238:1-238:84)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_equals' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:239:1-239:96)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_compare' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:240:1-240:116)
[Warning][Deadcode] Function '__CPROVER_overflow_plus' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:248:1-251:1)
[Warning][Deadcode] Function '__CPROVER_overflow_mult' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:253:1-256:1)
[Warning][Deadcode] Function 'nondet_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:262:1-262:52)
[Warning][Deadcode] Function 'nondet_uint16_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:264:1-264:64)
[Warning][Deadcode] Function 'nondet_uint32_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:265:1-265:63)
[Warning][Deadcode] Function 'nondet_uint64_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:266:1-266:64)
[Warning][Deadcode] Function 'nondet_uint8_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:267:1-267:62)
[Warning][Deadcode] Function 'nondet_voidp' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:268:1-268:66)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:1109:1-1113:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:1114:1-1118:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:1119:1-1123:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:1125:1-1129:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:1131:1-1135:1)
[Warning][Deadcode] Function 'aws_is_mem_zeroed' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2331:1-2348:1)
[Warning][Deadcode] Function 'aws_mul_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2485:1-2491:1)
[Warning][Deadcode] Function 'aws_mul_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2497:1-2502:1)
[Warning][Deadcode] Function 'aws_mul_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2507:1-2513:1)
[Warning][Deadcode] Function 'aws_mul_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2519:1-2524:1)
[Warning][Deadcode] Function 'aws_add_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2529:1-2535:1)
[Warning][Deadcode] Function 'aws_add_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2541:1-2546:1)
[Warning][Deadcode] Function 'aws_add_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2551:1-2557:1)
[Warning][Deadcode] Function 'aws_add_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2563:1-2568:1)
[Warning][Deadcode] Function 'aws_mul_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2572:1-2580:1)
[Warning][Deadcode] Function 'aws_mul_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2586:1-2594:1)
[Warning][Deadcode] Function 'aws_add_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2599:1-2607:1)
[Warning][Deadcode] Function 'aws_add_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2613:1-2621:1)
[Warning][Deadcode] Function 'aws_is_power_of_two' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2626:1-2631:1)
[Warning][Deadcode] Function 'aws_round_up_to_power_of_two' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2637:1-2658:1)
[Warning][Deadcode] Function 'aws_array_list_init_dynamic' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2861:1-2904:1)
[Warning][Deadcode] Function 'aws_array_list_init_static' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2906:1-2933:1)
[Warning][Deadcode] Function 'aws_array_list_is_valid' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2935:1-2962:1)
[Warning][Deadcode] Function 'aws_array_list_debug_print' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2964:1-2974:1)
[Warning][Deadcode] Function 'aws_array_list_clean_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2976:1-2984:1)
[Warning][Deadcode] Function 'aws_array_list_push_back' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:2986:1-3002:1)
[Warning][Deadcode] Function 'aws_array_list_front' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3004:1-3019:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3021:1-3032:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front_n' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3034:1-3054:1)
[Warning][Deadcode] Function 'aws_array_list_erase' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3056:1-3085:1)
[Warning][Deadcode] Function 'aws_array_list_back' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3087:1-3103:1)
[Warning][Deadcode] Function 'aws_array_list_pop_back' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3105:1-3122:1)
[Warning][Deadcode] Function 'aws_array_list_clear' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3124:1-3134:1)
[Warning][Deadcode] Function 'aws_array_list_swap_contents' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3136:1-3152:1)
[Warning][Deadcode] Function 'aws_array_list_capacity' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3154:1-3161:1)
[Warning][Deadcode] Function 'aws_array_list_length' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3163:1-3174:1)
[Warning][Deadcode] Function 'aws_array_list_get_at' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3176:1-3189:1)
[Warning][Deadcode] Function 'aws_array_list_get_at_ptr' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3191:1-3204:1)
[Warning][Deadcode] Function 'aws_array_list_set_at' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3206:1-3235:1)
[Warning][Deadcode] Function 'aws_array_list_sort' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3237:1-3244:1)
[Warning][Deadcode] Function 'aws_is_big_endian' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3945:1-3948:1)
[Warning][Deadcode] Function 'aws_hton64' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3953:1-3968:1)
[Warning][Deadcode] Function 'aws_ntoh64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3973:1-3975:1)
[Warning][Deadcode] Function 'aws_hton32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3980:1-3986:1)
[Warning][Deadcode] Function 'aws_htonf32' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:3991:1-4007:1)
[Warning][Deadcode] Function 'aws_htonf64' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4012:1-4032:1)
[Warning][Deadcode] Function 'aws_ntoh32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4037:1-4043:1)
[Warning][Deadcode] Function 'aws_ntohf32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4048:1-4050:1)
[Warning][Deadcode] Function 'aws_ntohf64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4055:1-4057:1)
[Warning][Deadcode] Function 'aws_hton24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4062:1-4069:1)
[Warning][Deadcode] Function 'aws_ntoh24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4074:1-4081:1)
[Warning][Deadcode] Function 'aws_hton16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4086:1-4092:1)
[Warning][Deadcode] Function 'aws_ntoh16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4097:1-4103:1)
[Warning][Deadcode] Function 'aws_linked_list_node_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4674:1-4680:1)
[Warning][Deadcode] Function 'aws_linked_list_empty' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4681:1-4686:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4691:1-4710:1)
[Warning][Deadcode] Function 'aws_linked_list_node_next_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4717:1-4721:1)
[Warning][Deadcode] Function 'aws_linked_list_node_prev_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4728:1-4732:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid_deep' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4733:1-4767:1)
[Warning][Deadcode] Function 'aws_linked_list_init' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4772:1-4784:1)
[Warning][Deadcode] Function 'aws_linked_list_begin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4789:1-4795:1)
[Warning][Deadcode] Function 'aws_linked_list_end' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4800:1-4806:1)
[Warning][Deadcode] Function 'aws_linked_list_rbegin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4813:1-4819:1)
[Warning][Deadcode] Function 'aws_linked_list_rend' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4825:1-4831:1)
[Warning][Deadcode] Function 'aws_linked_list_next' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4836:1-4843:1)
[Warning][Deadcode] Function 'aws_linked_list_prev' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4848:1-4855:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_after' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4860:1-4875:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_nodes' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4880:1-4906:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_before' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4911:1-4926:1)
[Warning][Deadcode] Function 'aws_linked_list_remove' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4932:1-4939:1)
[Warning][Deadcode] Function 'aws_linked_list_push_back' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4944:1-4952:1)
[Warning][Deadcode] Function 'aws_linked_list_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4957:1-4965:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4970:1-4978:1)
[Warning][Deadcode] Function 'aws_linked_list_push_front' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4983:1-4991:1)
[Warning][Deadcode] Function 'aws_linked_list_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:4996:1-5004:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5009:1-5017:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_contents' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5019:1-5046:1)
[Warning][Deadcode] Function 'aws_atomic_load_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5651:1-5654:1)
[Warning][Deadcode] Function 'aws_atomic_store_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5667:1-5670:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5675:1-5678:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5684:1-5687:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5693:1-5696:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5703:1-5709:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5716:1-5722:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5728:1-5731:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5737:1-5740:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5746:1-5749:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5755:1-5758:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5764:1-5767:1)
[Warning][Deadcode] Function 'aws_atomic_init_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5803:1-5806:1)
[Warning][Deadcode] Function 'aws_atomic_load_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5820:1-5823:1)
[Warning][Deadcode] Function 'aws_atomic_store_int_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5836:1-5839:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5844:1-5847:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5853:1-5859:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5865:1-5871:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5878:1-5896:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5903:1-5921:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5926:1-5929:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5934:1-5937:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5942:1-5945:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5950:1-5953:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5958:1-5961:1)
[Warning][Deadcode] Function 'aws_atomic_thread_fence' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5967:1-5970:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_empty' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6087:1-6093:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6279:1-6283:1)
[Warning][Deadcode] Function 'aws_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6289:1-6294:1)
[Warning][Deadcode] Function 'aws_c_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6299:1-6309:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6635:1-6638:1)
[Warning][Deadcode] Function 'aws_byte_buf_has_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6641:1-6644:1)
[Warning][Deadcode] Function 'ensure_byte_buf_has_allocated_buffer_member' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6646:1-6651:1)
[Warning][Deadcode] Function 'ensure_ring_buffer_has_allocated_members' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6653:1-6663:1)
[Warning][Deadcode] Function 'ensure_byte_buf_has_allocated_buffer_member_in_range' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6668:1-6677:1)
[Warning][Deadcode] Function 'ensure_byte_buf_has_allocated_buffer_member_in_ring_buf' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6682:1-6701:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6704:1-6707:1)
[Warning][Deadcode] Function 'ensure_byte_cursor_has_allocated_buffer_member' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6709:1-6713:1)
[Warning][Deadcode] Function 'aws_array_list_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6716:1-6728:1)
[Warning][Deadcode] Function 'ensure_array_list_has_allocated_data_member' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6730:1-6742:1)
[Warning][Deadcode] Function 'ensure_linked_list_is_allocated' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6744:1-6768:1)
[Warning][Deadcode] Function 'aws_priority_queue_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6771:1-6789:1)
[Warning][Deadcode] Function 'ensure_priority_queue_has_allocated_members' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6791:1-6795:1)
[Warning][Deadcode] Function 'ensure_hash_table_has_valid_destroy_functions' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6797:1-6804:1)
[Warning][Deadcode] Function 'aws_hash_table_has_an_empty_slot' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6807:1-6810:1)
[Warning][Deadcode] Function 'hash_table_state_has_an_empty_slot' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6813:1-6820:1)
[Warning][Deadcode] Function 'hash_proof_destroy_noop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6828:1-6828:40)
[Warning][Deadcode] Function 'ensure_string_is_allocated_nondet_length' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6830:1-6835:1)
[Warning][Deadcode] Function 'ensure_string_is_allocated_bounded_length' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6837:1-6841:1)
[Warning][Deadcode] Function 'ensure_string_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6843:1-6853:1)
[Warning][Deadcode] Function 'ensure_c_str_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6855:1-6864:1)
[Warning][Deadcode] Function 's_can_fail_calloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6871:1-6874:1)
[Warning][Deadcode] Function 's_can_fail_malloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6880:1-6883:1)
[Warning][Deadcode] Function 's_can_fail_free_allocator' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6888:1-6891:1)
[Warning][Deadcode] Function 's_can_fail_realloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6897:1-6901:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6910:1-6917:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6930:1-6934:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6941:1-6958:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6977:1-6997:1)
[Warning][Deadcode] Function 'aws_mem_acquire_many' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7001:1-7094:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7098:1-7111:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7113:1-7135:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7136:1-7149:1)
[Warning][Deadcode] Function 'assert_all_bytes_are' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7151:1-7159:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7161:1-7163:1)
[Warning][Deadcode] Function 'assert_byte_from_buffer_matches' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7165:1-7169:1)
[Warning][Deadcode] Function 'save_byte_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7171:1-7177:1)
[Warning][Deadcode] Function 'assert_array_list_equivalence' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7179:1-7196:1)
[Warning][Deadcode] Function 'assert_byte_buf_equivalence' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7198:1-7214:1)
[Warning][Deadcode] Function 'assert_byte_cursor_equivalence' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7216:1-7227:1)
[Warning][Deadcode] Function 'assert_ring_buffer_equivalence' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7229:1-7241:1)
[Warning][Deadcode] Function 'check_hash_table_unchanged' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7243:1-7247:1)
[Warning][Deadcode] Function 'nondet_compare' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7249:1-7253:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7256:1-7269:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7272:1-7277:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7288:1-7302:1)
[Warning][Deadcode] Function 'uninterpreted_equals_assert_inputs_nonnull' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7305:1-7310:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7312:1-7315:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7320:1-7323:1)
[Warning][Deadcode] Function 'aws_last_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7341:1-7343:1)
[Warning][Deadcode] Function 'aws_ring_buffer_clean_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7370:1-7377:1)
[Warning][Deadcode] Function 's_buf_belongs_to_pool' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7379:1-7394:1)
[Warning][Deadcode] Function 'aws_secure_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7554:1-7571:1)
[Warning][Deadcode] Function 'aws_common_fatal_assert_library_initialized' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7753:1-7762:1)
[Warning][Deadcode] Function 'aws_atomic_priv_xlate_order' has dead code:
  on line 5783 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5783-5783)
  on line 5785 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5785-5785)
  on line 5787 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5787-5787)
  on line 5789 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5789-5789)
  on line 5791 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5791-5791)
  on line 5795 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5795-5795)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 81
  dead: 766 (760 in uncalled functions)
  total lines: 847
[Warning][Deadcode][CWE-571] condition 'ring_buf' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:6114:12-6117:93)
[Warning][Deadcode][CWE-570] condition '(unsigned int )order == 0U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5784:9-5784:38)
[Warning][Deadcode][CWE-570] condition '(unsigned int )order == 2U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5786:9-5786:38)
[Warning][Deadcode][CWE-570] condition '(unsigned int )order == 3U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5788:9-5788:38)
[Warning][Deadcode][CWE-570] condition '(unsigned int )order == 4U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5790:9-5790:38)
[Warning][Deadcode][CWE-571] condition '(unsigned int )order == 5U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:5792:9-5792:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_init_harness_negated.i:7353:63-7353:65)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 1
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 1
SV-COMP result: ERROR (witness error)
[Error][Imprecise][Unsound] Function definition missing
