./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_remove_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_remove_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_remove_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_remove_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_remove_harness_negated.i:2876:5-2876:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2983:5-2983:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4678:5-4678:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4752:5-4765:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6757:5-6764:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7023:5-7042:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7063:9-7084:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7542:5-7548:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7993:5-8031:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8052:5-8073:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8110:5-8110:85 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8139:5-8139:85 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8173:5-8179:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8385:5-8386:107 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8387:5-8387:117 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8397:5-8397:135 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8405:5-8405: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
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6723:9-6723:64)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6726:9-6726:72)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6727:12-6727:53)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6727:12-6727:53)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6727:12-6727:53)
[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_remove_harness_negated.i:6723:9-6723:64)
[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_remove_harness_negated.i:6726:9-6726:72)
[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_remove_harness_negated.i:6727:12-6727:53)
[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_remove_harness_negated.i:6727:12-6727:53)
[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_remove_harness_negated.i:6727:12-6727:53)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6732:9-6734:9)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_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_remove_harness_negated.i:6735:9-6735:43)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6737:9-6737:56)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6920:5-6922: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_remove_harness_negated.i:6923:12-6923: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_remove_harness_negated.i:6923:12-6923:24)
[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_remove_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_remove_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_remove_harness_negated.i:6738:9-6740:65)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6738:9-6740:65)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6738:9-6740:65)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6738:9-6740:65)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6742:1-6742: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_remove_harness_negated.i:6732:9-6734:9)
[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_remove_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_remove_harness_negated.i:6735:9-6735:43)
[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_remove_harness_negated.i:6737:9-6737:56)
[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_remove_harness_negated.i:6920:5-6922: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_remove_harness_negated.i:6923:12-6923: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_remove_harness_negated.i:6923:12-6923:24)
[Warning][Unknown] lval (& queue)->backpointers 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)->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_remove_harness_negated.i:261:30-261:54)
[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_remove_harness_negated.i:261:30-261:54)
[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_remove_harness_negated.i:6738:9-6740:65)
[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_remove_harness_negated.i:6738:9-6740:65)
[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_remove_harness_negated.i:6738:9-6740:65)
[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_remove_harness_negated.i:6738:9-6740:65)
[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_remove_harness_negated.i:6742:1-6742: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_remove_harness_negated.i:2944:12-2944: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_remove_harness_negated.i:2947:9-2948: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_remove_harness_negated.i:2590:12-2590: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_remove_harness_negated.i:2498:9-2498:38)
[Info][Imprecise] Invalidating expressions: & c (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_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_remove_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_remove_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_remove_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_remove_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_remove_harness_negated.i:2499:16-2499: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_remove_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_remove_harness_negated.i:7336:1-7336: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_remove_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_remove_harness_negated.i:2499:16-2499:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2500:5-2500: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_remove_harness_negated.i:2500:5-2500: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_remove_harness_negated.i:2501:13-2501: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_remove_harness_negated.i:2590:12-2590: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_remove_harness_negated.i:2947:9-2948: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_remove_harness_negated.i:2951:9-2951:70)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2954:9-2957: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_remove_harness_negated.i:2954:9-2957: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_remove_harness_negated.i:2954:9-2957: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_remove_harness_negated.i:2960:9-2960: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_remove_harness_negated.i:2961:12-2961: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_remove_harness_negated.i:2961:12-2961: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_remove_harness_negated.i:2961:12-2961: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_remove_harness_negated.i:2944:12-2944: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_remove_harness_negated.i:2947:9-2948: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_remove_harness_negated.i:2590:12-2590: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_remove_harness_negated.i:2498:9-2498: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_remove_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_remove_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_remove_harness_negated.i:2499:16-2499: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_remove_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_remove_harness_negated.i:7336:1-7336: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_remove_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_remove_harness_negated.i:2499:16-2499: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_remove_harness_negated.i:2500:5-2500: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_remove_harness_negated.i:2501:13-2501: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_remove_harness_negated.i:2590:12-2590: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_remove_harness_negated.i:2947:9-2948: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_remove_harness_negated.i:2951:9-2951: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_remove_harness_negated.i:2954:9-2957: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_remove_harness_negated.i:2954:9-2957: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_remove_harness_negated.i:2954:9-2957: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_remove_harness_negated.i:2960:9-2960: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_remove_harness_negated.i:2961:12-2961: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_remove_harness_negated.i:2961:12-2961: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_remove_harness_negated.i:2961:12-2961: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_remove_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_remove_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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {NULL, &(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {NULL, &(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338: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_remove_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_remove_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_remove_harness_negated.i:2346:11-2347:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8439:14-8440:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8442:18-8443:76)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3169:5-3169:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3169:5-3169:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3169:5-3169:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3169:5-3169:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3170:5-3170:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3170:5-3170:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3171:12-3171:30)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3172:5-3172: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_remove_harness_negated.i:3172:5-3172: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_remove_harness_negated.i:3172:5-3172: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_remove_harness_negated.i:3172:5-3172: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_remove_harness_negated.i:224:1-224: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_remove_harness_negated.i:3173:12-3173:15)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8385:14-8385:79)
[Warning][Imprecise] Trying to update a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8385:14-8385:79)
[Warning][Imprecise][Program] Trying to read a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8385:14-8385:79)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8389:9-8389:63)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       alloc -> {NULL, &s_can_fail_allocator_static}
                                                       current_size -> ⊤
                                                       data -> {&(alloc@sid:2573)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2338:13-2338:22)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        alloc -> {NULL, &s_can_fail_allocator_static}
                                                        current_size -> ⊤
                                                        data -> {&(alloc@sid:2573)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_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_remove_harness_negated.i:3178:5-3178:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3178:5-3178:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3179:5-3181:86)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3179:5-3181:86)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3179:5-3181:86)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3182:9-3182:44)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3183:9-3183:101)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3183:9-3183:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3183:9-3183:101)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3183:9-3183:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7360:12-7360:36)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7360:12-7360:36)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7345:5-7348:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7345:5-7348:34)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7345:5-7348:34)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7345:5-7348:34)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7345:5-7348:34)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7345:5-7348:34)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7349:5-7351: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_remove_harness_negated.i:7349:5-7351: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_remove_harness_negated.i:7352:5-7354: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_remove_harness_negated.i:7352:5-7354: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_remove_harness_negated.i:7352:5-7354: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_remove_harness_negated.i:7356:12-7356: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_remove_harness_negated.i:7360:12-7360:36)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3184:9-3184:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3184:9-3184:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3184:9-3184:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3184:9-3184:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3185:17-3185:19)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3187:5-3187: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_remove_harness_negated.i:3187:5-3187: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_remove_harness_negated.i:3187:5-3187: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_remove_harness_negated.i:3187:5-3187: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_remove_harness_negated.i:3188:12-3188: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_remove_harness_negated.i:3188:12-3188:52)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8349:12-8349:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8155:40-8155:116)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7557:5-7557:44)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7558:5-7558:44)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7559:5-7559:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7559:5-7559:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7562:9-7562:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7562:9-7562:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7562:9-7562:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7562:9-7562:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7563:9-7563: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_remove_harness_negated.i:7566:10-7568: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_remove_harness_negated.i:7568:24-7570: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_remove_harness_negated.i:7571:5-7571: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_remove_harness_negated.i:3193:5-3193:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3193:5-3193:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3194:5-3196: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_remove_harness_negated.i:3197:9-3197:44)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3198:9-3198:75)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3198:9-3198:75)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3198:9-3198:75)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3199:9-3199:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3199:9-3199:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3199:9-3199:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3199:9-3199:62)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3200:17-3200:19)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3202:5-3202: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_remove_harness_negated.i:3202:5-3202: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_remove_harness_negated.i:3202:5-3202: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_remove_harness_negated.i:3202:5-3202: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_remove_harness_negated.i:3203:12-3203: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_remove_harness_negated.i:3203:12-3203: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_remove_harness_negated.i:7572:5-7572:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7573:5-7573:59)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7573:5-7573:59)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7536:5-7536: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_remove_harness_negated.i:7536:5-7536:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7537:5-7537: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_remove_harness_negated.i:7537:5-7537: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_remove_harness_negated.i:7540:12-7540:43)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7542:17-7542:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7543:9-7543: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_remove_harness_negated.i:7543:9-7543: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_remove_harness_negated.i:7349:5-7351:29)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7545:9-7545: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_remove_harness_negated.i:7545:9-7545:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7546:9-7546: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_remove_harness_negated.i:7546:9-7546:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7542:17-7542:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7543:9-7543: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_remove_harness_negated.i:7543:9-7543:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7545:9-7545: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_remove_harness_negated.i:7545:9-7545:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7546:9-7546: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_remove_harness_negated.i:7546:9-7546:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7542:17-7542:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7543:9-7543: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_remove_harness_negated.i:7543:9-7543:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7545:9-7545: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_remove_harness_negated.i:7545:9-7545:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7546:9-7546: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_remove_harness_negated.i:7546:9-7546:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7542:17-7542:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7543:9-7543: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_remove_harness_negated.i:7543:9-7543:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7545:9-7545: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_remove_harness_negated.i:7545:9-7545:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7546:9-7546: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_remove_harness_negated.i:7546:9-7546:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7542:17-7542:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7543:9-7543: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_remove_harness_negated.i:7543:9-7543:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7544:9-7544:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7545:9-7545: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_remove_harness_negated.i:7545:9-7545:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7546:9-7546: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_remove_harness_negated.i:7546:9-7546:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7547:9-7547: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_remove_harness_negated.i:7542:17-7542: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_remove_harness_negated.i:7550:12-7550:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7551:5-7551: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_remove_harness_negated.i:7551:5-7551:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7552:5-7552:55)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7552:5-7552:55)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7345:5-7348:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7553:5-7553: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_remove_harness_negated.i:7553:5-7553: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_remove_harness_negated.i:7554:1-7554: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_remove_harness_negated.i:7574:5-7574: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_remove_harness_negated.i:7574:5-7574: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_remove_harness_negated.i:7574:5-7574: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_remove_harness_negated.i:7574:5-7574: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_remove_harness_negated.i:7575:1-7575:1)
