./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/aws_byte_buf_from_empty_array_harness_negated.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/aws_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_harness_negated.i:4629:5-4629:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4703:5-4716:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6708:5-6715:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6974:5-6993:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7014:9-7035:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7319:5-7319:112 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7322:9-7322:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7334:9-7334:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7458:5-7458:116 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7460:5-7460:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7503:9-7503:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7516:9-7516:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7559:5-7578:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7654:5-7660:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7708:5-7721:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7744:5-7757:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7772:5-7780:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7886:5-7888:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7902:5-7902:99 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7988:5-7988:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7989:5-7989:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8008:5-8008:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8009:5-8009:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8029:5-8031:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8046:5-8049:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8123:5-8139:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8472:9-8472: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 __atomic_exchange_n
[Info][Witness] cannot unassume entry of type violation_sequence
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_harness_negated.i:253:1-256:1)
[Warning][Deadcode] Function 'nondet_bool' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:261:1-261:56)
[Warning][Deadcode] Function 'nondet_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_harness_negated.i:1131:1-1135:1)
[Warning][Deadcode] Function 'aws_raise_error' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:1988:1-1999:1)
[Warning][Deadcode] Function 'aws_is_mem_zeroed' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_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_byte_buf_from_empty_array_harness_negated.i:2976:1-2984:1)
[Warning][Deadcode] Function 'aws_array_list_front' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:2986:1-3001:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3003:1-3014: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_byte_buf_from_empty_array_harness_negated.i:3016:1-3036:1)
[Warning][Deadcode] Function 'aws_array_list_erase' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3038:1-3067:1)
[Warning][Deadcode] Function 'aws_array_list_back' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3069:1-3085:1)
[Warning][Deadcode] Function 'aws_array_list_pop_back' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3087:1-3104:1)
[Warning][Deadcode] Function 'aws_array_list_clear' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3106:1-3116:1)
[Warning][Deadcode] Function 'aws_array_list_swap_contents' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3118:1-3134:1)
[Warning][Deadcode] Function 'aws_array_list_capacity' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3136:1-3143:1)
[Warning][Deadcode] Function 'aws_array_list_length' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3145:1-3156:1)
[Warning][Deadcode] Function 'aws_array_list_get_at' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3158:1-3171: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_byte_buf_from_empty_array_harness_negated.i:3173:1-3186:1)
[Warning][Deadcode] Function 'aws_array_list_sort' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3188:1-3195:1)
[Warning][Deadcode] Function 'aws_is_big_endian' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3896:1-3899:1)
[Warning][Deadcode] Function 'aws_hton64' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3904:1-3919:1)
[Warning][Deadcode] Function 'aws_ntoh64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3924:1-3926:1)
[Warning][Deadcode] Function 'aws_hton32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3931:1-3937:1)
[Warning][Deadcode] Function 'aws_htonf32' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3942:1-3958:1)
[Warning][Deadcode] Function 'aws_htonf64' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3963:1-3983:1)
[Warning][Deadcode] Function 'aws_ntoh32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3988:1-3994:1)
[Warning][Deadcode] Function 'aws_ntohf32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:3999:1-4001:1)
[Warning][Deadcode] Function 'aws_ntohf64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4006:1-4008:1)
[Warning][Deadcode] Function 'aws_hton24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4013:1-4020:1)
[Warning][Deadcode] Function 'aws_ntoh24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4025:1-4032:1)
[Warning][Deadcode] Function 'aws_hton16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4037:1-4043:1)
[Warning][Deadcode] Function 'aws_ntoh16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4048:1-4054:1)
[Warning][Deadcode] Function 'aws_linked_list_node_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4625:1-4631:1)
[Warning][Deadcode] Function 'aws_linked_list_empty' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4632:1-4637:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4642:1-4661: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_byte_buf_from_empty_array_harness_negated.i:4668:1-4672: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_byte_buf_from_empty_array_harness_negated.i:4679:1-4683: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_byte_buf_from_empty_array_harness_negated.i:4684:1-4718:1)
[Warning][Deadcode] Function 'aws_linked_list_init' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4723:1-4735:1)
[Warning][Deadcode] Function 'aws_linked_list_begin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4740:1-4746:1)
[Warning][Deadcode] Function 'aws_linked_list_end' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4751:1-4757:1)
[Warning][Deadcode] Function 'aws_linked_list_rbegin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4764:1-4770:1)
[Warning][Deadcode] Function 'aws_linked_list_rend' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4776:1-4782:1)
[Warning][Deadcode] Function 'aws_linked_list_next' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4787:1-4794:1)
[Warning][Deadcode] Function 'aws_linked_list_prev' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4799:1-4806:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_after' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4811:1-4826:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_nodes' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4831:1-4857:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_before' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4862:1-4877:1)
[Warning][Deadcode] Function 'aws_linked_list_remove' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4883:1-4890:1)
[Warning][Deadcode] Function 'aws_linked_list_push_back' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4895:1-4903:1)
[Warning][Deadcode] Function 'aws_linked_list_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4908:1-4916:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4921:1-4929:1)
[Warning][Deadcode] Function 'aws_linked_list_push_front' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4934:1-4942:1)
[Warning][Deadcode] Function 'aws_linked_list_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4947:1-4955:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4960:1-4968:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_contents' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:4970:1-4997:1)
[Warning][Deadcode] Function 'aws_atomic_load_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5602:1-5605:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5610:1-5613:1)
[Warning][Deadcode] Function 'aws_atomic_store_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5618:1-5621:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5626:1-5629:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5635:1-5638:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5644:1-5647:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5654:1-5660:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5667:1-5673:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5679:1-5682:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5688:1-5691:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5697:1-5700:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5706:1-5709:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5715:1-5718:1)
[Warning][Deadcode] Function 'aws_atomic_priv_xlate_order' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5733:1-5748:1)
[Warning][Deadcode] Function 'aws_atomic_init_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5754:1-5757:1)
[Warning][Deadcode] Function 'aws_atomic_init_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5763:1-5766:1)
[Warning][Deadcode] Function 'aws_atomic_load_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5771:1-5774:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5779:1-5782:1)
[Warning][Deadcode] Function 'aws_atomic_store_int_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5787:1-5790:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5795:1-5798:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5804:1-5810:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5816:1-5822: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_byte_buf_from_empty_array_harness_negated.i:5829:1-5847: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_byte_buf_from_empty_array_harness_negated.i:5854:1-5872:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5877:1-5880:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5885:1-5888:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5893:1-5896:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5901:1-5904:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5909:1-5912:1)
[Warning][Deadcode] Function 'aws_atomic_thread_fence' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:5918:1-5921:1)
[Warning][Deadcode] Function 'aws_ring_buffer_check_atomic_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6027:1-6033:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_empty' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6038:1-6044:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_valid' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6050:1-6069:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6230:1-6234:1)
[Warning][Deadcode] Function 'aws_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6240:1-6245:1)
[Warning][Deadcode] Function 'aws_c_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6250:1-6260:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6586:1-6589:1)
[Warning][Deadcode] Function 'aws_byte_buf_has_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6592:1-6595: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_byte_buf_from_empty_array_harness_negated.i:6597:1-6602: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_byte_buf_from_empty_array_harness_negated.i:6604:1-6614: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_byte_buf_from_empty_array_harness_negated.i:6619:1-6628: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_byte_buf_from_empty_array_harness_negated.i:6633:1-6652:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6655:1-6658: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_byte_buf_from_empty_array_harness_negated.i:6660:1-6664:1)
[Warning][Deadcode] Function 'aws_array_list_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6667:1-6679: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_byte_buf_from_empty_array_harness_negated.i:6681:1-6693:1)
[Warning][Deadcode] Function 'ensure_linked_list_is_allocated' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6695:1-6719:1)
[Warning][Deadcode] Function 'aws_priority_queue_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6722:1-6740: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_byte_buf_from_empty_array_harness_negated.i:6742:1-6746: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_byte_buf_from_empty_array_harness_negated.i:6748:1-6755: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_byte_buf_from_empty_array_harness_negated.i:6758:1-6761: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_byte_buf_from_empty_array_harness_negated.i:6764:1-6771:1)
[Warning][Deadcode] Function 'hash_proof_destroy_noop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6779:1-6779: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_byte_buf_from_empty_array_harness_negated.i:6781:1-6786: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_byte_buf_from_empty_array_harness_negated.i:6788:1-6792:1)
[Warning][Deadcode] Function 'ensure_string_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6794:1-6804:1)
[Warning][Deadcode] Function 'ensure_c_str_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6806:1-6815:1)
[Warning][Deadcode] Function 's_can_fail_calloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6822:1-6825:1)
[Warning][Deadcode] Function 's_can_fail_malloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6831:1-6834:1)
[Warning][Deadcode] Function 's_can_fail_free_allocator' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6839:1-6842:1)
[Warning][Deadcode] Function 's_can_fail_realloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6848:1-6852:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6861:1-6868:1)
[Warning][Deadcode] Function 'can_fail_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6877:1-6879:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6881:1-6885:1)
[Warning][Deadcode] Function 'can_fail_malloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6887:1-6891:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6892:1-6909:1)
[Warning][Deadcode] Function 'aws_allocator_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6911:1-6914:1)
[Warning][Deadcode] Function 'aws_mem_acquire' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6916:1-6926:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6928:1-6948:1)
[Warning][Deadcode] Function 'aws_mem_acquire_many' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:6952:1-7045:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7049:1-7062:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7064:1-7086:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7087:1-7100:1)
[Warning][Deadcode] Function 'assert_all_bytes_are' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7102:1-7110:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7112:1-7114:1)
[Warning][Deadcode] Function 'assert_byte_from_buffer_matches' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7116:1-7120:1)
[Warning][Deadcode] Function 'save_byte_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7122:1-7128:1)
[Warning][Deadcode] Function 'assert_array_list_equivalence' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7130:1-7147:1)
[Warning][Deadcode] Function 'assert_byte_buf_equivalence' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7149:1-7165:1)
[Warning][Deadcode] Function 'assert_byte_cursor_equivalence' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7167:1-7178:1)
[Warning][Deadcode] Function 'assert_ring_buffer_equivalence' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7180:1-7192:1)
[Warning][Deadcode] Function 'check_hash_table_unchanged' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7194:1-7198:1)
[Warning][Deadcode] Function 'nondet_compare' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7200:1-7204:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7207:1-7220:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7223:1-7228:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7239:1-7253:1)
[Warning][Deadcode] Function 'uninterpreted_equals_assert_inputs_nonnull' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7256:1-7261:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7263:1-7266:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7271:1-7274:1)
[Warning][Deadcode] Function 'aws_raise_error_private' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7285:1-7287:1)
[Warning][Deadcode] Function 'aws_last_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7292:1-7294:1)
[Warning][Deadcode] Function 'aws_byte_buf_init' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7296:1-7314:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7316:1-7340:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7352:1-7356:1)
[Warning][Deadcode] Function 'aws_byte_buf_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7358:1-7365:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7367:1-7380:1)
[Warning][Deadcode] Function 'aws_byte_buf_secure_zero' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7382:1-7389:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up_secure' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7391:1-7396:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7399:1-7409:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7412:1-7422:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_c_str' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7425:1-7436:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_c_str_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7439:1-7450:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy_from_cursor' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7452:1-7479:1)
[Warning][Deadcode] Function 'aws_byte_cursor_next_split' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7482:1-7545:1)
[Warning][Deadcode] Function 'aws_byte_buf_cat' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7547:1-7587:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7590:1-7600:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7603:1-7613:1)
[Warning][Deadcode] Function 'aws_lookup_table_to_lower_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7630:1-7632:1)
[Warning][Deadcode] Function 'aws_array_eq_ignore_case' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7635:1-7665:1)
[Warning][Deadcode] Function 'aws_array_eq' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7668:1-7688:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7691:1-7724:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7727:1-7760:1)
[Warning][Deadcode] Function 'aws_hash_array_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7762:1-7782:1)
[Warning][Deadcode] Function 'aws_hash_byte_cursor_ptr_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7784:1-7790:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_byte_buf' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7793:1-7803:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_byte_buf_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7806:1-7818:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_c_str' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7821:1-7832:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_c_str_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7835:1-7846:1)
[Warning][Deadcode] Function 'aws_byte_buf_append' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7848:1-7869:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_with_lookup' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7871:1-7897:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_dynamic' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7899:1-7985:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7987:1-8005:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve_relative' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8007:1-8018:1)
[Warning][Deadcode] Function 'aws_byte_cursor_right_trim_pred' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8020:1-8035:1)
[Warning][Deadcode] Function 'aws_byte_cursor_left_trim_pred' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8037:1-8053:1)
[Warning][Deadcode] Function 'aws_byte_cursor_trim_pred' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8055:1-8067:1)
[Warning][Deadcode] Function 'aws_byte_cursor_satisfies_pred' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8070:1-8078:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lexical' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8080:1-8108:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lookup' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8110:1-8152:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_c_str' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8157:1-8169:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_array' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8171:1-8184:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_buf' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8202:1-8209:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_c_str' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8211:1-8217:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8219:1-8226:1)
[Warning][Deadcode] Function 'aws_nospec_mask' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8236:1-8258:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8260:1-8282:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance_nospec' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8283:1-8322:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8324:1-8342:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_and_fill_buffer' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8344:1-8363:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_u8' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8365:1-8373:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be16' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8375:1-8389:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8391:1-8405:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_float_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8407:1-8421:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_float_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8423:1-8437:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8439:1-8453:1)
[Warning][Deadcode] Function 'aws_byte_buf_advance' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8455:1-8479:1)
[Warning][Deadcode] Function 'aws_byte_buf_write' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8481:1-8504:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_from_whole_buffer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8506:1-8511:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_from_whole_cursor' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8513:1-8518:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_u8' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8520:1-8524:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be16' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8526:1-8531:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8533:1-8538:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_float_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8540:1-8545:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8547:1-8552:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_float_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8554:1-8559:1)
[Warning][Deadcode] Function 'aws_secure_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8718:1-8735: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_byte_buf_from_empty_array_harness_negated.i:8917:1-8926:1)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function 'aws_byte_buf_from_empty_array_harness' has dead code:
  on lines 8936..8939 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8936-8939)
  on line 8941 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8941-8941)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 29
  dead: 1303 (1298 in uncalled functions)
  total lines: 1332
[Warning][Deadcode][CWE-571] condition 'bytes' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:8187:5-8188:110)
[Warning][Deadcode][CWE-571] condition 'buf' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7345:12-7348:113)
[Warning][Deadcode][CWE-571] condition 'buf->len == 0UL' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7345:12-7348:113)
[Warning][Deadcode][CWE-571] condition 'buf->len <= buf->capacity' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7345:12-7348:113)
[Warning][Deadcode][CWE-571] condition 'buf->len == 0UL' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_buf_from_empty_array_harness_negated.i:7345:12-7348:113)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 0
SV-COMP result: unknown
[Error][Imprecise][Unsound] Function definition missing
