./goblint --conf conf/svcomp.json --set ana.malloc.unique_address_count 1 --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:6769:5-6776:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7035:5-7054:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7075:9-7096:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7579:5-7585:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8030:5-8068:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8089:5-8110:5 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8147:5-8147:85 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8176:5-8176:85 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8210:5-8216:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8422:5-8423:107 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8424:5-8424:117 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8434:5-8434:135 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8442:5-8442:135 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8473:9-8476:9 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] Setting "ana.int.interval" to true
[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 ! overflow) )
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:6735:9-6735: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_s_sift_down_harness.i:6738:9-6738: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_s_sift_down_harness.i:6739:12-6739: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_s_sift_down_harness.i:6739:12-6739: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_s_sift_down_harness.i:6739:12-6739: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_s_sift_down_harness.i:6735:9-6735: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_s_sift_down_harness.i:6738:9-6738: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_s_sift_down_harness.i:6739:12-6739: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_s_sift_down_harness.i:6739:12-6739: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_s_sift_down_harness.i:6739:12-6739: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_s_sift_down_harness.i:6744:9-6746: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_s_sift_down_harness.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_s_sift_down_harness.i:6747:9-6747: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_s_sift_down_harness.i:6749:9-6749: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_s_sift_down_harness.i:6932:5-6934: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_s_sift_down_harness.i:6935:12-6935: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_s_sift_down_harness.i:6935:12-6935: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6754:1-6754: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_s_sift_down_harness.i:6744:9-6746: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_s_sift_down_harness.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_s_sift_down_harness.i:6747:9-6747: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_s_sift_down_harness.i:6749:9-6749: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_s_sift_down_harness.i:6932:5-6934: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_s_sift_down_harness.i:6935:12-6935: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_s_sift_down_harness.i:6935:12-6935: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6750:9-6752: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_s_sift_down_harness.i:6754:1-6754: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:2498:9-2498:38)
[Info][Imprecise] Invalidating expressions: & c (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:255:12-255:46)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:7368:1-7368: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:7368:1-7368: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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:2195)}
                                                       item_size -> ⊤
                                                       length -> ⊤
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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:2195)}
                                                        item_size -> ⊤
                                                        length -> ⊤
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:8474:14-8475: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:3172:5-3172: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_s_sift_down_harness.i:3172:5-3172: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_s_sift_down_harness.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_s_sift_down_harness.i:3173:12-3173:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8030:15-8030:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8031:16-8031:42)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8032:16-8032: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:3199:9-3199: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_s_sift_down_harness.i:3199:9-3199: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_s_sift_down_harness.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_s_sift_down_harness.i:3202:5-3202: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_s_sift_down_harness.i:3202:5-3202: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_s_sift_down_harness.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_s_sift_down_harness.i:3203:12-3203:52)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8043:13-8043:52)
[Info][Unsound] Unknown address in {&other_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8049:13-8049: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_s_sift_down_harness.i:8049:13-8049:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8053:17-8053:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8192:40-8192: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_s_sift_down_harness.i:7594:5-7594: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_s_sift_down_harness.i:7595:5-7595: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_s_sift_down_harness.i:7596:5-7596: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_s_sift_down_harness.i:7596:5-7596: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_s_sift_down_harness.i:7599:9-7599: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_s_sift_down_harness.i:7599:9-7599: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_s_sift_down_harness.i:7600:9-7600: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_s_sift_down_harness.i:7603:10-7605: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_s_sift_down_harness.i:7605:24-7607: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_s_sift_down_harness.i:7608:5-7608: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_s_sift_down_harness.i:7609:5-7609:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7610:5-7610: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_s_sift_down_harness.i:7610:5-7610:59)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7573:5-7573: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_s_sift_down_harness.i:7573:5-7573:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7574:5-7574: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_s_sift_down_harness.i:7574:5-7574: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_s_sift_down_harness.i:7577:12-7577: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_s_sift_down_harness.i:7579:17-7579:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7580:9-7580: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_s_sift_down_harness.i:7580:9-7580:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7397:12-7397: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_s_sift_down_harness.i:7397:12-7397:36)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7377:5-7380: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_s_sift_down_harness.i:7377:5-7380: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_s_sift_down_harness.i:7377:5-7380: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_s_sift_down_harness.i:7377:5-7380: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_s_sift_down_harness.i:7381:5-7383: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_s_sift_down_harness.i:7381:5-7383: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_s_sift_down_harness.i:7381:5-7383: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_s_sift_down_harness.i:7384:5-7386: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_s_sift_down_harness.i:7384:5-7386: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_s_sift_down_harness.i:7390:9-7390:39)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (lib/sv-comp/stub/src/sv-comp.c:42:170-42:173)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:267:35-267: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_s_sift_down_harness.i:267:35-267: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_s_sift_down_harness.i:7391:10-7391:51)
[Warning][Unknown] lval (& queue)->container points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7393:12-7393: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_s_sift_down_harness.i:7397:12-7397:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7581:9-7581: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_s_sift_down_harness.i:7581:9-7581:55)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7377:5-7380: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_s_sift_down_harness.i:7384:5-7386:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7391:10-7391:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7582:9-7582: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_s_sift_down_harness.i:7582:9-7582:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7583:9-7583: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_s_sift_down_harness.i:7583:9-7583:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7579:17-7579:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7580:9-7580: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_s_sift_down_harness.i:7580:9-7580:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7581:9-7581: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_s_sift_down_harness.i:7581:9-7581:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7582:9-7582: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_s_sift_down_harness.i:7582:9-7582:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7583:9-7583: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_s_sift_down_harness.i:7583:9-7583:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7579:17-7579:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7580:9-7580: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_s_sift_down_harness.i:7580:9-7580:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7581:9-7581: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_s_sift_down_harness.i:7581:9-7581:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7582:9-7582: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_s_sift_down_harness.i:7582:9-7582:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7583:9-7583: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_s_sift_down_harness.i:7583:9-7583:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7579:17-7579:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7580:9-7580: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_s_sift_down_harness.i:7580:9-7580:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7581:9-7581: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_s_sift_down_harness.i:7581:9-7581:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7582:9-7582: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_s_sift_down_harness.i:7582:9-7582:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7583:9-7583: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_s_sift_down_harness.i:7583:9-7583:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7579:17-7579:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7580:9-7580: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_s_sift_down_harness.i:7580:9-7580:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7581:9-7581: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_s_sift_down_harness.i:7581:9-7581:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7582:9-7582: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_s_sift_down_harness.i:7582:9-7582:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7583:9-7583: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_s_sift_down_harness.i:7583:9-7583:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7584:9-7584: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_s_sift_down_harness.i:7579:17-7579: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_s_sift_down_harness.i:7587:12-7587:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7588:5-7588: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_s_sift_down_harness.i:7588:5-7588:54)
[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_s_sift_down_harness.i:7377:5-7380:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7589:5-7589: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_s_sift_down_harness.i:7589:5-7589: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_s_sift_down_harness.i:7377:5-7380: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_s_sift_down_harness.i:7391:10-7391:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7590:5-7590: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_s_sift_down_harness.i:7590:5-7590: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_s_sift_down_harness.i:7591:1-7591: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_s_sift_down_harness.i:7611:5-7611: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_s_sift_down_harness.i:7611:5-7611: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_s_sift_down_harness.i:7612:1-7612:1)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7994:40-7994:114)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7995:40-7995:114)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8002:14-8002: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_s_sift_down_harness.i:8002:14-8002:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8006:14-8006:39)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8009:5-8009:60)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8300:9-8300:74)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8234:9-8238:46)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8277:14-8277:146)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8010:5-8010:78)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8186:9-8186:79)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8011:5-8011:78)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8030:15-8030:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8031:16-8031:42)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8032:16-8032:43)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8043:13-8043:52)
[Info][Unsound] Unknown address in {&other_item} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8049:13-8049: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_s_sift_down_harness.i:8049:13-8049:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8053:17-8053:56)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8060:13-8060:39)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7981:5-7981:62)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7984:5-7984:80)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7985:5-7985:80)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7990:9-7990:80)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8070:5-8070:60)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8483:5-8483:59)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8484:5-8484:74)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8192:40-8192:116)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Info][Unsound] Unknown value in {&(alloc@sid:2195)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8211:13-8211:66)
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:232:1-234:1)
[Warning][Deadcode] Function '__CPROVER_allocated_memory' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:266:1-266:64)
[Warning][Deadcode] Function 'nondet_voidp' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:3087:1-3103:1)
[Warning][Deadcode] Function 'aws_array_list_pop_back' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:3105:1-3122: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:3154:1-3161:1)
[Warning][Deadcode] Function 'aws_array_list_get_at' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:3176:1-3189: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:4932:1-4943: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_s_sift_down_harness.i:4948:1-4956: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_s_sift_down_harness.i:4961:1-4969: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_s_sift_down_harness.i:4974:1-4986: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_s_sift_down_harness.i:4991:1-4999: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_s_sift_down_harness.i:5004:1-5012: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_s_sift_down_harness.i:5017:1-5029: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_s_sift_down_harness.i:5031:1-5058: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_s_sift_down_harness.i:5663:1-5666: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_s_sift_down_harness.i:5671:1-5674: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_s_sift_down_harness.i:5679:1-5682: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_s_sift_down_harness.i:5687:1-5690: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_s_sift_down_harness.i:5696:1-5699: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_s_sift_down_harness.i:5705:1-5708: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_s_sift_down_harness.i:5715:1-5721: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_s_sift_down_harness.i:5728:1-5734: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_s_sift_down_harness.i:5740:1-5743: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_s_sift_down_harness.i:5749:1-5752: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_s_sift_down_harness.i:5758:1-5761: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_s_sift_down_harness.i:5767:1-5770: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_s_sift_down_harness.i:5776:1-5779: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_s_sift_down_harness.i:5794:1-5809: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_s_sift_down_harness.i:5815:1-5818: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_s_sift_down_harness.i:5824:1-5827: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_s_sift_down_harness.i:5832:1-5835: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_s_sift_down_harness.i:5840:1-5843: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_s_sift_down_harness.i:5848:1-5851: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_s_sift_down_harness.i:5856:1-5859: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_s_sift_down_harness.i:5865:1-5871: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_s_sift_down_harness.i:5877:1-5883: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_s_sift_down_harness.i:5890:1-5908: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_s_sift_down_harness.i:5915:1-5933: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_s_sift_down_harness.i:5938:1-5941: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_s_sift_down_harness.i:5946:1-5949: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_s_sift_down_harness.i:5954:1-5957: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_s_sift_down_harness.i:5962:1-5965: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_s_sift_down_harness.i:5970:1-5973: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_s_sift_down_harness.i:5979:1-5982: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_s_sift_down_harness.i:6088:1-6094: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_s_sift_down_harness.i:6099:1-6105: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_s_sift_down_harness.i:6111:1-6130:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:6291:1-6295: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_s_sift_down_harness.i:6301:1-6306: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_s_sift_down_harness.i:6311:1-6321: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_s_sift_down_harness.i:6647:1-6650: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_s_sift_down_harness.i:6653:1-6656: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_s_sift_down_harness.i:6658:1-6663: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_s_sift_down_harness.i:6665:1-6675: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_s_sift_down_harness.i:6680:1-6689: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_s_sift_down_harness.i:6694:1-6713: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_s_sift_down_harness.i:6716:1-6719: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_s_sift_down_harness.i:6721:1-6725: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_s_sift_down_harness.i:6756:1-6780: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_s_sift_down_harness.i:6809:1-6816: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_s_sift_down_harness.i:6819:1-6822: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_s_sift_down_harness.i:6825:1-6832: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_s_sift_down_harness.i:6840:1-6840: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_s_sift_down_harness.i:6842:1-6847: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_s_sift_down_harness.i:6849:1-6853: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_s_sift_down_harness.i:6855:1-6865: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_s_sift_down_harness.i:6867:1-6876: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_s_sift_down_harness.i:6883:1-6886: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_s_sift_down_harness.i:6892:1-6895: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_s_sift_down_harness.i:6900:1-6903: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_s_sift_down_harness.i:6909:1-6913:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:6922:1-6929:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:6942:1-6946:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:6953:1-6970: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_s_sift_down_harness.i:6972:1-6975:1)
[Warning][Deadcode] Function 'aws_mem_acquire' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:6977:1-6987:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:6989:1-7009: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_s_sift_down_harness.i:7013:1-7106:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7110:1-7123:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7125:1-7147:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7148:1-7161: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_s_sift_down_harness.i:7163:1-7171:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7173:1-7175: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_s_sift_down_harness.i:7177:1-7181: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_s_sift_down_harness.i:7183:1-7189: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_s_sift_down_harness.i:7191:1-7208: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_s_sift_down_harness.i:7210:1-7226: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_s_sift_down_harness.i:7228:1-7239: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_s_sift_down_harness.i:7241:1-7253: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_s_sift_down_harness.i:7255:1-7259:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7272:1-7289:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7292:1-7301:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7312:1-7326: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_s_sift_down_harness.i:7329:1-7338:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7340:1-7345:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7350:1-7355:1)
[Warning][Deadcode] Function 'aws_last_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7373:1-7375:1)
[Warning][Deadcode] Function '___memcpy_chk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7400:1-7403: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_s_sift_down_harness.i:7416:1-7430: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_s_sift_down_harness.i:7432:1-7465: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_s_sift_down_harness.i:7467:1-7515: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_s_sift_down_harness.i:7517:1-7568:1)
[Warning][Deadcode] Function 'aws_secure_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:7771:1-7788: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_s_sift_down_harness.i:7970:1-7979:1)
[Warning][Deadcode] Function 's_sift_up' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8075:1-8114:1)
[Warning][Deadcode] Function 's_sift_either' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8120:1-8129: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_s_sift_down_harness.i:8131:1-8157: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_s_sift_down_harness.i:8159:1-8181: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_s_sift_down_harness.i:8304:1-8309: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_s_sift_down_harness.i:8311:1-8319: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_s_sift_down_harness.i:8321:1-8375:1)
[Warning][Deadcode] Function 's_remove_node' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8377:1-8413:1)
[Warning][Deadcode] Function 'aws_priority_queue_remove' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8415:1-8429: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_s_sift_down_harness.i:8431:1-8439: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_s_sift_down_harness.i:8441:1-8444: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_s_sift_down_harness.i:8446:1-8448: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_s_sift_down_harness.i:8450:1-8452: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_s_sift_down_harness.i:2941-2941)
[Warning][Deadcode] Function 'aws_priority_queue_backpointers_valid' has dead code:
  on line 8227 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8227-8227)