[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_remove_harness_negated.i:7954:9-7954:61)
[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_remove_harness_negated.i:7955:9-7955:61)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7957:40-7957:114)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7958:40-7958:114)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7965:14-7965:39)
[Warning][Imprecise] Trying to update a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7965:14-7965:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7969:14-7969:39)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7972:5-7972:63)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8259:9-8259:72)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8263:9-8263:74)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8197:9-8201:46)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8240:14-8240:146)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7973:5-7973:81)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8149:9-8149:79)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7974:5-7974:81)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8358:5-8358:47)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3107:5-3107:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3107:5-3107:57)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3107:5-3107:57)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3108:9-3108:40)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3108:9-3108:40)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3170:5-3170:57)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3172:5-3172:58)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3110:9-3110:42)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3110:9-3110:42)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3112:16-3112:86)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3112:16-3112:86)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3112:16-3112:86)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3112:16-3112:86)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3112:16-3112:86)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3114:9-3114:87)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3115:9-3115:23)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3116:9-3116:62)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3120:5-3120: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_remove_harness_negated.i:3120:5-3120: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_remove_harness_negated.i:3120:5-3120: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_remove_harness_negated.i:3120:5-3120: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_remove_harness_negated.i:3120:5-3120: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_remove_harness_negated.i:3121:12-3121: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_remove_harness_negated.i:3121:12-3121:49)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8360:9-8360:80)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8361:9-8361:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3178:5-3178:57)
[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_remove_harness_negated.i:3178:5-3178:57)
[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_remove_harness_negated.i:3178:5-3178:57)
[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_remove_harness_negated.i:3179:5-3181:86)
[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_remove_harness_negated.i:3179:5-3181:86)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3182:9-3182:44)
[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_remove_harness_negated.i:3182:9-3182:44)
[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_remove_harness_negated.i:3169:5-3169:55)
[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_remove_harness_negated.i:3169:5-3169:55)
[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_remove_harness_negated.i:3170:5-3170:57)
[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_remove_harness_negated.i:3170:5-3170:57)
[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_remove_harness_negated.i:3171:12-3171:30)
[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_remove_harness_negated.i:3172:5-3172:58)
[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_remove_harness_negated.i:3172:5-3172:58)
[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_remove_harness_negated.i:3172:5-3172:58)
[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_remove_harness_negated.i:3172:5-3172:58)
[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_remove_harness_negated.i:224:1-224: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_remove_harness_negated.i:3173:12-3173:15)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)[⊤]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3183:9-3183:101)
[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_remove_harness_negated.i:3183:9-3183:101)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)[⊤]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7360:12-7360:36)
[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_remove_harness_negated.i:7360:12-7360:36)
[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_remove_harness_negated.i:7345:5-7348:34)
[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_remove_harness_negated.i:7345:5-7348:34)
[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_remove_harness_negated.i:7349:5-7351: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_remove_harness_negated.i:7349:5-7351: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_remove_harness_negated.i:7352:5-7354: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_remove_harness_negated.i:7352:5-7354: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_remove_harness_negated.i:7356:12-7356: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_remove_harness_negated.i:7360:12-7360:36)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3184:9-3184:62)
[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_remove_harness_negated.i:3184:9-3184:62)
[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_remove_harness_negated.i:3184:9-3184:62)
[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_remove_harness_negated.i:3184:9-3184:62)
[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_remove_harness_negated.i:3184:9-3184:62)
[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_remove_harness_negated.i:3185:17-3185:19)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3187:5-3187:58)
[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_remove_harness_negated.i:3187:5-3187:58)
[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_remove_harness_negated.i:3187:5-3187:58)
[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_remove_harness_negated.i:3187:5-3187:58)
[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_remove_harness_negated.i:3187:5-3187:58)
[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_remove_harness_negated.i:3188:12-3188: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_remove_harness_negated.i:3188:12-3188:52)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8367:9-8367:54)
[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_remove_harness_negated.i:3107:5-3107:57)
[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_remove_harness_negated.i:3107:5-3107:57)
[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_remove_harness_negated.i:3108:9-3108:40)
[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_remove_harness_negated.i:3110:9-3110:42)
[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_remove_harness_negated.i:3112:16-3112:86)
[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_remove_harness_negated.i:3112:16-3112:86)
[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_remove_harness_negated.i:3115:9-3115:23)
[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_remove_harness_negated.i:3116:9-3116:62)
[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_remove_harness_negated.i:3116:9-3116:62)
[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_remove_harness_negated.i:3116:9-3116:62)
[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_remove_harness_negated.i:3116:9-3116:62)
[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_remove_harness_negated.i:3117:17-3117:19)
[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_remove_harness_negated.i:3120:5-3120:58)
[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_remove_harness_negated.i:3120:5-3120:58)
[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_remove_harness_negated.i:3120:5-3120:58)
[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_remove_harness_negated.i:3120:5-3120:58)
[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_remove_harness_negated.i:3121:12-3121: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_remove_harness_negated.i:3121:12-3121:49)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8371:9-8371:41)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8084:5-8084:62)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8087:9-8087:43)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8087:9-8087:43)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8041:5-8041:62)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8051:12-8051:86)
[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_remove_harness_negated.i:8051:12-8051:86)
[Info][Unsound] Unknown address in {&parent_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3193:5-3193:57)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3197:9-3197:44)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3199:9-3199:62)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3202:5-3202:58)
[Info][Unsound] Unknown address in {&child_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8063:13-8063:53)
[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_remove_harness_negated.i:7250:5-7250:43)
[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_remove_harness_negated.i:7251:5-7251:43)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8064:13-8064:41)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7944:5-7944:62)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7947:5-7947:80)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7948:5-7948:80)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7950:5-7950:49)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7559:5-7559:57)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7562:9-7562:62)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7571:5-7571:47)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7572:5-7572:47)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7574:5-7574:58)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7953:9-7953:80)
[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_remove_harness_negated.i:8069:13-8069:87)
[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_remove_harness_negated.i:8069:13-8069:87)
[Info][Unsound] Unknown address in {&parent_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)[⊤]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown address in {&child_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)[⊤]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8058:13-8059:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8063:13-8063:53)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8064:13-8064:41)
[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_remove_harness_negated.i:8069:13-8069:87)
[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_remove_harness_negated.i:8069:13-8069:87)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8075:5-8075:63)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8088:9-8088:34)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7982:5-7982:62)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7991:12-7991:58)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7993:15-7993:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7994:16-7994:42)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7995:16-7995:43)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8003:9-8003:72)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8004:9-8004:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8006:13-8006:52)
[Info][Unsound] Unknown address in {&other_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)[⊤]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8016:17-8016:56)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8023:13-8023:39)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7993:15-7993:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7994:16-7994:42)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7995:16-7995:43)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8003:9-8003:72)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8004:9-8004:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8006:13-8006:52)
[Info][Unsound] Unknown address in {&other_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)[⊤]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8012:13-8012:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8016:17-8016:56)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8023:13-8023:39)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8033:5-8033:63)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8091:5-8091:63)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8374:5-8374:63)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8390:5-8390:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8457:9-8457:87)
[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_remove_harness_negated.i:8457:9-8457:87)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8459:13-8459:97)
[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_remove_harness_negated.i:8459:13-8459:97)
[Info][Unsound] Unknown value in {&(alloc@sid:2573)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8464:5-8464:62)
[Warning][Deadcode] Function '__CPROVER_allocated_memory' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_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_remove_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_remove_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_remove_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_remove_harness_negated.i:248:1-251:1)
[Warning][Deadcode] Function 'nondet_uint16_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_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_remove_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_remove_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_remove_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_remove_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_remove_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_remove_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_remove_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_remove_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_remove_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_remove_harness_negated.i:2485:1-2491: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_remove_harness_negated.i:2507:1-2513:1)
[Warning][Deadcode] Function 'aws_mul_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2519:1-2524:1)
[Warning][Deadcode] Function 'aws_add_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2529:1-2535:1)
[Warning][Deadcode] Function 'aws_add_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2541:1-2546:1)
[Warning][Deadcode] Function 'aws_add_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2551:1-2557:1)
[Warning][Deadcode] Function 'aws_add_u32_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2563:1-2568:1)
[Warning][Deadcode] Function 'aws_mul_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2572:1-2580: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_remove_harness_negated.i:2599:1-2607:1)
[Warning][Deadcode] Function 'aws_add_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2613:1-2621:1)
[Warning][Deadcode] Function 'aws_is_power_of_two' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2626:1-2631:1)
[Warning][Deadcode] Function 'aws_round_up_to_power_of_two' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2637:1-2658:1)
[Warning][Deadcode] Function 'aws_array_list_init_dynamic' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2861:1-2904:1)
[Warning][Deadcode] Function 'aws_array_list_init_static' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2906:1-2933: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_remove_harness_negated.i:2964:1-2974:1)
[Warning][Deadcode] Function 'aws_array_list_clean_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2976:1-2984:1)
[Warning][Deadcode] Function 'aws_array_list_push_back' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2986:1-3002: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_remove_harness_negated.i:3004:1-3019: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_remove_harness_negated.i:3021:1-3032: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_remove_harness_negated.i:3034:1-3054: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_remove_harness_negated.i:3056:1-3085: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_remove_harness_negated.i:3087:1-3103: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_remove_harness_negated.i:3124:1-3134: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_remove_harness_negated.i:3136:1-3152: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_remove_harness_negated.i:3154:1-3161:1)
[Warning][Deadcode] Function 'aws_array_list_set_at' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3206:1-3235: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_remove_harness_negated.i:3237:1-3244: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_remove_harness_negated.i:3945:1-3948:1)
[Warning][Deadcode] Function 'aws_hton64' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3953:1-3968:1)
[Warning][Deadcode] Function 'aws_ntoh64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3973:1-3975:1)
[Warning][Deadcode] Function 'aws_hton32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3980:1-3986:1)
[Warning][Deadcode] Function 'aws_htonf32' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3991:1-4007:1)
[Warning][Deadcode] Function 'aws_htonf64' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4012:1-4032:1)
[Warning][Deadcode] Function 'aws_ntoh32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4037:1-4043:1)
[Warning][Deadcode] Function 'aws_ntohf32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4048:1-4050:1)
[Warning][Deadcode] Function 'aws_ntohf64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4055:1-4057:1)
[Warning][Deadcode] Function 'aws_hton24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4062:1-4069:1)
[Warning][Deadcode] Function 'aws_ntoh24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4074:1-4081:1)
[Warning][Deadcode] Function 'aws_hton16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4086:1-4092:1)
[Warning][Deadcode] Function 'aws_ntoh16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:4097:1-4103: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_remove_harness_negated.i:4674:1-4680: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_remove_harness_negated.i:4681:1-4686: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_remove_harness_negated.i:4691:1-4710: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_remove_harness_negated.i:4717:1-4721: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_remove_harness_negated.i:4728:1-4732: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_remove_harness_negated.i:4733:1-4767: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_remove_harness_negated.i:4772:1-4784: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_remove_harness_negated.i:4789:1-4795: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_remove_harness_negated.i:4800:1-4806: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_remove_harness_negated.i:4813:1-4819: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_remove_harness_negated.i:4825:1-4831: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_remove_harness_negated.i:4836:1-4843: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_remove_harness_negated.i:4848:1-4855: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_remove_harness_negated.i:4860:1-4875: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_remove_harness_negated.i:4880:1-4906: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_remove_harness_negated.i:4911:1-4926: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_remove_harness_negated.i:4932:1-4939: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_remove_harness_negated.i:4944:1-4952: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_remove_harness_negated.i:4957:1-4965: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_remove_harness_negated.i:4970:1-4978: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_remove_harness_negated.i:4983:1-4991: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_remove_harness_negated.i:4996:1-5004: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_remove_harness_negated.i:5009:1-5017: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_remove_harness_negated.i:5019:1-5046: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_remove_harness_negated.i:5651:1-5654: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_remove_harness_negated.i:5659:1-5662: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_remove_harness_negated.i:5667:1-5670: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_remove_harness_negated.i:5675:1-5678: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_remove_harness_negated.i:5684:1-5687: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_remove_harness_negated.i:5693:1-5696: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_remove_harness_negated.i:5703:1-5709: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_remove_harness_negated.i:5716:1-5722: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_remove_harness_negated.i:5728:1-5731: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_remove_harness_negated.i:5737:1-5740: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_remove_harness_negated.i:5746:1-5749: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_remove_harness_negated.i:5755:1-5758: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_remove_harness_negated.i:5764:1-5767: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_remove_harness_negated.i:5782:1-5797: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_remove_harness_negated.i:5803:1-5806: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_remove_harness_negated.i:5812:1-5815: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_remove_harness_negated.i:5820:1-5823: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_remove_harness_negated.i:5828:1-5831: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_remove_harness_negated.i:5836:1-5839: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_remove_harness_negated.i:5844:1-5847: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_remove_harness_negated.i:5853:1-5859: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_remove_harness_negated.i:5865:1-5871: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_remove_harness_negated.i:5878:1-5896: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_remove_harness_negated.i:5903:1-5921: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_remove_harness_negated.i:5926:1-5929: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_remove_harness_negated.i:5934:1-5937: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_remove_harness_negated.i:5942:1-5945: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_remove_harness_negated.i:5950:1-5953: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_remove_harness_negated.i:5958:1-5961: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_remove_harness_negated.i:5967:1-5970: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_remove_harness_negated.i:6076:1-6082: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_remove_harness_negated.i:6087:1-6093: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_remove_harness_negated.i:6099:1-6118:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6279:1-6283: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_remove_harness_negated.i:6289:1-6294: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_remove_harness_negated.i:6299:1-6309: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_remove_harness_negated.i:6635:1-6638: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_remove_harness_negated.i:6641:1-6644: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_remove_harness_negated.i:6646:1-6651: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_remove_harness_negated.i:6653:1-6663: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_remove_harness_negated.i:6668:1-6677: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_remove_harness_negated.i:6682:1-6701: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_remove_harness_negated.i:6704:1-6707: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_remove_harness_negated.i:6709:1-6713: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_remove_harness_negated.i:6744:1-6768: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_remove_harness_negated.i:6797:1-6804: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_remove_harness_negated.i:6807:1-6810: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_remove_harness_negated.i:6813:1-6820: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_remove_harness_negated.i:6828:1-6828: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_remove_harness_negated.i:6830:1-6835: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_remove_harness_negated.i:6837:1-6841: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_remove_harness_negated.i:6843:1-6853: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_remove_harness_negated.i:6855:1-6864: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_remove_harness_negated.i:6871:1-6874: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_remove_harness_negated.i:6880:1-6883: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_remove_harness_negated.i:6888:1-6891: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_remove_harness_negated.i:6897:1-6901:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6910:1-6917:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6930:1-6934:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6941:1-6958:1)
[Warning][Deadcode] Function 'aws_allocator_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6960:1-6963:1)
[Warning][Deadcode] Function 'aws_mem_acquire' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6965:1-6975:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:6977:1-6997: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_remove_harness_negated.i:7001:1-7094:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7098:1-7111:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7113:1-7135:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7136:1-7149: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_remove_harness_negated.i:7151:1-7159:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7161:1-7163: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_remove_harness_negated.i:7165:1-7169: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_remove_harness_negated.i:7171:1-7177: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_remove_harness_negated.i:7179:1-7196: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_remove_harness_negated.i:7198:1-7214: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_remove_harness_negated.i:7216:1-7227: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_remove_harness_negated.i:7229:1-7241: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_remove_harness_negated.i:7243:1-7247:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7256:1-7269:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7272:1-7277:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7288:1-7302: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_remove_harness_negated.i:7305:1-7310:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7312:1-7315:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7320:1-7323:1)
[Warning][Deadcode] Function 'aws_last_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7341:1-7343:1)
[Warning][Deadcode] Function '___memcpy_chk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7363:1-7366:1)
[Warning][Deadcode] Function 'aws_array_list_calc_necessary_size' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7379:1-7393:1)
[Warning][Deadcode] Function 'aws_array_list_shrink_to_fit' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7395:1-7428:1)
[Warning][Deadcode] Function 'aws_array_list_copy' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7430:1-7478:1)
[Warning][Deadcode] Function 'aws_array_list_ensure_capacity' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7480:1-7531:1)
[Warning][Deadcode] Function 'aws_secure_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7734:1-7751: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_remove_harness_negated.i:7933:1-7942:1)
[Warning][Deadcode] Function 'aws_priority_queue_init_dynamic' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8094:1-8120: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_remove_harness_negated.i:8122:1-8144: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_remove_harness_negated.i:8166:1-8183: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_remove_harness_negated.i:8267:1-8272:1)
[Warning][Deadcode] Function 'aws_priority_queue_push' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8274:1-8282:1)
[Warning][Deadcode] Function 'aws_priority_queue_push_ref' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8284:1-8338:1)
[Warning][Deadcode] Function 'aws_priority_queue_pop' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8394:1-8402: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_remove_harness_negated.i:8404:1-8407: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_remove_harness_negated.i:8409:1-8411: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_remove_harness_negated.i:8413:1-8415:1)
[Warning][Deadcode] Function 'aws_array_list_is_valid' has dead code:
  on line 2941 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2941-2941)
