./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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_harness_negated.i:6975:5-6994:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7015:9-7036:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7306:5-7306:83 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7664:5-7664:112 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7667:9-7667:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7679:9-7679:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7777:5-7777:116 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7779:5-7779:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7822:9-7822:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7835:9-7835:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7878:5-7897:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:5-7979:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8027:5-8040:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8063:5-8076:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8091:5-8099:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8205:5-8207:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8221:5-8221:99 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8307:5-8307:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8308:5-8308:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8327:5-8327:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8328:5-8328:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8348:5-8350:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8365:5-8368:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8442:5-8458:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8791:9-8791: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] couldn't parse entry: find uuid
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7960:5-7961:118)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7960:5-7961:118)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7960:5-7961:118)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7960:5-7961:118)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:212:1-212:1)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:212:1-212:1)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7962:5-7963:118)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7962:5-7963:118)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7962:5-7963:118)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7962:5-7963:118)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7967:15-7968:20)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7967:15-7968:20)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7971:19-7971:37)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7971:19-7971:37)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7972:19-7972:37)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7972:19-7972:37)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7976:19-7977:24)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:17-7973:22)
[Warning][Unknown] lval (& a)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7982:11-7983:15)
[Warning][Unknown] lval (& b)->bytes points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7982:11-7983:15)
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_harness_negated.i:6231:1-6235:1)
[Warning][Deadcode] Function 'aws_c_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6251:1-6261:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_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_string_eq_ignore_case_harness_negated.i:6743:1-6747: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_string_eq_ignore_case_harness_negated.i:6749:1-6756: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_string_eq_ignore_case_harness_negated.i:6759:1-6762: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_string_eq_ignore_case_harness_negated.i:6765:1-6772:1)
[Warning][Deadcode] Function 'hash_proof_destroy_noop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6780:1-6780: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_string_eq_ignore_case_harness_negated.i:6782:1-6787:1)
[Warning][Deadcode] Function 'ensure_c_str_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6807:1-6816:1)
[Warning][Deadcode] Function 's_can_fail_calloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6823:1-6826:1)
[Warning][Deadcode] Function 's_can_fail_malloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6832:1-6835:1)
[Warning][Deadcode] Function 's_can_fail_free_allocator' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6840:1-6843:1)
[Warning][Deadcode] Function 's_can_fail_realloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6849:1-6853:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6862:1-6869:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6882:1-6886:1)
[Warning][Deadcode] Function 'can_fail_malloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6888:1-6892:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6893:1-6910:1)
[Warning][Deadcode] Function 'aws_allocator_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6912:1-6915:1)
[Warning][Deadcode] Function 'aws_mem_acquire' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6917:1-6927:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6929:1-6949:1)
[Warning][Deadcode] Function 'aws_mem_acquire_many' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:6953:1-7046:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7050:1-7063:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7065:1-7087:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7088:1-7101:1)
[Warning][Deadcode] Function 'assert_all_bytes_are' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7103:1-7111:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7113:1-7115:1)
[Warning][Deadcode] Function 'assert_byte_from_buffer_matches' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7117:1-7121:1)
[Warning][Deadcode] Function 'save_byte_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7123:1-7129:1)
[Warning][Deadcode] Function 'assert_array_list_equivalence' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7131:1-7148:1)
[Warning][Deadcode] Function 'assert_byte_buf_equivalence' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7150:1-7166:1)
[Warning][Deadcode] Function 'assert_byte_cursor_equivalence' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7168:1-7179:1)
[Warning][Deadcode] Function 'assert_ring_buffer_equivalence' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7181:1-7193:1)
[Warning][Deadcode] Function 'check_hash_table_unchanged' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7195:1-7199:1)
[Warning][Deadcode] Function 'nondet_compare' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7201:1-7205:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7208:1-7221:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7224:1-7229:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7240:1-7254:1)
[Warning][Deadcode] Function 'uninterpreted_equals_assert_inputs_nonnull' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7257:1-7262:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7264:1-7267:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7272:1-7275: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_string_eq_ignore_case_harness_negated.i:7280:1-7283:1)
[Warning][Deadcode] Function 'aws_string_new_from_array' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7285:1-7307:1)
[Warning][Deadcode] Function 'aws_string_new_from_string' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7309:1-7312:1)
[Warning][Deadcode] Function 'aws_string_destroy' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7314:1-7319:1)
[Warning][Deadcode] Function 'aws_string_compare' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7321:1-7355:1)
[Warning][Deadcode] Function 'aws_array_list_comparator_string' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7357:1-7374:1)
[Warning][Deadcode] Function 'aws_string_eq' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7380:1-7399:1)
[Warning][Deadcode] Function 'aws_string_eq_byte_cursor' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7430:1-7453: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_string_eq_ignore_case_harness_negated.i:7460:1-7483:1)
[Warning][Deadcode] Function 'aws_string_eq_byte_buf' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7489:1-7512: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_string_eq_ignore_case_harness_negated.i:7519:1-7542:1)
[Warning][Deadcode] Function 'aws_string_eq_c_str' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7545:1-7567: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_string_eq_ignore_case_harness_negated.i:7573:1-7595: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_string_eq_ignore_case_harness_negated.i:7598:1-7614:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_string' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7619:1-7622:1)
[Warning][Deadcode] Function 'aws_string_clone_or_reuse' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7624:1-7639:1)
[Warning][Deadcode] Function 'aws_byte_buf_init' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7641:1-7659:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7661:1-7685:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7688:1-7694:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7697:1-7701:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7703:1-7716:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7718:1-7728: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_string_eq_ignore_case_harness_negated.i:7731:1-7741: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_string_eq_ignore_case_harness_negated.i:7744:1-7755: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_string_eq_ignore_case_harness_negated.i:7758:1-7769: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_string_eq_ignore_case_harness_negated.i:7771:1-7798:1)
[Warning][Deadcode] Function 'aws_byte_cursor_next_split' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7801:1-7864:1)
[Warning][Deadcode] Function 'aws_byte_buf_cat' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7866:1-7906:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7909:1-7919: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_string_eq_ignore_case_harness_negated.i:7922:1-7932: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_string_eq_ignore_case_harness_negated.i:7949:1-7951:1)
[Warning][Deadcode] Function 'aws_array_eq' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7987:1-8007: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_string_eq_ignore_case_harness_negated.i:8010:1-8043:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8046:1-8079:1)
[Warning][Deadcode] Function 'aws_hash_array_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8081:1-8101: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_string_eq_ignore_case_harness_negated.i:8103:1-8109: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_string_eq_ignore_case_harness_negated.i:8112:1-8122: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_string_eq_ignore_case_harness_negated.i:8125:1-8137: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_string_eq_ignore_case_harness_negated.i:8140:1-8151: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_string_eq_ignore_case_harness_negated.i:8154:1-8165:1)
[Warning][Deadcode] Function 'aws_byte_buf_append' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8167:1-8188: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_string_eq_ignore_case_harness_negated.i:8190:1-8216:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_dynamic' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8218:1-8304:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8306:1-8324:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve_relative' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8326:1-8337: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_string_eq_ignore_case_harness_negated.i:8339:1-8354: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_string_eq_ignore_case_harness_negated.i:8356:1-8372:1)
[Warning][Deadcode] Function 'aws_byte_cursor_trim_pred' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8374:1-8386:1)
[Warning][Deadcode] Function 'aws_byte_cursor_satisfies_pred' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8389:1-8397:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lexical' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8399:1-8427:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lookup' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8429:1-8471: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_string_eq_ignore_case_harness_negated.i:8476:1-8488:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_array' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8490:1-8503: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_string_eq_ignore_case_harness_negated.i:8505:1-8519:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_buf' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8521:1-8528: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_string_eq_ignore_case_harness_negated.i:8530:1-8536:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8538:1-8545:1)
[Warning][Deadcode] Function 'aws_nospec_mask' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8555:1-8577:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8579:1-8601:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance_nospec' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8602:1-8641:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8643:1-8661: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_string_eq_ignore_case_harness_negated.i:8663:1-8682:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_u8' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8684:1-8692:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be16' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8694:1-8708:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8710:1-8724: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_string_eq_ignore_case_harness_negated.i:8726:1-8740: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_string_eq_ignore_case_harness_negated.i:8742:1-8756:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8758:1-8772:1)
[Warning][Deadcode] Function 'aws_byte_buf_advance' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8774:1-8798:1)
[Warning][Deadcode] Function 'aws_byte_buf_write' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8800:1-8823: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_string_eq_ignore_case_harness_negated.i:8825:1-8830: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_string_eq_ignore_case_harness_negated.i:8832:1-8837:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_u8' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8839:1-8843:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be16' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8845:1-8850:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8852:1-8857: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_string_eq_ignore_case_harness_negated.i:8859:1-8864:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8866:1-8871: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_string_eq_ignore_case_harness_negated.i:8873:1-8878:1)
[Warning][Deadcode] Function '__VERIFIER_assert' has dead code:
  on line 224 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:224-224)