[Warning][Deadcode] Function 'aws_priority_queue_backpointers_valid_deep' has dead code:
  on line 8207 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8207-8207)
[Warning][Deadcode] Function 'aws_priority_queue_is_valid' has dead code:
  on line 8286 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8286-8286)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 223
  dead: 930 (926 in uncalled functions)
  total lines: 1153
[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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:7381:5-7383: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_s_sift_down_harness.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_s_sift_down_harness.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '! queue' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8225:9-8225:15)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.i:7384:5-7386: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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:8193:17-8195:96)
[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_s_sift_down_harness.i:8193:17-8195:96)
[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_s_sift_down_harness.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_s_sift_down_harness.i:8273:9-8275:55)
[Warning][Deadcode][CWE-570] condition '! queue' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8205:9-8205:15)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '! queue' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8284:9-8284:15)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.i:8301:12-8301: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_s_sift_down_harness.i:2337:9-2337:33)
[Warning][Deadcode][CWE-570] condition '! list' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:2337:9-2337:33)
[Warning][Deadcode][CWE-571] condition 'i < queue.container.length' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:8473:13-8473:52)
[Warning][Deadcode][CWE-570] condition '! list->length' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.i:3169:5-3169:55)
[Warning][Deadcode][CWE-571] condition 'i < bufsize' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_priority_queue_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.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_s_sift_down_harness.i:2337:9-2337:33)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
