./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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10607: Warning: Body of function aws_hash_iter_begin falls-through and cannot find an appropriate return value
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2338:5-2344:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2877:5-2877:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2984:5-2984:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4630:5-4630:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4704:5-4717:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6709:5-6716:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6987:5-7006:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7027:9-7048:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7331:5-7331:112 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_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_hash_callback_string_eq_harness_negated.i:7346:9-7346:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7444:5-7444:116 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7446:5-7446:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7489:9-7489:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7502:9-7502:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7545:5-7564:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7640:5-7646:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7694:5-7707:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7730:5-7743:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7758:5-7766:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7872:5-7874:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7888:5-7888:99 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7974:5-7974:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7975:5-7975:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7994:5-7994:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7995:5-7995:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8015:5-8017:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8032:5-8035:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8109:5-8125:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8458:9-8458:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9429:3-9437:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9465:3-9473:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9501:5-9509:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9534:5-9542:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9640:5-9648:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9674:5-9682:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9775:5-9783:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9881:5-9881:79 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9920:5-9920:92 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9926:5-9926:112 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10026:5-10026:87 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10073:5-10073:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10129:5-10163:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10192:5-10192:87 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10201:9-10203:21 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10212:5-10240:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10242:5-10245:86 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10266:5-10272:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10399:5-10418:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10421:5-10421:85 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10422:5-10422:117 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10456:9-10456:91 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10473:5-10473:87 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10493:5-10493:87 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10501:5-10513:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10531:9-10533:21 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10555:13-10557:25 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10561:13-10563:25 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10566:5-10568:17 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10578:5-10587:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10603:5-10603:55 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10607:5-10611:91 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10694:9-10705:9 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10733:5-10733:103 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10743:5-10743:108 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10765:5-10765:112 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10776:5-10776:112 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10948:5-10948:83 with factor 5
[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] couldn't parse entry: find uuid
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_harness_negated.i:262:1-262:52)
[Warning][Deadcode] Function 'nondet_size_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:263:1-263:67)
[Warning][Deadcode] Function 'nondet_uint16_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_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_hash_callback_string_eq_harness_negated.i:265:1-265:63)
[Warning][Deadcode] Function 'nondet_uint8_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_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_hash_callback_string_eq_harness_negated.i:1131:1-1135:1)
[Warning][Deadcode] Function 'aws_raise_error_private' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:1934:1-1935:1)
[Warning][Deadcode] Function 'aws_raise_error' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:1989:1-2000:1)
[Warning][Deadcode] Function 'aws_is_mem_zeroed' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2332:1-2349:1)
[Warning][Deadcode] Function 'aws_mul_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2486:1-2492:1)
[Warning][Deadcode] Function 'aws_mul_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2498:1-2503:1)
[Warning][Deadcode] Function 'aws_mul_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2508:1-2514:1)
[Warning][Deadcode] Function 'aws_mul_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2520:1-2525:1)
[Warning][Deadcode] Function 'aws_add_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2530:1-2536:1)
[Warning][Deadcode] Function 'aws_add_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2542:1-2547:1)
[Warning][Deadcode] Function 'aws_add_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2552:1-2558:1)
[Warning][Deadcode] Function 'aws_add_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2564:1-2569:1)
[Warning][Deadcode] Function 'aws_mul_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2573:1-2581:1)
[Warning][Deadcode] Function 'aws_mul_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2587:1-2595:1)
[Warning][Deadcode] Function 'aws_add_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2600:1-2608:1)
[Warning][Deadcode] Function 'aws_add_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2614:1-2622:1)
[Warning][Deadcode] Function 'aws_is_power_of_two' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2627:1-2632: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_hash_callback_string_eq_harness_negated.i:2638:1-2659:1)
[Warning][Deadcode] Function 'aws_array_list_init_dynamic' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2862:1-2905:1)
[Warning][Deadcode] Function 'aws_array_list_init_static' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2907:1-2934:1)
[Warning][Deadcode] Function 'aws_array_list_is_valid' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2936:1-2963:1)
[Warning][Deadcode] Function 'aws_array_list_debug_print' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2965:1-2975:1)
[Warning][Deadcode] Function 'aws_array_list_clean_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2977:1-2985:1)
[Warning][Deadcode] Function 'aws_array_list_front' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:2987:1-3002:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3004:1-3015: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_hash_callback_string_eq_harness_negated.i:3017:1-3037:1)
[Warning][Deadcode] Function 'aws_array_list_erase' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3039:1-3068:1)
[Warning][Deadcode] Function 'aws_array_list_back' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3070:1-3086:1)
[Warning][Deadcode] Function 'aws_array_list_pop_back' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3088:1-3105:1)
[Warning][Deadcode] Function 'aws_array_list_clear' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3107:1-3117:1)
[Warning][Deadcode] Function 'aws_array_list_swap_contents' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3119:1-3135:1)
[Warning][Deadcode] Function 'aws_array_list_capacity' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3137:1-3144:1)
[Warning][Deadcode] Function 'aws_array_list_length' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3146:1-3157:1)
[Warning][Deadcode] Function 'aws_array_list_get_at' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3159:1-3172: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_hash_callback_string_eq_harness_negated.i:3174:1-3187:1)
[Warning][Deadcode] Function 'aws_array_list_sort' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3189:1-3196:1)
[Warning][Deadcode] Function 'aws_is_big_endian' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3897:1-3900:1)
[Warning][Deadcode] Function 'aws_hton64' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3905:1-3920:1)
[Warning][Deadcode] Function 'aws_ntoh64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3925:1-3927:1)
[Warning][Deadcode] Function 'aws_hton32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3932:1-3938:1)
[Warning][Deadcode] Function 'aws_htonf32' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3943:1-3959:1)
[Warning][Deadcode] Function 'aws_htonf64' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3964:1-3984:1)
[Warning][Deadcode] Function 'aws_ntoh32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:3989:1-3995:1)
[Warning][Deadcode] Function 'aws_ntohf32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4000:1-4002:1)
[Warning][Deadcode] Function 'aws_ntohf64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4007:1-4009:1)
[Warning][Deadcode] Function 'aws_hton24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4014:1-4021:1)
[Warning][Deadcode] Function 'aws_ntoh24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4026:1-4033:1)
[Warning][Deadcode] Function 'aws_hton16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4038:1-4044:1)
[Warning][Deadcode] Function 'aws_ntoh16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4049:1-4055:1)
[Warning][Deadcode] Function 'aws_linked_list_node_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4626:1-4632:1)
[Warning][Deadcode] Function 'aws_linked_list_empty' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4633:1-4638:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4643:1-4662: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_hash_callback_string_eq_harness_negated.i:4669:1-4673: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_hash_callback_string_eq_harness_negated.i:4680:1-4684: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_hash_callback_string_eq_harness_negated.i:4685:1-4719:1)
[Warning][Deadcode] Function 'aws_linked_list_init' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4724:1-4736:1)
[Warning][Deadcode] Function 'aws_linked_list_begin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4741:1-4747:1)
[Warning][Deadcode] Function 'aws_linked_list_end' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4752:1-4758:1)
[Warning][Deadcode] Function 'aws_linked_list_rbegin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4765:1-4771:1)
[Warning][Deadcode] Function 'aws_linked_list_rend' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4777:1-4783:1)
[Warning][Deadcode] Function 'aws_linked_list_next' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4788:1-4795:1)
[Warning][Deadcode] Function 'aws_linked_list_prev' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4800:1-4807:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_after' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4812:1-4827:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_nodes' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4832:1-4858:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_before' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4863:1-4878:1)
[Warning][Deadcode] Function 'aws_linked_list_remove' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4884:1-4891:1)
[Warning][Deadcode] Function 'aws_linked_list_push_back' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4896:1-4904:1)
[Warning][Deadcode] Function 'aws_linked_list_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4909:1-4917:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4922:1-4930:1)
[Warning][Deadcode] Function 'aws_linked_list_push_front' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4935:1-4943:1)
[Warning][Deadcode] Function 'aws_linked_list_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4948:1-4956:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4961:1-4969:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_contents' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:4971:1-4998:1)
[Warning][Deadcode] Function 'aws_atomic_load_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5603:1-5606:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5611:1-5614:1)
[Warning][Deadcode] Function 'aws_atomic_store_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5619:1-5622:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5627:1-5630:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5636:1-5639:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5645:1-5648:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5655:1-5661:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5668:1-5674:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5680:1-5683:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5689:1-5692:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5698:1-5701:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5707:1-5710:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5716:1-5719:1)
[Warning][Deadcode] Function 'aws_atomic_priv_xlate_order' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5734:1-5749:1)
[Warning][Deadcode] Function 'aws_atomic_init_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5755:1-5758:1)
[Warning][Deadcode] Function 'aws_atomic_init_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5764:1-5767:1)
[Warning][Deadcode] Function 'aws_atomic_load_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5772:1-5775:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5780:1-5783:1)
[Warning][Deadcode] Function 'aws_atomic_store_int_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5788:1-5791:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5796:1-5799:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5805:1-5811:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5817:1-5823: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_hash_callback_string_eq_harness_negated.i:5830:1-5848: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_hash_callback_string_eq_harness_negated.i:5855:1-5873:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5878:1-5881:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5886:1-5889:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5894:1-5897:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5902:1-5905:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5910:1-5913:1)
[Warning][Deadcode] Function 'aws_atomic_thread_fence' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:5919:1-5922: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_hash_callback_string_eq_harness_negated.i:6028:1-6034:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_empty' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6039:1-6045:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_valid' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6051:1-6070:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6231:1-6235:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6587:1-6590:1)
[Warning][Deadcode] Function 'aws_byte_buf_has_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6593:1-6596: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_hash_callback_string_eq_harness_negated.i:6598:1-6603: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_hash_callback_string_eq_harness_negated.i:6605:1-6615: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_hash_callback_string_eq_harness_negated.i:6620:1-6629: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_hash_callback_string_eq_harness_negated.i:6634:1-6653:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6656:1-6659: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_hash_callback_string_eq_harness_negated.i:6661:1-6665:1)
[Warning][Deadcode] Function 'aws_array_list_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6668:1-6680: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_hash_callback_string_eq_harness_negated.i:6682:1-6694:1)
[Warning][Deadcode] Function 'ensure_linked_list_is_allocated' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6696:1-6720:1)
[Warning][Deadcode] Function 'aws_priority_queue_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6723:1-6741: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_hash_callback_string_eq_harness_negated.i:6743:1-6747:1)
[Warning][Deadcode] Function 'ensure_allocated_hash_table' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6749:1-6759: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_hash_callback_string_eq_harness_negated.i:6761:1-6768: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_hash_callback_string_eq_harness_negated.i:6771:1-6774: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_hash_callback_string_eq_harness_negated.i:6777:1-6784:1)
[Warning][Deadcode] Function 'hash_proof_destroy_noop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6792:1-6792: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_hash_callback_string_eq_harness_negated.i:6794:1-6799:1)
[Warning][Deadcode] Function 'ensure_c_str_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6819:1-6828:1)
[Warning][Deadcode] Function 's_can_fail_calloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6835:1-6838:1)
[Warning][Deadcode] Function 's_can_fail_malloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6844:1-6847:1)
[Warning][Deadcode] Function 's_can_fail_free_allocator' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6852:1-6855:1)
[Warning][Deadcode] Function 's_can_fail_realloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6861:1-6865:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6874:1-6881:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6894:1-6898:1)
[Warning][Deadcode] Function 'can_fail_malloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6900:1-6904:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6905:1-6922:1)
[Warning][Deadcode] Function 'aws_allocator_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6924:1-6927:1)
[Warning][Deadcode] Function 'aws_mem_acquire' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6929:1-6939:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6941:1-6961:1)
[Warning][Deadcode] Function 'aws_mem_acquire_many' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6965:1-7058:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7062:1-7075:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7077:1-7099:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7100:1-7113:1)
[Warning][Deadcode] Function 'assert_all_bytes_are' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7115:1-7123:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7125:1-7127:1)
[Warning][Deadcode] Function 'assert_byte_from_buffer_matches' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7129:1-7133:1)
[Warning][Deadcode] Function 'save_byte_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7135:1-7141:1)
[Warning][Deadcode] Function 'assert_array_list_equivalence' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7143:1-7160:1)
[Warning][Deadcode] Function 'assert_byte_buf_equivalence' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7162:1-7178:1)
[Warning][Deadcode] Function 'assert_byte_cursor_equivalence' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7180:1-7191:1)
[Warning][Deadcode] Function 'assert_ring_buffer_equivalence' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7193:1-7205:1)
[Warning][Deadcode] Function 'save_byte_from_hash_table' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7207:1-7212:1)
[Warning][Deadcode] Function 'check_hash_table_unchanged' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7214:1-7218:1)
[Warning][Deadcode] Function 'nondet_compare' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7220:1-7224:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7227:1-7240:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7243:1-7248:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7259:1-7273:1)
[Warning][Deadcode] Function 'uninterpreted_equals_assert_inputs_nonnull' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7276:1-7281:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7283:1-7286:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7291:1-7294:1)
[Warning][Deadcode] Function 'memcmp_safe' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7302:1-7306:1)
[Warning][Deadcode] Function 'aws_byte_buf_init' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7308:1-7326:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7328:1-7352:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7355:1-7361:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7364:1-7368:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7370:1-7383:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7385:1-7395: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_hash_callback_string_eq_harness_negated.i:7398:1-7408: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_hash_callback_string_eq_harness_negated.i:7411:1-7422: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_hash_callback_string_eq_harness_negated.i:7425:1-7436: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_hash_callback_string_eq_harness_negated.i:7438:1-7465:1)
[Warning][Deadcode] Function 'aws_byte_cursor_next_split' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7468:1-7531:1)
[Warning][Deadcode] Function 'aws_byte_buf_cat' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7533:1-7573:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7576:1-7586: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_hash_callback_string_eq_harness_negated.i:7589:1-7599: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_hash_callback_string_eq_harness_negated.i:7616:1-7618:1)
[Warning][Deadcode] Function 'aws_array_eq_ignore_case' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7621:1-7651:1)
[Warning][Deadcode] Function 'aws_array_eq' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7654:1-7674: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_hash_callback_string_eq_harness_negated.i:7677:1-7710:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7713:1-7746:1)
[Warning][Deadcode] Function 'aws_hash_array_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7748:1-7768: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_hash_callback_string_eq_harness_negated.i:7770:1-7776: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_hash_callback_string_eq_harness_negated.i:7779:1-7789: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_hash_callback_string_eq_harness_negated.i:7792:1-7804: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_hash_callback_string_eq_harness_negated.i:7807:1-7818: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_hash_callback_string_eq_harness_negated.i:7821:1-7832:1)
[Warning][Deadcode] Function 'aws_byte_buf_append' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7834:1-7855: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_hash_callback_string_eq_harness_negated.i:7857:1-7883:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_dynamic' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7885:1-7971:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7973:1-7991:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve_relative' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:7993:1-8004: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_hash_callback_string_eq_harness_negated.i:8006:1-8021: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_hash_callback_string_eq_harness_negated.i:8023:1-8039:1)
[Warning][Deadcode] Function 'aws_byte_cursor_trim_pred' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8041:1-8053:1)
[Warning][Deadcode] Function 'aws_byte_cursor_satisfies_pred' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8056:1-8064:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lexical' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8066:1-8094:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lookup' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8096:1-8138: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_hash_callback_string_eq_harness_negated.i:8143:1-8155:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_array' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8157:1-8170:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_empty_array' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8172:1-8186:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_buf' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8188:1-8195: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_hash_callback_string_eq_harness_negated.i:8197:1-8203:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8205:1-8212:1)
[Warning][Deadcode] Function 'aws_nospec_mask' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8222:1-8244:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8246:1-8268:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance_nospec' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8269:1-8308:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8310:1-8328: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_hash_callback_string_eq_harness_negated.i:8330:1-8349:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_u8' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8351:1-8359:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be16' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8361:1-8375:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8377:1-8391: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_hash_callback_string_eq_harness_negated.i:8393:1-8407: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_hash_callback_string_eq_harness_negated.i:8409:1-8423:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8425:1-8439:1)
[Warning][Deadcode] Function 'aws_byte_buf_advance' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8441:1-8465:1)
[Warning][Deadcode] Function 'aws_byte_buf_write' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8467:1-8490: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_hash_callback_string_eq_harness_negated.i:8492:1-8497: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_hash_callback_string_eq_harness_negated.i:8499:1-8504:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_u8' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8506:1-8510:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be16' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8512:1-8517:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8519:1-8524: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_hash_callback_string_eq_harness_negated.i:8526:1-8531:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:8533:1-8538: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_hash_callback_string_eq_harness_negated.i:8540:1-8545:1)
[Warning][Deadcode] Function 'hashword' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9418:1-9451:1)
[Warning][Deadcode] Function 'hashword2' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9452:1-9487:1)
[Warning][Deadcode] Function 'hashlittle' is uncalled: 96 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9488:1-9621:1)
[Warning][Deadcode] Function 'hashlittle2' is uncalled: 98 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9622:1-9761:1)
[Warning][Deadcode] Function 'hashbig' is uncalled: 59 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9762:1-9849:1)
[Warning][Deadcode] Function 's_suppress_unused_lookup3_func_warnings' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9851:1-9859:1)
[Warning][Deadcode] Function 's_hash_for' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9866:1-9882:1)
[Warning][Deadcode] Function 's_safe_eq_check' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9887:1-9908:1)
[Warning][Deadcode] Function 's_hash_keys_eq' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9913:1-9921:1)
[Warning][Deadcode] Function 's_index_for' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9923:1-9927:1)
[Warning][Deadcode] Function 'aws_hash_table_get_entry_count' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9928:1-9931:1)
[Warning][Deadcode] Function 's_alloc_state' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9937:1-9956:1)
[Warning][Deadcode] Function 's_update_template_size' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9959:1-9984:1)
[Warning][Deadcode] Function 'aws_hash_table_init' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:9986:1-10027:1)
[Warning][Deadcode] Function 'aws_hash_table_clean_up' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10029:1-10053:1)
[Warning][Deadcode] Function 'aws_hash_table_swap' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10055:1-10060:1)
[Warning][Deadcode] Function 'aws_hash_table_move' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10062:1-10075:1)
[Warning][Deadcode] Function 's_find_entry' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10085:1-10110:1)
[Warning][Deadcode] Function 's_find_entry1' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10112:1-10171:1)
[Warning][Deadcode] Function 'aws_hash_table_find' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10173:1-10193:1)
[Warning][Deadcode] Function 's_emplace_item' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10194:1-10246:1)
[Warning][Deadcode] Function 's_expand_table' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10248:1-10278:1)
[Warning][Deadcode] Function 'aws_hash_table_create' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10280:1-10344:1)
[Warning][Deadcode] Function 'aws_hash_table_put' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10347:1-10379:1)
[Warning][Deadcode] Function 's_remove_entry' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10385:1-10423:1)
[Warning][Deadcode] Function 'aws_hash_table_remove' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10425:1-10474:1)
[Warning][Deadcode] Function 'aws_hash_table_remove_element' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10476:1-10494:1)
[Warning][Deadcode] Function 'aws_hash_table_foreach' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10496:1-10516:1)
[Warning][Deadcode] Function 'aws_hash_table_eq' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10519:1-10569:1)
[Warning][Deadcode] Function 's_get_next_element' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10570:1-10597:1)
[Warning][Deadcode] Function 'aws_hash_iter_begin' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10599:1-10612:1)
[Warning][Deadcode] Function 'aws_hash_iter_done' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10615:1-10638:1)
[Warning][Deadcode] Function 'aws_hash_iter_next' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10640:1-10651:1)
[Warning][Deadcode] Function 'aws_hash_iter_delete' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10653:1-10686:1)
[Warning][Deadcode] Function 'aws_hash_table_clear' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10688:1-10713:1)
[Warning][Deadcode] Function 'aws_hash_c_string' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10715:1-10724:1)
[Warning][Deadcode] Function 'aws_hash_string' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10726:1-10734:1)
[Warning][Deadcode] Function 'aws_hash_byte_cursor_ptr' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10736:1-10744:1)
[Warning][Deadcode] Function 'aws_hash_ptr' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10746:1-10755:1)
[Warning][Deadcode] Function 'aws_hash_callback_c_str_eq' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10758:1-10766:1)
[Warning][Deadcode] Function 'aws_hash_callback_string_destroy' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10779:1-10782:1)
[Warning][Deadcode] Function 'aws_ptr_eq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10785:1-10788:1)
[Warning][Deadcode] Function 'aws_hash_table_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10796:1-10799:1)
[Warning][Deadcode] Function 'hash_table_state_is_valid' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10807:1-10854:1)
[Warning][Deadcode] Function 'aws_hash_iter_is_valid' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10860:1-10901:1)
[Warning][Deadcode] Function 'hash_table_state_required_bytes' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10909:1-10921:1)
[Warning][Deadcode] Function 'aws_string_new_from_c_str' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10922:1-10925:1)
[Warning][Deadcode] Function 'aws_string_new_from_array' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10927:1-10949:1)
[Warning][Deadcode] Function 'aws_string_new_from_string' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10951:1-10954:1)
[Warning][Deadcode] Function 'aws_string_destroy' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10956:1-10961:1)
[Warning][Deadcode] Function 'aws_string_compare' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10963:1-10997:1)
[Warning][Deadcode] Function 'aws_array_list_comparator_string' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10999:1-11016:1)
[Warning][Deadcode] Function 'aws_string_eq_ignore_case' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11047:1-11066:1)
[Warning][Deadcode] Function 'aws_string_eq_byte_cursor' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11072:1-11095:1)
[Warning][Deadcode] Function 'aws_string_eq_byte_cursor_ignore_case' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11102:1-11125:1)
[Warning][Deadcode] Function 'aws_string_eq_byte_buf' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11131:1-11154:1)
[Warning][Deadcode] Function 'aws_string_eq_byte_buf_ignore_case' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11161:1-11184:1)
[Warning][Deadcode] Function 'aws_string_eq_c_str' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11187:1-11209:1)
[Warning][Deadcode] Function 'aws_string_eq_c_str_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11215:1-11237:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_from_whole_string' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11240:1-11256:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_string' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11261:1-11264:1)
[Warning][Deadcode] Function 'aws_string_clone_or_reuse' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11266:1-11281:1)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function '__VERIFIER_assert' has dead code:
  on line 224 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:224-224)