[Warning][Deadcode] Function 'aws_string_eq_ignore_case_harness' has dead code:
  on lines 8889..8890 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8889-8890)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 53
  dead: 1376 (1373 in uncalled functions)
  total lines: 1429
[Warning][Deadcode][CWE-571] condition 'str' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_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_string_eq_ignore_case_harness_negated.i:6245:12-6245:95)
[Warning][Deadcode][CWE-571] condition 'tmp' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7407:5-7407:56)
[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_string_eq_ignore_case_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_string_eq_ignore_case_harness_negated.i:6245:12-6245:95)
[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_string_eq_ignore_case_harness_negated.i:7408:5-7408:56)
[Warning][Deadcode][CWE-571] condition 'tmp___10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:8888:9-8888:57)
[Warning][Deadcode][CWE-571] condition '! cond' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:223:8-223:13)
[Warning][Deadcode][CWE-570] condition 'len_a == 0UL' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7960:5-7961:118)
[Warning][Deadcode][CWE-571] condition 'array_a' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7960:5-7961:118)
[Warning][Deadcode][CWE-570] condition 'i < (size_t )len_a' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7973:9-7973:38)
[Warning][Deadcode][CWE-570] condition 'len_b == 0UL' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7962:5-7963:118)
[Warning][Deadcode][CWE-571] condition 'array_b' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_string_eq_ignore_case_harness_negated.i:7962:5-7963:118)
[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
