./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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.i:2337:5-2343:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2882:5-2901:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2922:9-2943:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3200:5-3200:60 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3307:5-3307:60 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4953:5-4953:60 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5027:5-5040:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6990:5-6997:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:9-7335:22 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7364:5-7364:88 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7393:5-7393:88 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7427:5-7433:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7529:5-7529:135 with factor 6
[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
[Info][Imprecise] Invalidating expressions: & c (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:255:12-255:46)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:255:12-255:46)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:255:12-255:46)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2498:5-2498:15)
[Info][Unsound] Unknown address in {&queue} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7926:9-7927:12)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7926:9-7927:12)
[Info][Unsound] Unknown address in {&queue.backpointers} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7364:10-7364:75)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7364:10-7364:75)
[Info][Unsound] Unknown address in {&queue.backpointers} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7341:12-7341:32)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7341:12-7341:32)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7341:12-7341:32)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7331:5-7331:45)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7331:5-7331:45)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:212:1-212:1)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7333:14-7333:29)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {?, NULL}
                                                        current_size -> ⊤
                                                        data -> {?, NULL}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7337:12-7337:13)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7341:12-7341:32)
[Info][Unsound] Unknown address in {&queue.container} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7366:9-7366:93)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7366:9-7366:93)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3192:5-3194:6)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:212:1-212:1)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3195:5-3197:6)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3198:5-3198:41)
[Info][Unsound] Unknown address in {&queue.container} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3200:10-3200:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3200:10-3200:47)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3200:10-3200:47)
[Info][Unsound] Unknown address in {&queue.container} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7341:12-7341:32)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7341:12-7341:32)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7331:5-7331:45)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7331:5-7331:45)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7333:14-7333:29)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7335:13-7335:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:28-7334:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7337:12-7337:13)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7341:12-7341:32)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3203:9-3203:83)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2588:12-2588:52)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2496:9-2496:38)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:255:12-255:46)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:255:12-255:46)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2497:16-2497:60)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:1996:5-1996:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7318:1-7318:1)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:1998:13-1998:16)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2497:16-2497:60)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2498:5-2498:15)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2499:13-2499:15)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2588:12-2588:52)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3208:9-3208:61)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2825:5-2825:61)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2821:12-2821:41)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2821:12-2821:41)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2825:5-2825:61)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2827:5-2827:37)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2829:10-2829:38)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (lib/sv-comp/stub/src/sv-comp.c:19:144-19:147)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:261:30-261:54)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:261:30-261:54)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2796:12-2798:54)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2796:12-2798:54)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2796:12-2798:54)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2779:5-2781:16)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2782:12-2782:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2782:12-2782:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2796:12-2798:54)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2796:12-2798:54)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2829:10-2829:38)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2831:9-2831:39)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2833:12-2833:15)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3208:9-3208:61)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3209:13-3209:24)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3216:9-3216:45)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3216:9-3216:45)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (lib/sv-comp/stub/src/sv-comp.c:44:170-44:173)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:263:40-263:65)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:263:40-263:65)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3218:5-3218:38)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3218:5-3218:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3219:5-3219:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3219:5-3219:24)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3221:5-3221:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3221:5-3221:63)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3221:5-3221:63)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3221:5-3221:63)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3221:5-3221:63)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:224:1-224:1)
[Info][Unsound] Unknown value in {&queue.container} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3222:5-3222:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3222:5-3222:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3268:12-3268:29)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3271:9-3272:85)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3271:9-3272:85)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3275:9-3275:70)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3284:9-3284:52)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3285:12-3285:98)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3285:12-3285:98)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3285:12-3285:98)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3222:5-3222:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3223:13-3223:15)
[Info][Unsound] Unknown value in {&queue.container} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3226:5-3226:68)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3226:5-3226:68)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2336:19-2336:49)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2338:13-2338:22)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2346:11-2347:15)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3226:5-3226:68)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3227:13-3227:16)
[Info][Unsound] Unknown value in {&queue} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7368:9-7368:64)
[Info][Unsound] Unknown value in {&queue.container} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7513:9-7513:72)
[Info][Unsound] Unknown value in {&queue} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7517:9-7517:74)
[Info][Unsound] Unknown value in {&queue.backpointers} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7451:9-7455:46)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3268:12-3268:29)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3271:9-3272:85)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2588:12-2588:52)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2496:9-2496:38)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:255:12-255:46)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:255:12-255:46)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2497:16-2497:60)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:1996:5-1996:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7318:1-7318:1)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:1998:13-1998:16)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2497:16-2497:60)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2498:5-2498:15)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2499:13-2499:15)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2588:12-2588:52)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3271:9-3272:85)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3275:9-3275:70)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3278:9-3281:110)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3284:9-3284:52)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3285:12-3285:98)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3285:12-3285:98)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3285:12-3285:98)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7451:9-7455:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7451:9-7455:46)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7451:9-7455:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7451:9-7455:46)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7463:9-7463:111)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7466:9-7466:84)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7469:9-7469:82)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7484:9-7487:118)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7484:9-7487:118)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7484:9-7487:118)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7484:9-7487:118)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7484:9-7487:118)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7484:9-7487:118)
[Info][Unsound] Unknown value in {&queue.backpointers} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7494:14-7494:146)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2336:19-2336:49)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2340:19-2341:24)
[Warning][Unknown] lval (& queue)->backpointers points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2346:11-2347:15)
[Info][Unsound] Unknown value in {&queue.container} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7370:9-7370:94)
[Info][Unsound] Unknown value in {&queue.backpointers} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7371:9-7371:100)
[Info][Unsound] Unknown value in {&queue} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7929:9-7929:63)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7930:9-7930:62)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7930:9-7930:62)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7931:9-7931:66)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7931:9-7931:66)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7932:9-7932:55)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7932:9-7932:55)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7933:9-7937:109)
[Info][Unsound] Unknown value in {&queue.container} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7940:9-7940:90)
[Info][Unsound] Unknown value in {&queue.backpointers} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7941:9-7941:96)
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.i:248:1-251:1)
[Warning][Deadcode] Function 'nondet_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.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_priority_queue_init_dynamic_harness-1.i:1131:1-1135:1)
[Warning][Deadcode] Function 'aws_mul_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2483:1-2489:1)
[Warning][Deadcode] Function 'aws_mul_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2505:1-2511:1)
[Warning][Deadcode] Function 'aws_mul_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2517:1-2522:1)
[Warning][Deadcode] Function 'aws_add_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2527:1-2533:1)
[Warning][Deadcode] Function 'aws_add_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2539:1-2544:1)
[Warning][Deadcode] Function 'aws_add_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2549:1-2555:1)
[Warning][Deadcode] Function 'aws_add_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2561:1-2566:1)
[Warning][Deadcode] Function 'aws_mul_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2570:1-2578:1)
[Warning][Deadcode] Function 'aws_add_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2597:1-2605:1)
[Warning][Deadcode] Function 'aws_add_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2611:1-2619:1)
[Warning][Deadcode] Function 'aws_is_power_of_two' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2624:1-2629: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_priority_queue_init_dynamic_harness-1.i:2635:1-2656:1)
[Warning][Deadcode] Function 's_can_fail_calloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2730:1-2733:1)
[Warning][Deadcode] Function 's_can_fail_malloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2739:1-2742:1)
[Warning][Deadcode] Function 's_can_fail_free_allocator' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2747:1-2750:1)
[Warning][Deadcode] Function 's_can_fail_realloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2756:1-2760:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2769:1-2776:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2789:1-2793:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2800:1-2817:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2836:1-2856:1)
[Warning][Deadcode] Function 'aws_mem_acquire_many' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2860:1-2953:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2957:1-2970:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2972:1-2994:1)
[Warning][Deadcode] Function 'aws_array_list_init_static' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3230:1-3257:1)
[Warning][Deadcode] Function 'aws_array_list_debug_print' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3288:1-3298:1)
[Warning][Deadcode] Function 'aws_array_list_clean_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3300:1-3308:1)
[Warning][Deadcode] Function 'aws_array_list_front' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3310:1-3325:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3327:1-3338: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_priority_queue_init_dynamic_harness-1.i:3340:1-3360:1)
[Warning][Deadcode] Function 'aws_array_list_erase' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3362:1-3391:1)
[Warning][Deadcode] Function 'aws_array_list_back' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3393:1-3409:1)
[Warning][Deadcode] Function 'aws_array_list_pop_back' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3411:1-3428:1)
[Warning][Deadcode] Function 'aws_array_list_clear' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3430:1-3440:1)
[Warning][Deadcode] Function 'aws_array_list_swap_contents' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3442:1-3458:1)
[Warning][Deadcode] Function 'aws_array_list_capacity' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3460:1-3467:1)
[Warning][Deadcode] Function 'aws_array_list_length' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3469:1-3480:1)
[Warning][Deadcode] Function 'aws_array_list_get_at' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3482:1-3495: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_priority_queue_init_dynamic_harness-1.i:3497:1-3510:1)
[Warning][Deadcode] Function 'aws_array_list_sort' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3512:1-3519:1)
[Warning][Deadcode] Function 'aws_is_big_endian' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4220:1-4223:1)
[Warning][Deadcode] Function 'aws_hton64' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4228:1-4243:1)
[Warning][Deadcode] Function 'aws_ntoh64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4248:1-4250:1)
[Warning][Deadcode] Function 'aws_hton32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4255:1-4261:1)
[Warning][Deadcode] Function 'aws_htonf32' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4266:1-4282:1)
[Warning][Deadcode] Function 'aws_htonf64' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4287:1-4307:1)
[Warning][Deadcode] Function 'aws_ntoh32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4312:1-4318:1)
[Warning][Deadcode] Function 'aws_ntohf32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4323:1-4325:1)
[Warning][Deadcode] Function 'aws_ntohf64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4330:1-4332:1)
[Warning][Deadcode] Function 'aws_hton24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4337:1-4344:1)
[Warning][Deadcode] Function 'aws_ntoh24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4349:1-4356:1)
[Warning][Deadcode] Function 'aws_hton16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4361:1-4367:1)
[Warning][Deadcode] Function 'aws_ntoh16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4372:1-4378:1)
[Warning][Deadcode] Function 'aws_linked_list_node_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4949:1-4955:1)
[Warning][Deadcode] Function 'aws_linked_list_empty' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4956:1-4961:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:4966:1-4985: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_priority_queue_init_dynamic_harness-1.i:4992:1-4996: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_priority_queue_init_dynamic_harness-1.i:5003:1-5007: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_priority_queue_init_dynamic_harness-1.i:5008:1-5042:1)
[Warning][Deadcode] Function 'aws_linked_list_init' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5047:1-5059:1)
[Warning][Deadcode] Function 'aws_linked_list_begin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5064:1-5070:1)
[Warning][Deadcode] Function 'aws_linked_list_end' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5075:1-5081:1)
[Warning][Deadcode] Function 'aws_linked_list_rbegin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5088:1-5094:1)
[Warning][Deadcode] Function 'aws_linked_list_rend' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5100:1-5106:1)
[Warning][Deadcode] Function 'aws_linked_list_next' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5111:1-5118:1)
[Warning][Deadcode] Function 'aws_linked_list_prev' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5123:1-5130:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_after' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5135:1-5150:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_nodes' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5155:1-5181:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_before' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5186:1-5201:1)
[Warning][Deadcode] Function 'aws_linked_list_remove' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5207:1-5218:1)
[Warning][Deadcode] Function 'aws_linked_list_push_back' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5223:1-5231:1)
[Warning][Deadcode] Function 'aws_linked_list_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5236:1-5244:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5249:1-5261:1)
[Warning][Deadcode] Function 'aws_linked_list_push_front' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5266:1-5274:1)
[Warning][Deadcode] Function 'aws_linked_list_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5279:1-5287:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5292:1-5304:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_contents' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5306:1-5333:1)
[Warning][Deadcode] Function 'aws_atomic_load_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5938:1-5941:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5946:1-5949:1)
[Warning][Deadcode] Function 'aws_atomic_store_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5954:1-5957:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5962:1-5965:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5971:1-5974:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5980:1-5983:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:5990:1-5996:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6003:1-6009:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6015:1-6018:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6024:1-6027:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6033:1-6036:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6042:1-6045:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6051:1-6054:1)
[Warning][Deadcode] Function 'aws_atomic_priv_xlate_order' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6069:1-6084:1)
[Warning][Deadcode] Function 'aws_atomic_init_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6090:1-6093:1)
[Warning][Deadcode] Function 'aws_atomic_init_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6099:1-6102:1)
[Warning][Deadcode] Function 'aws_atomic_load_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6107:1-6110:1)
[Warning][Deadcode] Function 'aws_atomic_load_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6115:1-6118:1)
[Warning][Deadcode] Function 'aws_atomic_store_int_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6123:1-6126:1)
[Warning][Deadcode] Function 'aws_atomic_store_ptr_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6131:1-6134:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6140:1-6146:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6152:1-6158: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_priority_queue_init_dynamic_harness-1.i:6165:1-6183: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_priority_queue_init_dynamic_harness-1.i:6190:1-6208:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6213:1-6216:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6221:1-6224:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6229:1-6232:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6237:1-6240:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6245:1-6248:1)
[Warning][Deadcode] Function 'aws_atomic_thread_fence' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6254:1-6257: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_priority_queue_init_dynamic_harness-1.i:6363:1-6369:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_empty' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6374:1-6380:1)
[Warning][Deadcode] Function 'aws_ring_buffer_is_valid' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6386:1-6405:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6566:1-6570:1)
[Warning][Deadcode] Function 'aws_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6576:1-6581:1)
[Warning][Deadcode] Function 'aws_c_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6586:1-6596:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6868:1-6871:1)
[Warning][Deadcode] Function 'aws_byte_buf_has_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6874:1-6877: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_priority_queue_init_dynamic_harness-1.i:6879:1-6884: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_priority_queue_init_dynamic_harness-1.i:6886:1-6896: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_priority_queue_init_dynamic_harness-1.i:6901:1-6910: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_priority_queue_init_dynamic_harness-1.i:6915:1-6934:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6937:1-6940: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_priority_queue_init_dynamic_harness-1.i:6942:1-6946:1)
[Warning][Deadcode] Function 'aws_array_list_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6949:1-6961: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_priority_queue_init_dynamic_harness-1.i:6963:1-6975:1)
[Warning][Deadcode] Function 'ensure_linked_list_is_allocated' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:6977:1-7001:1)
[Warning][Deadcode] Function 'aws_priority_queue_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7004:1-7022: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_priority_queue_init_dynamic_harness-1.i:7024:1-7028: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_priority_queue_init_dynamic_harness-1.i:7030:1-7037: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_priority_queue_init_dynamic_harness-1.i:7040:1-7043: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_priority_queue_init_dynamic_harness-1.i:7046:1-7053:1)
[Warning][Deadcode] Function 'hash_proof_destroy_noop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7061:1-7061: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_priority_queue_init_dynamic_harness-1.i:7063:1-7068: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_priority_queue_init_dynamic_harness-1.i:7070:1-7074:1)
[Warning][Deadcode] Function 'ensure_string_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7076:1-7086:1)
[Warning][Deadcode] Function 'ensure_c_str_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7088:1-7097:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7098:1-7111:1)
[Warning][Deadcode] Function 'assert_all_bytes_are' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7113:1-7121:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7123:1-7125:1)
[Warning][Deadcode] Function 'assert_byte_from_buffer_matches' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7127:1-7131:1)
[Warning][Deadcode] Function 'save_byte_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7133:1-7139:1)
[Warning][Deadcode] Function 'assert_array_list_equivalence' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7141:1-7158:1)
[Warning][Deadcode] Function 'assert_byte_buf_equivalence' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7160:1-7176:1)
[Warning][Deadcode] Function 'assert_byte_cursor_equivalence' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7178:1-7189:1)
[Warning][Deadcode] Function 'assert_ring_buffer_equivalence' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7191:1-7203:1)
[Warning][Deadcode] Function 'check_hash_table_unchanged' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7205:1-7209:1)
[Warning][Deadcode] Function 'nondet_compare' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7211:1-7219:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7222:1-7239:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7242:1-7251:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7262:1-7276:1)
[Warning][Deadcode] Function 'uninterpreted_equals_assert_inputs_nonnull' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7279:1-7288:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7290:1-7295:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7300:1-7305:1)
[Warning][Deadcode] Function 'aws_last_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7323:1-7325:1)
[Warning][Deadcode] Function '___memset_chk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7344:1-7347:1)
[Warning][Deadcode] Function 'aws_priority_queue_init_static' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7376:1-7398:1)
[Warning][Deadcode] Function 'aws_priority_queue_backpointer_index_valid' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7401:1-7417:1)
[Warning][Deadcode] Function 'aws_priority_queue_backpointers_valid_deep' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7420:1-7437:1)
[Warning][Deadcode] Function 'aws_priority_queue_clean_up' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7521:1-7526:1)
[Warning][Deadcode] Function 'aws_priority_queue_top' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7528:1-7531:1)
[Warning][Deadcode] Function 'aws_priority_queue_size' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7533:1-7535:1)
[Warning][Deadcode] Function 'aws_priority_queue_capacity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7537:1-7539:1)
[Warning][Deadcode] Function 'aws_secure_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7698:1-7715: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_priority_queue_init_dynamic_harness-1.i:7897:1-7906:1)
[Warning][Deadcode] Function 'aws_array_list_is_valid' has dead code:
  on line 3265 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3265-3265)
[Warning][Deadcode] Function 'aws_priority_queue_backpointers_valid' has dead code:
  on line 7444 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7444-7444)
[Warning][Deadcode] Function 'aws_priority_queue_is_valid' has dead code:
  on line 7503 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7503-7503)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 128
  dead: 750 (747 in uncalled functions)
  total lines: 878
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7364:86-7364:88)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3200:58-3200:60)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '! queue' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7442:9-7442:15)
[Warning][Deadcode][CWE-570] condition 'n == 0UL' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7331:5-7331:45)
[Warning][Deadcode][CWE-571] condition 's' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7331:5-7331:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'n > 0UL' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7332:9-7332:14)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'backpointers_valid_deep' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7490:9-7492:55)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '! list' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:3263:9-3263:14)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '! queue' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7501:9-7501:15)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'pred_is_valid' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7518:12-7518:69)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < n' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness-1.i:7334:13-7334:45)
[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
