./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_negated.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/aws_priority_queue_init_dynamic_harness_negated.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:2337:5-2343:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:6978:5-6985:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:7302:9-7303:22 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:7332:5-7332:88 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:7361:5-7361:88 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:7395:5-7401:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:7497:5-7497: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_negated.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_negated.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_negated.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_negated.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_negated.i:7309:12-7309: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_negated.i:7299:5-7299: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_negated.i:7299:5-7299: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_negated.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_negated.i:7301:14-7301: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7305:12-7305: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_negated.i:7309:12-7309: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_negated.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_negated.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_negated.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_negated.i:3198:5-3198: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_negated.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_negated.i:7309:12-7309: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_negated.i:7299:5-7299: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_negated.i:7299:5-7299: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_negated.i:7301:14-7301: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7303:13-7303: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_negated.i:7302:28-7302: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_negated.i:7305:12-7305: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_negated.i:7309:12-7309: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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:7286:1-7286: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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:3216:9-3216:45)
[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_negated.i:3218:5-3218: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_negated.i:3218:5-3218:32)
[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_negated.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_negated.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_negated.i:3221:5-3221: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_negated.i:3221:5-3221:66)
[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_negated.i:3221:5-3221:66)
[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_negated.i:3221:5-3221:66)
[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_negated.i:3221:5-3221:66)
[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_negated.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_negated.i:3222:5-3222:58)
[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_negated.i:3222:5-3222:58)
[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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:3222:5-3222:58)
[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_negated.i:3222:5-3222:58)
[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_negated.i:3222:5-3222:58)
[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_negated.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_negated.i:3226:5-3226:71)
[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_negated.i:3226:5-3226:71)
[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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:3226:5-3226:71)
[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_negated.i:3226:5-3226:71)
[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_negated.i:3226:5-3226:71)
[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_negated.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_negated.i:7336:9-7336:67)
[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_negated.i:7481:9-7481: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_negated.i:7485:9-7485: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_negated.i:7419:9-7423: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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:7286:1-7286: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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:7419:9-7423: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_negated.i:7419:9-7423: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_negated.i:7419:9-7423: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_negated.i:7419:9-7423: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_negated.i:7431:9-7431: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_negated.i:7434:9-7434: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_negated.i:7437:9-7437: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_negated.i:7452:9-7455: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_negated.i:7452:9-7455: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_negated.i:7452:9-7455: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_negated.i:7452:9-7455: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_negated.i:7452:9-7455: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_negated.i:7452:9-7455: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_negated.i:7462:14-7462: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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:7338:9-7338:97)
[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_negated.i:7339:9-7339:103)
[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_negated.i:7900:9-7900: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_negated.i:7901:9-7901:65)
[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_negated.i:7901:9-7901:65)
[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_negated.i:7902:9-7902:69)
[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_negated.i:7902:9-7902:69)
[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_negated.i:7902:9-7902:69)
[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_negated.i:7903:9-7903:58)
[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_negated.i:7903:9-7903:58)
[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_negated.i:7903:9-7903:58)
[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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7904:9-7906: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_negated.i:7909:9-7909:93)
[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_negated.i:7910:9-7910:99)
[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_negated.i:232:1-234:1)
[Warning][Deadcode] Function '__CPROVER_allocated_memory' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:235:1-235:80)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_hasher' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:238:1-238:84)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_equals' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:239:1-239:96)
[Warning][Deadcode] Function '__CPROVER_uninterpreted_compare' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:240:1-240:116)
[Warning][Deadcode] Function '__CPROVER_overflow_plus' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.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_negated.i:262:1-262:52)
[Warning][Deadcode] Function 'nondet_uint16_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:264:1-264:64)
[Warning][Deadcode] Function 'nondet_uint32_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:265:1-265:63)
[Warning][Deadcode] Function 'nondet_uint64_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:266:1-266:64)
[Warning][Deadcode] Function 'nondet_uint8_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:267:1-267:62)
[Warning][Deadcode] Function 'nondet_voidp' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:268:1-268:66)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:1109:1-1113:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:1114:1-1118:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:1119:1-1123:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:1125:1-1129:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.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_negated.i:5207:1-5214: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_negated.i:5219:1-5227: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_negated.i:5232:1-5240: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_negated.i:5245:1-5253: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_negated.i:5258:1-5266: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_negated.i:5271:1-5279: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_negated.i:5284:1-5292: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_negated.i:5294:1-5321: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_negated.i:5926:1-5929: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_negated.i:5934:1-5937: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_negated.i:5942:1-5945: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_negated.i:5950:1-5953: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_negated.i:5959:1-5962: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_negated.i:5968:1-5971: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_negated.i:5978:1-5984: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_negated.i:5991:1-5997: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_negated.i:6003:1-6006: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_negated.i:6012:1-6015: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_negated.i:6021:1-6024: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_negated.i:6030:1-6033: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_negated.i:6039:1-6042: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_negated.i:6057:1-6072: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_negated.i:6078:1-6081: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_negated.i:6087:1-6090: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_negated.i:6095:1-6098: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_negated.i:6103:1-6106: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_negated.i:6111:1-6114: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_negated.i:6119:1-6122: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_negated.i:6128:1-6134: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_negated.i:6140:1-6146: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_negated.i:6153:1-6171: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_negated.i:6178:1-6196: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_negated.i:6201:1-6204: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_negated.i:6209:1-6212: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_negated.i:6217:1-6220: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_negated.i:6225:1-6228: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_negated.i:6233:1-6236: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_negated.i:6242:1-6245: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_negated.i:6351:1-6357: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_negated.i:6362:1-6368: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_negated.i:6374:1-6393: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_negated.i:6554:1-6558: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_negated.i:6564:1-6569: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_negated.i:6574:1-6584: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_negated.i:6856:1-6859: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_negated.i:6862:1-6865: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_negated.i:6867:1-6872: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_negated.i:6874:1-6884: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_negated.i:6889:1-6898: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_negated.i:6903:1-6922: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_negated.i:6925:1-6928: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_negated.i:6930:1-6934: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_negated.i:6937:1-6949: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_negated.i:6951:1-6963: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_negated.i:6965:1-6989: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_negated.i:6992:1-7010: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_negated.i:7012:1-7016: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_negated.i:7018:1-7025: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_negated.i:7028:1-7031: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_negated.i:7034:1-7041: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_negated.i:7049:1-7049: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_negated.i:7051:1-7056: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_negated.i:7058:1-7062: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_negated.i:7064:1-7074: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_negated.i:7076:1-7085: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_negated.i:7086:1-7099: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_negated.i:7101:1-7109: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_negated.i:7111:1-7113: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_negated.i:7115:1-7119: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_negated.i:7121:1-7127: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_negated.i:7129:1-7146: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_negated.i:7148:1-7164: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_negated.i:7166:1-7177: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_negated.i:7179:1-7191: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_negated.i:7193:1-7197: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_negated.i:7199:1-7203: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_negated.i:7206:1-7219: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_negated.i:7222:1-7227: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_negated.i:7238:1-7252: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_negated.i:7255:1-7260: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_negated.i:7262:1-7265: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_negated.i:7270:1-7273: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_negated.i:7291:1-7293: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_negated.i:7312:1-7315: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_negated.i:7344:1-7366: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_negated.i:7369:1-7385: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_negated.i:7388:1-7405: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_negated.i:7489:1-7494: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_negated.i:7496:1-7499: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_negated.i:7501:1-7503: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_negated.i:7505:1-7507: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_negated.i:7666:1-7683: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_negated.i:7865:1-7874: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_negated.i:3265-3265)
[Warning][Deadcode] Function 'aws_priority_queue_backpointers_valid' has dead code:
  on line 7412 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:7412-7412)
