./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_byte_cursor_trim_pred_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_byte_cursor_trim_pred_harness_negated.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2337:5-2343:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2876:5-2876:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2983:5-2983:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4629:5-4629:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4703:5-4716:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6708:5-6715:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6974:5-6993:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7014:9-7035:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7321:5-7321:112 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7324:9-7324:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7336:9-7336:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7460:5-7460:116 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7462:5-7462:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7505:9-7505:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7518:9-7518:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7561:5-7580:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7656:5-7662:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7710:5-7723:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7746:5-7759:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7774:5-7782:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7888:5-7890:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7904:5-7904:99 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7990:5-7990:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7991:5-7991:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8010:5-8010:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8011:5-8011:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:5-8033:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8048:5-8051:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8125:5-8141:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8474:9-8474: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][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7126:9-7126:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8048:12-8048:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8050:9-8050:22)
[Info][Unsound] Unknown address in {&trimmed} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8053:5-8053:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8053:5-8053:63)
[Info][Unsound] Unknown address in {&left_trimmed} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8065:28-8065:92)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8065:28-8065:92)
[Info][Unsound] Unknown address in {&left_trimmed} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8025:5-8025:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8025:5-8025:60)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8031:12-8031:74)
[Info][Unsound] Unknown address in {&left_trimmed} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8034:5-8034:61)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8034:5-8034:61)
[Info][Unsound] Unknown address in {&trimmed} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8035:5-8035:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8035:5-8035:63)
[Info][Unsound] Unknown address in {&dest} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8067:5-8067:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8067:5-8067:60)
[Info][Unsound] Unknown address in {&rv} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8947:5-8947:56)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8947:5-8947:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7118:9-7118:62)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7118:9-7118:62)
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:232:1-234:1)
[Warning][Deadcode] Function '__CPROVER_allocated_memory' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:235:1-235:80)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_hasher' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:238:1-238:84)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_equals' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:239:1-239:96)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_compare' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:240:1-240:116)
[Warning][Deadcode] Function '__CPROVER_overflow_plus' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:248:1-251:1)
[Warning][Deadcode] Function '__CPROVER_overflow_mult' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_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_byte_cursor_trim_pred_harness_negated.i:262:1-262:52)
[Warning][Deadcode] Function 'nondet_uint16_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:264:1-264:64)
[Warning][Deadcode] Function 'nondet_uint32_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:265:1-265:63)
[Warning][Deadcode] Function 'nondet_uint64_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:266:1-266:64)
[Warning][Deadcode] Function 'nondet_uint8_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:267:1-267:62)
[Warning][Deadcode] Function 'nondet_voidp' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:268:1-268:66)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:1109:1-1113:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:1114:1-1118:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:1119:1-1123:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:1125:1-1129:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:1131:1-1135:1)
[Warning][Deadcode] Function 'aws_raise_error' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:1988:1-1999:1)
[Warning][Deadcode] Function 'aws_is_mem_zeroed' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2331:1-2348:1)
[Warning][Deadcode] Function 'aws_mul_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2485:1-2491:1)
[Warning][Deadcode] Function 'aws_mul_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2497:1-2502:1)
[Warning][Deadcode] Function 'aws_mul_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2507:1-2513:1)
[Warning][Deadcode] Function 'aws_mul_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2519:1-2524:1)
[Warning][Deadcode] Function 'aws_add_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2529:1-2535:1)
[Warning][Deadcode] Function 'aws_add_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2541:1-2546:1)
[Warning][Deadcode] Function 'aws_add_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2551:1-2557:1)
[Warning][Deadcode] Function 'aws_add_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2563:1-2568:1)
[Warning][Deadcode] Function 'aws_mul_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2572:1-2580:1)
[Warning][Deadcode] Function 'aws_mul_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2586:1-2594:1)
[Warning][Deadcode] Function 'aws_add_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2599:1-2607:1)
[Warning][Deadcode] Function 'aws_add_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2613:1-2621:1)
[Warning][Deadcode] Function 'aws_is_power_of_two' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2626:1-2631:1)
[Warning][Deadcode] Function 'aws_round_up_to_power_of_two' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2637:1-2658:1)
[Warning][Deadcode] Function 'aws_array_list_init_dynamic' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2861:1-2904:1)
[Warning][Deadcode] Function 'aws_array_list_init_static' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2906:1-2933:1)
[Warning][Deadcode] Function 'aws_array_list_is_valid' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2935:1-2962:1)
[Warning][Deadcode] Function 'aws_array_list_debug_print' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2964:1-2974:1)
[Warning][Deadcode] Function 'aws_array_list_clean_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2976:1-2984:1)
[Warning][Deadcode] Function 'aws_array_list_front' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:2986:1-3001:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3003:1-3014:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front_n' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3016:1-3036:1)
[Warning][Deadcode] Function 'aws_array_list_erase' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3038:1-3067:1)
[Warning][Deadcode] Function 'aws_array_list_back' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3069:1-3085:1)
[Warning][Deadcode] Function 'aws_array_list_pop_back' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3087:1-3104:1)
[Warning][Deadcode] Function 'aws_array_list_clear' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3106:1-3116:1)
[Warning][Deadcode] Function 'aws_array_list_swap_contents' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3118:1-3134:1)
[Warning][Deadcode] Function 'aws_array_list_capacity' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3136:1-3143:1)
[Warning][Deadcode] Function 'aws_array_list_length' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3145:1-3156:1)
[Warning][Deadcode] Function 'aws_array_list_get_at' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3158:1-3171:1)
[Warning][Deadcode] Function 'aws_array_list_get_at_ptr' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3173:1-3186:1)
[Warning][Deadcode] Function 'aws_array_list_sort' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3188:1-3195:1)
[Warning][Deadcode] Function 'aws_is_big_endian' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3896:1-3899:1)
[Warning][Deadcode] Function 'aws_hton64' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3904:1-3919:1)
[Warning][Deadcode] Function 'aws_ntoh64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3924:1-3926:1)
[Warning][Deadcode] Function 'aws_hton32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3931:1-3937:1)
[Warning][Deadcode] Function 'aws_htonf32' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3942:1-3958:1)
[Warning][Deadcode] Function 'aws_htonf64' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3963:1-3983:1)
[Warning][Deadcode] Function 'aws_ntoh32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3988:1-3994:1)
[Warning][Deadcode] Function 'aws_ntohf32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:3999:1-4001:1)
[Warning][Deadcode] Function 'aws_ntohf64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4006:1-4008:1)
[Warning][Deadcode] Function 'aws_hton24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4013:1-4020:1)
[Warning][Deadcode] Function 'aws_ntoh24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4025:1-4032:1)
[Warning][Deadcode] Function 'aws_hton16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4037:1-4043:1)
[Warning][Deadcode] Function 'aws_ntoh16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4048:1-4054:1)
[Warning][Deadcode] Function 'aws_linked_list_node_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4625:1-4631:1)
[Warning][Deadcode] Function 'aws_linked_list_empty' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4632:1-4637:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4642:1-4661:1)
[Warning][Deadcode] Function 'aws_linked_list_node_next_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4668:1-4672:1)
[Warning][Deadcode] Function 'aws_linked_list_node_prev_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4679:1-4683:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid_deep' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4684:1-4718:1)
[Warning][Deadcode] Function 'aws_linked_list_init' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4723:1-4735:1)
[Warning][Deadcode] Function 'aws_linked_list_begin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4740:1-4746:1)
[Warning][Deadcode] Function 'aws_linked_list_end' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4751:1-4757:1)
[Warning][Deadcode] Function 'aws_linked_list_rbegin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4764:1-4770:1)
[Warning][Deadcode] Function 'aws_linked_list_rend' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4776:1-4782:1)
[Warning][Deadcode] Function 'aws_linked_list_next' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4787:1-4794:1)
[Warning][Deadcode] Function 'aws_linked_list_prev' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4799:1-4806:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_after' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4811:1-4826:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_nodes' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4831:1-4857:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_before' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4862:1-4877:1)
[Warning][Deadcode] Function 'aws_linked_list_remove' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4883:1-4890:1)
[Warning][Deadcode] Function 'aws_linked_list_push_back' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4895:1-4903:1)
[Warning][Deadcode] Function 'aws_linked_list_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4908:1-4916:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4921:1-4929:1)
[Warning][Deadcode] Function 'aws_linked_list_push_front' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4934:1-4942:1)
[Warning][Deadcode] Function 'aws_linked_list_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4947:1-4955:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4960:1-4968:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_contents' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:4970:1-4997:1)
[Warning][Deadcode] Function 'aws_atomic_load_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5602:1-5605:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5610:1-5613:1)
[Warning][Deadcode] Function 'aws_atomic_store_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5618:1-5621:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5626:1-5629:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5635:1-5638:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5644:1-5647:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5654:1-5660:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5667:1-5673:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5679:1-5682:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5688:1-5691:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5697:1-5700:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5706:1-5709:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5715:1-5718:1)
[Warning][Deadcode] Function 'aws_atomic_priv_xlate_order' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5733:1-5748:1)
[Warning][Deadcode] Function 'aws_atomic_init_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5754:1-5757:1)
[Warning][Deadcode] Function 'aws_atomic_init_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5763:1-5766:1)
[Warning][Deadcode] Function 'aws_atomic_load_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5771:1-5774:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5779:1-5782:1)
[Warning][Deadcode] Function 'aws_atomic_store_int_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5787:1-5790:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5795:1-5798:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5804:1-5810:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5816:1-5822:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5829:1-5847:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5854:1-5872:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5877:1-5880:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5885:1-5888:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5893:1-5896:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5901:1-5904:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5909:1-5912:1)
[Warning][Deadcode] Function 'aws_atomic_thread_fence' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:5918:1-5921:1)
[Warning][Deadcode] Function 'aws_ring_buffer_check_atomic_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6027:1-6033:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_empty' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6038:1-6044:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_valid' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6050:1-6069:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6230:1-6234:1)
[Warning][Deadcode] Function 'aws_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6240:1-6245:1)
[Warning][Deadcode] Function 'aws_c_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6250:1-6260:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6586:1-6589:1)
[Warning][Deadcode] Function 'aws_byte_buf_has_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6592:1-6595:1)
[Warning][Deadcode] Function 'ensure_byte_buf_has_allocated_buffer_member' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6597:1-6602:1)
[Warning][Deadcode] Function 'ensure_ring_buffer_has_allocated_members' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6604:1-6614:1)
[Warning][Deadcode] Function 'ensure_byte_buf_has_allocated_buffer_member_in_range' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6619:1-6628:1)
[Warning][Deadcode] Function 'ensure_byte_buf_has_allocated_buffer_member_in_ring_buf' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6633:1-6652:1)
[Warning][Deadcode] Function 'aws_array_list_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6667:1-6679:1)
[Warning][Deadcode] Function 'ensure_array_list_has_allocated_data_member' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6681:1-6693:1)
[Warning][Deadcode] Function 'ensure_linked_list_is_allocated' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6695:1-6719:1)
[Warning][Deadcode] Function 'aws_priority_queue_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6722:1-6740:1)
[Warning][Deadcode] Function 'ensure_priority_queue_has_allocated_members' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6742:1-6746:1)
[Warning][Deadcode] Function 'ensure_hash_table_has_valid_destroy_functions' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6748:1-6755:1)
[Warning][Deadcode] Function 'aws_hash_table_has_an_empty_slot' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6758:1-6761:1)
[Warning][Deadcode] Function 'hash_table_state_has_an_empty_slot' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6764:1-6771:1)
[Warning][Deadcode] Function 'hash_proof_destroy_noop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6779:1-6779:40)
[Warning][Deadcode] Function 'ensure_string_is_allocated_nondet_length' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6781:1-6786:1)
[Warning][Deadcode] Function 'ensure_string_is_allocated_bounded_length' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6788:1-6792:1)
[Warning][Deadcode] Function 'ensure_string_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6794:1-6804:1)
[Warning][Deadcode] Function 'ensure_c_str_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6806:1-6815:1)
[Warning][Deadcode] Function 's_can_fail_calloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6822:1-6825:1)
[Warning][Deadcode] Function 's_can_fail_malloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6831:1-6834:1)
[Warning][Deadcode] Function 's_can_fail_free_allocator' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6839:1-6842:1)
[Warning][Deadcode] Function 's_can_fail_realloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6848:1-6852:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6861:1-6868:1)
[Warning][Deadcode] Function 'can_fail_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6877:1-6879:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6881:1-6885:1)
[Warning][Deadcode] Function 'can_fail_malloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6887:1-6891:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6892:1-6909:1)
[Warning][Deadcode] Function 'aws_allocator_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6911:1-6914:1)
[Warning][Deadcode] Function 'aws_mem_acquire' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6916:1-6926:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6928:1-6948:1)
[Warning][Deadcode] Function 'aws_mem_acquire_many' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:6952:1-7045:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7049:1-7062:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7064:1-7086:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7087:1-7100:1)
[Warning][Deadcode] Function 'assert_all_bytes_are' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7102:1-7110:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7112:1-7114:1)
[Warning][Deadcode] Function 'assert_array_list_equivalence' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7130:1-7147:1)
[Warning][Deadcode] Function 'assert_byte_buf_equivalence' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7149:1-7165:1)
[Warning][Deadcode] Function 'assert_byte_cursor_equivalence' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7167:1-7178:1)
[Warning][Deadcode] Function 'assert_ring_buffer_equivalence' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7180:1-7192:1)
[Warning][Deadcode] Function 'check_hash_table_unchanged' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7194:1-7198:1)
[Warning][Deadcode] Function 'nondet_compare' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7200:1-7204:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7207:1-7220:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7223:1-7228:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7239:1-7253:1)
[Warning][Deadcode] Function 'uninterpreted_equals_assert_inputs_nonnull' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7256:1-7261:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7263:1-7266:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7271:1-7274:1)
[Warning][Deadcode] Function 'aws_raise_error_private' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7287:1-7289:1)
[Warning][Deadcode] Function 'aws_last_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7294:1-7296:1)
[Warning][Deadcode] Function 'aws_byte_buf_init' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7298:1-7316:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7318:1-7342:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7345:1-7351:1)
[Warning][Deadcode] Function 'aws_byte_buf_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7360:1-7367:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7369:1-7382:1)
[Warning][Deadcode] Function 'aws_byte_buf_secure_zero' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7384:1-7391:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up_secure' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7393:1-7398:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7401:1-7411:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7414:1-7424:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_c_str' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7427:1-7438:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_c_str_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7441:1-7452:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy_from_cursor' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7454:1-7481:1)
[Warning][Deadcode] Function 'aws_byte_cursor_next_split' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7484:1-7547:1)
[Warning][Deadcode] Function 'aws_byte_buf_cat' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7549:1-7589:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7592:1-7602:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7605:1-7615:1)
[Warning][Deadcode] Function 'aws_lookup_table_to_lower_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7632:1-7634:1)
[Warning][Deadcode] Function 'aws_array_eq_ignore_case' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7637:1-7667:1)
[Warning][Deadcode] Function 'aws_array_eq' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7670:1-7690:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7693:1-7726:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7729:1-7762:1)
[Warning][Deadcode] Function 'aws_hash_array_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7764:1-7784:1)
[Warning][Deadcode] Function 'aws_hash_byte_cursor_ptr_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7786:1-7792:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_byte_buf' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7795:1-7805:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_byte_buf_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7808:1-7820:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_c_str' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7823:1-7834:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_c_str_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7837:1-7848:1)
[Warning][Deadcode] Function 'aws_byte_buf_append' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7850:1-7871:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_with_lookup' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7873:1-7899:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_dynamic' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7901:1-7987:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7989:1-8007:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve_relative' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8009:1-8020:1)
[Warning][Deadcode] Function 'aws_byte_cursor_satisfies_pred' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8072:1-8080:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lexical' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8082:1-8110:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lookup' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8112:1-8154:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_c_str' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8159:1-8171:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_array' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8173:1-8186: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_byte_cursor_trim_pred_harness_negated.i:8188:1-8202:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_buf' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8204:1-8211:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_c_str' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8213:1-8219:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8221:1-8228:1)
[Warning][Deadcode] Function 'aws_nospec_mask' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8238:1-8260:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8262:1-8284:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance_nospec' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8285:1-8324:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8326:1-8344:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_and_fill_buffer' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8346:1-8365:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_u8' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8367:1-8375:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be16' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8377:1-8391:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8393:1-8407:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_float_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8409:1-8423:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_float_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8425:1-8439:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8441:1-8455:1)
[Warning][Deadcode] Function 'aws_byte_buf_advance' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8457:1-8481:1)
[Warning][Deadcode] Function 'aws_byte_buf_write' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8483:1-8506:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_from_whole_buffer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8508:1-8513:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_from_whole_cursor' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8515:1-8520:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_u8' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8522:1-8526:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be16' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8528:1-8533:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8535:1-8540:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_float_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8542:1-8547:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8549:1-8554:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_float_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8556:1-8561:1)
[Warning][Deadcode] Function 'aws_secure_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8720:1-8737:1)
[Warning][Deadcode] Function 'aws_common_fatal_assert_library_initialized' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:8919:1-8928:1)
[Info][Deadcode] Logical lines of code (LLoC) summary:
  live: 73
  dead: 1269 (1269 in uncalled functions)
  total lines: 1342
[Warning][Deadcode][CWE-571] condition 'cursor' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7356:12-7357:115)
[Warning][Deadcode][CWE-571] condition 'cursor->len > 0UL' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7356:12-7357:115)
[Warning][Deadcode][CWE-570] condition 'cursor->len == 0UL' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7356:12-7357:115)
[Warning][Deadcode][CWE-571] condition 'cursor->ptr' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7356:12-7357:115)
[Warning][Deadcode][CWE-571] condition 'b' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7117:9-7117:20)
[Warning][Deadcode][CWE-571] condition 'storage' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_byte_cursor_trim_pred_harness_negated.i:7123:9-7123:37)
[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