[Warning][Deadcode] Function 'aws_hash_callback_string_eq' has dead code:
  on line 10777 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10777-10777)
[Warning][Deadcode] Function 'aws_hash_callback_string_eq_harness' has dead code:
  on lines 11289..11291 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11289-11291)
  on line 11293 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11293-11293)
[Warning][Deadcode] Function 'aws_string_eq' has dead code:
  on line 11031 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11031-11031)
  on line 11037 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11037-11037)
  on line 11040 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11040-11040)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 44
  dead: 2093 (2084 in uncalled functions)
  total lines: 2137
[Warning][Deadcode][CWE-570] condition '! b' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11025:5-11025:56)
[Warning][Deadcode][CWE-571] condition 'tmp___1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11025:5-11025:56)
[Warning][Deadcode][CWE-571] condition '(unsigned long )a == (unsigned long )b' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11026:9-11026:15)
[Warning][Deadcode][CWE-571] condition 'str' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6245:12-6245:95)
[Warning][Deadcode][CWE-570] condition 'str->len + 1UL == 0UL' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6245:12-6245:95)
[Warning][Deadcode][CWE-571] condition '& str->bytes[0]' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6245:12-6245:95)
[Warning][Deadcode][CWE-571] condition '(int const   )str->bytes[str->len] == 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6245:12-6245:95)
[Warning][Deadcode][CWE-571] condition 'str' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6260:12-6260:44)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6260:12-6260:44)
[Warning][Deadcode][CWE-571] condition 'str' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:6260:12-6260:44)
[Warning][Deadcode][CWE-571] condition '! cond' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:223:8-223:13)
[Warning][Deadcode][CWE-571] condition 'tmp___2' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10776:10-10776:86)
[Warning][Deadcode][CWE-571] condition 'tmp___3' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:10776:10-10776:86)
[Warning][Deadcode][CWE-570] condition '! a' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11024:5-11024:56)
[Warning][Deadcode][CWE-571] condition 'tmp' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_hash_callback_string_eq_harness_negated.i:11024:5-11024:56)
[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