[Warning][Deadcode] Function 'aws_priority_queue_is_valid' has dead code:
  on line 7471 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_init_dynamic_harness_negated.i:7471-7471)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 130
  dead: 750 (747 in uncalled functions)
  total lines: 880
[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_negated.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_negated.i:7332:86-7332: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_negated.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_negated.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_negated.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_negated.i:2337:9-2337:33)
[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_negated.i:7299:5-7299: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_negated.i:2337:9-2337:33)
[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_negated.i:7299:5-7299: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_negated.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_negated.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_negated.i:7300:9-7300: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_negated.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_negated.i:7302:13-7302: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_negated.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_negated.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_negated.i:7302:13-7302:45)
[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_negated.i:7410:9-7410:15)
[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_negated.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_negated.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_negated.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_negated.i:7302:13-7302: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_negated.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_negated.i:7302:13-7302:45)
[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_negated.i:7302:13-7302: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_negated.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_negated.i:7302:13-7302: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_negated.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_negated.i:7302:13-7302: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_negated.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_negated.i:7302:13-7302: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_negated.i:7458:9-7460:55)
[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_negated.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_negated.i:7302:13-7302: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_negated.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_negated.i:7302:13-7302: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_negated.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_negated.i:7302:13-7302:45)
[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_negated.i:7469:9-7469: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_negated.i:7302:13-7302: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_negated.i:2337:9-2337:33)
[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_negated.i:7486:12-7486: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_negated.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_negated.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_negated.i:3263:9-3263: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_negated.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_negated.i:2337:9-2337:33)
[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