[Warning][Deadcode] Function 'aws_priority_queue_backpointers_valid' has dead code:
  on line 8190 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8190-8190)
[Warning][Deadcode] Function 'aws_priority_queue_is_valid' has dead code:
  on line 8249 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8249-8249)
[Warning][Deadcode] Function 'my_abort' has dead code:
  on line 234 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:234-234)
[Warning][Deadcode] Function 's_remove_node' has dead code:
  on line 8363 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8363-8363)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 293
  dead: 870 (865 in uncalled functions)
  total lines: 1163
[Warning][Deadcode][CWE-570] condition '! queue' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8247:9-8247:15)
[Warning][Deadcode][CWE-571] condition 'val' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:3179:5-3181:86)
[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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'src' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7349:5-7351:29)
[Warning][Deadcode][CWE-571] condition 'item' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8342:5-8342:87)
[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_remove_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_remove_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_remove_harness_negated.i:8264:12-8264: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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'dst' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:7352:5-7354:29)
[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_remove_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_remove_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_remove_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_remove_harness_negated.i:8387:115-8387:117)
[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_remove_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_remove_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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition 'backpointer' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8362:13-8362:24)
[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_remove_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_remove_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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'item' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8383:5-8383:87)
[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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition 'sizeof(struct aws_priority_queue_node ) == 0UL' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8384:5-8384:99)
[Warning][Deadcode][CWE-570] condition '! queue' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8188:9-8188:15)
[Warning][Deadcode][CWE-571] condition 'node' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8384:5-8384:99)
[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_remove_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_remove_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_remove_harness_negated.i:8385:153-8386:107)
[Warning][Deadcode][CWE-571] condition 'item' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8452:5-8452:84)
[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_remove_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_remove_harness_negated.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition 'sizeof(struct aws_priority_queue_node ) == 0UL' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8156:17-8158:96)
[Warning][Deadcode][CWE-570] condition 'sizeof(struct aws_priority_queue_node ) == 0UL' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8453:5-8453:111)
[Warning][Deadcode][CWE-571] condition 'node' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8156:17-8158:96)
[Warning][Deadcode][CWE-571] condition 'backpointer' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:8453:5-8453:111)
[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_remove_harness_negated.i:2337:9-2337:33)
[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_remove_harness_negated.i:8236:9-8238:55)
[Warning][Deadcode][CWE-570] condition '! list' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_remove_harness_negated.i:2939:9-2939: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_remove_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_remove_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_remove_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
