./goblint --conf conf/svcomp.json --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_ring_buffer_acquire_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_ring_buffer_acquire_harness.i:2337:5-2343:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2876:5-2876:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2983:5-2983:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4629:5-4629:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4703:5-4716:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6720:5-6727:5 with factor 7
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6986:5-7005:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7026:9-7047:9 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7351:5-7351:112 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7354:9-7354:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7366:9-7366:61 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7490:5-7490:116 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7492:5-7492:57 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7535:9-7535:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7548:9-7548:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7591:5-7610:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7686:5-7692:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7740:5-7753:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7776:5-7789:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7804:5-7812:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7918:5-7920:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7934:5-7934:99 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8020:5-8020:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8021:5-8021:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8040:5-8040:103 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8041:5-8041:115 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8061:5-8063:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8078:5-8081:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8155:5-8171:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8504:9-8504:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8601:5-8601:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8624:5-8624:65 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8630:5-8630:105 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8810:5-8810:55 with factor 25
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] 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) )
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9247:5-9247:71)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9247:5-9247:71)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6623:5-6623:82)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6623:5-6623:82)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6623:5-6623:82)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5640:5-5640:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5640:5-5640:68)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5640:5-5640:68)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5809:5-5809:84)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5756:20-5756:21)
[Info][Imprecise] Invalidating expressions: & var->value (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5809:5-5809:84)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5809:5-5809:84)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5810:1-5810:1)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5641:1-5641:1)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6624:5-6624:82)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6624:5-6624:82)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6624:5-6624:82)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5640:5-5640:68)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5640:5-5640:68)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5809:5-5809:84)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5756:20-5756:21)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5809:5-5809:84)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5810:1-5810:1)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5641:1-5641:1)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6625:5-6625:59)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9248:5-9248:61)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9248:5-9248:61)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6065:13-6065:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6065:13-6065:68)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5793:12-5793:87)
[Info][Imprecise] Invalidating expressions: & tmp___0 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5793:12-5793:87)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5793:12-5793:87)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5793:12-5793:87)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6066:13-6066:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6066:13-6066:68)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5793:12-5793:87)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5793:12-5793:87)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5793:12-5793:87)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6069:9-6069:73)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6069:9-6069:73)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6069:9-6069:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6072:9-6072:73)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6072:9-6072:73)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6072:9-6072:73)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6077:12-6080:93)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9249:5-9249:54)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9249:5-9249:54)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9255:9-9255:74)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9255:9-9255:74)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8628:5-8628:62)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8628:5-8628:62)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8634:5-8634:89)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8634:5-8634:89)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5750:20-5750:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8634:92-8634:163)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8634:92-8634:163)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8634:92-8634:163)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8635:5-8635:89)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8635:5-8635:89)
[Warning][Unknown] lval (& ring_buf)->head points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5748:20-5748:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8635:92-8635:163)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8635:92-8635:163)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8635:92-8635:163)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8639:16-8639:76)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8639:16-8639:76)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8642:13-8642:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8642:13-8642:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8646:9-8646:109)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8646:9-8646:109)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8646:9-8646:109)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6044:13-6044:90)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6044:13-6044:90)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8646:111-8646:224)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8646:111-8646:224)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8646:111-8646:224)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8647:9-8647:92)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8647:9-8647:92)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8647:94-8647:190)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8647:94-8647:190)
[Warning][Unknown] lval (& ring_buf)->tail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5752:20-5752:21)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8649:9-8649:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8649:9-8649:64)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8657:16-8657:47)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8657:16-8657:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8660:13-8660:101)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8660:13-8660:101)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8660:13-8660:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8660:103-8660:204)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8660:103-8660:204)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8660:103-8660:204)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8661:13-8661:76)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8230:5-8230:53)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8230:5-8230:53)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8662:13-8662:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8662:13-8662:68)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8663:13-8663:61)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8663:13-8663:61)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8669:13-8669:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8670:13-8670:101)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8670:13-8670:101)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8670:13-8670:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8670:103-8670:204)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8670:103-8670:204)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8670:103-8670:204)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8671:13-8671:76)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8672:13-8672:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8672:13-8672:68)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8673:13-8673:61)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8673:13-8673:61)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8677:13-8677:71)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8678:13-8678:113)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8678:13-8678:113)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8678:13-8678:113)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8678:115-8678:228)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8678:115-8678:228)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8678:115-8678:228)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8680:13-8680:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8680:13-8680:68)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8686:5-8686:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8686:5-8686:60)
[Info][Unsound] Unknown address in {&ring_buf_old.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9258:13-9258:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9258:13-9258:64)
[Info][Unsound] Unknown address in {&ring_buf_old.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Info][Unsound] Unknown address in {&ring_buf_old.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9259:13-9259:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9259:13-9259:64)
[Info][Unsound] Unknown address in {&ring_buf_old.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5624:12-5624:71)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9260:13-9260:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9260:13-9260:60)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9261:13-9261:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9261:13-9261:60)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9264:9-9264:55)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9264:9-9264:55)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9268:9-9268:80)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9268:9-9268:80)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9268:9-9268:80)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8817:5-8817:65)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8817:5-8817:65)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8818:5-8818:54)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8818:5-8818:54)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8821:9-8821:55)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8821:9-8821:55)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8821:9-8821:55)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8801:12-8802:112)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8822:5-8822:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8822:5-8822:63)
[Info][Unsound] Unknown address in {&buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8823:5-8823:52)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8823:5-8823:52)
[Info][Unsound] Unknown address in {&ring_buf_old} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9269:13-9269:52)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9269:13-9269:52)
[Info][Unsound] Unknown address in {&ring_buf_old.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6053:13-6053:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6053:13-6053:68)
[Info][Unsound] Unknown address in {&ring_buf_old.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6054:13-6054:68)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6054:13-6054:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9270:13-9270:84)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9273:13-9273:125)
[Info][Unsound] Unknown address in {&ring_buf_old} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9276:9-9276:99)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9276:9-9276:99)
[Info][Unsound] Unknown address in {&ring_buf_old.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9201:13-9201:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9201:13-9201:57)
[Info][Unsound] Unknown address in {&ring_buf_old.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9202:13-9202:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9202:13-9202:57)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9276:9-9276:99)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9276:9-9276:99)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9212:13-9212:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9212:13-9212:57)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9213:13-9213:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9213:13-9213:57)
[Info][Unsound] Unknown address in {&ring_buf_old} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9277:9-9277:105)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9277:9-9277:105)
[Info][Unsound] Unknown address in {&ring_buf_old.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9212:13-9212:57)
[Info][Unsound] Unknown address in {&ring_buf_old.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9213:13-9213:57)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9277:9-9277:105)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9277:9-9277:105)
[Info][Unsound] Unknown address in {&ring_buf_old} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9278:9-9279:119)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9278:9-9279:119)
[Info][Unsound] Unknown address in {&ring_buf_old.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9223:13-9223:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9223:13-9223:57)
[Info][Unsound] Unknown address in {&ring_buf_old.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9224:13-9224:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9224:13-9224:57)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9278:9-9279:119)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9278:9-9279:119)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9223:13-9223:57)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9224:13-9224:57)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9278:9-9279:119)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9278:9-9279:119)
[Info][Unsound] Unknown address in {&ring_buf.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9234:13-9234:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9234:13-9234:57)
[Info][Unsound] Unknown address in {&ring_buf.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9235:13-9235:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9235:13-9235:57)
[Info][Unsound] Unknown address in {&ring_buf_old} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9280:9-9280:103)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9280:9-9280:103)
[Info][Unsound] Unknown address in {&ring_buf_old.head} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9234:13-9234:57)
[Info][Unsound] Unknown address in {&ring_buf_old.tail} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9235:13-9235:57)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9280:9-9280:103)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9280:9-9280:103)
[Info][Unsound] Unknown address in {&ring_buf_old} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9281:9-9281:102)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9281:9-9281:102)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9281:9-9281:102)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9281:9-9281:102)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9283:9-9283:65)
[Info][Unsound] Unknown address in {&ring_buf_old} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9283:9-9283:65)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9283:9-9283:65)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7202:9-7202:70)
[Info][Unsound] Unknown address in {&ring_buf} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9285:5-9285:59)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9285:5-9285:59)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:9288:5-9288:78)
[Warning][Deadcode] Function 'my_abort' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_harness.i:248:1-251:1)
[Warning][Deadcode] Function '__CPROVER_overflow_mult' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:253:1-256:1)
[Warning][Deadcode] Function 'nondet_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:262:1-262:52)
[Warning][Deadcode] Function 'nondet_size_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:263:1-263:67)
[Warning][Deadcode] Function 'nondet_uint16_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_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_ring_buffer_acquire_harness.i:265:1-265:63)
[Warning][Deadcode] Function 'nondet_uint8_t' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:267:1-267:62)
[Warning][Deadcode] Function 'nondet_voidp' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_harness.i:1131:1-1135:1)
[Warning][Deadcode] Function 'aws_is_mem_zeroed' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2331:1-2348:1)
[Warning][Deadcode] Function 'aws_mul_u64_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2485:1-2491:1)
[Warning][Deadcode] Function 'aws_mul_u64_checked' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2497:1-2502:1)
[Warning][Deadcode] Function 'aws_mul_u32_saturating' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_harness.i:2572:1-2580:1)
[Warning][Deadcode] Function 'aws_mul_size_checked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2586:1-2594:1)
[Warning][Deadcode] Function 'aws_add_size_saturating' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_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_ring_buffer_acquire_harness.i:2906:1-2933:1)
[Warning][Deadcode] Function 'aws_array_list_is_valid' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2935:1-2962:1)
[Warning][Deadcode] Function 'aws_array_list_debug_print' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_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_ring_buffer_acquire_harness.i:2976:1-2984:1)
[Warning][Deadcode] Function 'aws_array_list_front' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:2986:1-3001:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3003:1-3014:1)
[Warning][Deadcode] Function 'aws_array_list_pop_front_n' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3016:1-3036:1)
[Warning][Deadcode] Function 'aws_array_list_erase' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3038:1-3067:1)
[Warning][Deadcode] Function 'aws_array_list_back' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3069:1-3085:1)
[Warning][Deadcode] Function 'aws_array_list_pop_back' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3087:1-3104:1)
[Warning][Deadcode] Function 'aws_array_list_clear' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3106:1-3116:1)
[Warning][Deadcode] Function 'aws_array_list_swap_contents' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3118:1-3134:1)
[Warning][Deadcode] Function 'aws_array_list_capacity' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3136:1-3143:1)
[Warning][Deadcode] Function 'aws_array_list_length' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3145:1-3156:1)
[Warning][Deadcode] Function 'aws_array_list_get_at' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3158:1-3171:1)
[Warning][Deadcode] Function 'aws_array_list_get_at_ptr' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3173:1-3186:1)
[Warning][Deadcode] Function 'aws_array_list_sort' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3188:1-3195:1)
[Warning][Deadcode] Function 'aws_is_big_endian' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3896:1-3899:1)
[Warning][Deadcode] Function 'aws_hton64' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3904:1-3919:1)
[Warning][Deadcode] Function 'aws_ntoh64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3924:1-3926:1)
[Warning][Deadcode] Function 'aws_hton32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3931:1-3937:1)
[Warning][Deadcode] Function 'aws_htonf32' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3942:1-3958:1)
[Warning][Deadcode] Function 'aws_htonf64' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3963:1-3983:1)
[Warning][Deadcode] Function 'aws_ntoh32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3988:1-3994:1)
[Warning][Deadcode] Function 'aws_ntohf32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:3999:1-4001:1)
[Warning][Deadcode] Function 'aws_ntohf64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4006:1-4008:1)
[Warning][Deadcode] Function 'aws_hton24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4013:1-4020:1)
[Warning][Deadcode] Function 'aws_ntoh24' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4025:1-4032:1)
[Warning][Deadcode] Function 'aws_hton16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4037:1-4043:1)
[Warning][Deadcode] Function 'aws_ntoh16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4048:1-4054:1)
[Warning][Deadcode] Function 'aws_linked_list_node_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4625:1-4631:1)
[Warning][Deadcode] Function 'aws_linked_list_empty' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4632:1-4637:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4642:1-4661:1)
[Warning][Deadcode] Function 'aws_linked_list_node_next_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4668:1-4672:1)
[Warning][Deadcode] Function 'aws_linked_list_node_prev_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4679:1-4683:1)
[Warning][Deadcode] Function 'aws_linked_list_is_valid_deep' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4684:1-4718:1)
[Warning][Deadcode] Function 'aws_linked_list_init' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4723:1-4735:1)
[Warning][Deadcode] Function 'aws_linked_list_begin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4740:1-4746:1)
[Warning][Deadcode] Function 'aws_linked_list_end' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4751:1-4757:1)
[Warning][Deadcode] Function 'aws_linked_list_rbegin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4764:1-4770:1)
[Warning][Deadcode] Function 'aws_linked_list_rend' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4776:1-4782:1)
[Warning][Deadcode] Function 'aws_linked_list_next' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4787:1-4794:1)
[Warning][Deadcode] Function 'aws_linked_list_prev' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4799:1-4806:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_after' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4811:1-4826:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_nodes' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4831:1-4857:1)
[Warning][Deadcode] Function 'aws_linked_list_insert_before' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4862:1-4877:1)
[Warning][Deadcode] Function 'aws_linked_list_remove' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4883:1-4894:1)
[Warning][Deadcode] Function 'aws_linked_list_push_back' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4899:1-4907:1)
[Warning][Deadcode] Function 'aws_linked_list_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4912:1-4920:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_back' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4925:1-4937:1)
[Warning][Deadcode] Function 'aws_linked_list_push_front' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4942:1-4950:1)
[Warning][Deadcode] Function 'aws_linked_list_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4955:1-4963:1)
[Warning][Deadcode] Function 'aws_linked_list_pop_front' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4968:1-4980:1)
[Warning][Deadcode] Function 'aws_linked_list_swap_contents' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:4982:1-5009:1)
[Warning][Deadcode] Function 'aws_atomic_load_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5614:1-5617:1)
[Warning][Deadcode] Function 'aws_atomic_store_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5630:1-5633:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5647:1-5650:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5656:1-5659:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5666:1-5672:1)
[Warning][Deadcode] Function 'aws_atomic_compare_exchange_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5679:1-5685:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5691:1-5694:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5700:1-5703:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5709:1-5712:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5718:1-5721:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5727:1-5730:1)
[Warning][Deadcode] Function 'aws_atomic_init_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5766:1-5769:1)
[Warning][Deadcode] Function 'aws_atomic_init_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5775:1-5778:1)
[Warning][Deadcode] Function 'aws_atomic_load_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5783:1-5786:1)
[Warning][Deadcode] Function 'aws_atomic_store_int_explicit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5799:1-5802:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_int_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5816:1-5822:1)
[Warning][Deadcode] Function 'aws_atomic_exchange_ptr_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5828:1-5834: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_ring_buffer_acquire_harness.i:5841:1-5859: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_ring_buffer_acquire_harness.i:5866:1-5884:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_add_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5889:1-5892:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_sub_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5897:1-5900:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_or_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5905:1-5908:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_and_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5913:1-5916:1)
[Warning][Deadcode] Function 'aws_atomic_fetch_xor_explicit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5921:1-5924:1)
[Warning][Deadcode] Function 'aws_atomic_thread_fence' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5930:1-5933:1)
[Warning][Deadcode] Function 'aws_string_bytes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6242:1-6246:1)
[Warning][Deadcode] Function 'aws_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6252:1-6257:1)
[Warning][Deadcode] Function 'aws_c_string_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6262:1-6272:1)
[Warning][Deadcode] Function 'aws_byte_buf_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6598:1-6601:1)
[Warning][Deadcode] Function 'aws_byte_buf_has_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6604:1-6607: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_ring_buffer_acquire_harness.i:6631:1-6640: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_ring_buffer_acquire_harness.i:6645:1-6664:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_bounded' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6667:1-6670: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_ring_buffer_acquire_harness.i:6672:1-6676:1)
[Warning][Deadcode] Function 'aws_array_list_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6679:1-6691:1)
[Warning][Deadcode] Function 'ensure_array_list_has_allocated_data_member' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6693:1-6705:1)
[Warning][Deadcode] Function 'ensure_linked_list_is_allocated' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6707:1-6731:1)
[Warning][Deadcode] Function 'aws_priority_queue_is_bounded' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6734:1-6752:1)
[Warning][Deadcode] Function 'ensure_priority_queue_has_allocated_members' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6754:1-6758: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_ring_buffer_acquire_harness.i:6760:1-6767: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_ring_buffer_acquire_harness.i:6770:1-6773: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_ring_buffer_acquire_harness.i:6776:1-6783:1)
[Warning][Deadcode] Function 'hash_proof_destroy_noop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6791:1-6791: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_ring_buffer_acquire_harness.i:6793:1-6798: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_ring_buffer_acquire_harness.i:6800:1-6804:1)
[Warning][Deadcode] Function 'ensure_string_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6806:1-6816:1)
[Warning][Deadcode] Function 'ensure_c_str_is_allocated' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6818:1-6827:1)
[Warning][Deadcode] Function 's_can_fail_calloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6834:1-6837:1)
[Warning][Deadcode] Function 's_can_fail_malloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6843:1-6846:1)
[Warning][Deadcode] Function 's_can_fail_free_allocator' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6851:1-6854:1)
[Warning][Deadcode] Function 's_can_fail_realloc_allocator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6860:1-6864:1)
[Warning][Deadcode] Function 'bounded_calloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6873:1-6880:1)
[Warning][Deadcode] Function 'can_fail_calloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6893:1-6897:1)
[Warning][Deadcode] Function 'can_fail_malloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6899:1-6903:1)
[Warning][Deadcode] Function 'can_fail_realloc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6904:1-6921:1)
[Warning][Deadcode] Function 'aws_allocator_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6923:1-6926:1)
[Warning][Deadcode] Function 'aws_mem_acquire' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6928:1-6938:1)
[Warning][Deadcode] Function 'aws_mem_calloc' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6940:1-6960:1)
[Warning][Deadcode] Function 'aws_mem_acquire_many' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6964:1-7057:1)
[Warning][Deadcode] Function 'aws_mem_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7061:1-7074:1)
[Warning][Deadcode] Function 'aws_mem_realloc' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7076:1-7098:1)
[Warning][Deadcode] Function 'assert_bytes_match' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7099:1-7112:1)
[Warning][Deadcode] Function 'assert_all_bytes_are' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7114:1-7122:1)
[Warning][Deadcode] Function 'assert_all_zeroes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7124:1-7126:1)
[Warning][Deadcode] Function 'assert_byte_from_buffer_matches' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7128:1-7132:1)
[Warning][Deadcode] Function 'save_byte_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7134:1-7140:1)
[Warning][Deadcode] Function 'assert_array_list_equivalence' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7142:1-7159:1)
[Warning][Deadcode] Function 'assert_byte_buf_equivalence' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7161:1-7177:1)
[Warning][Deadcode] Function 'assert_byte_cursor_equivalence' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7179:1-7190:1)
[Warning][Deadcode] Function 'check_hash_table_unchanged' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7206:1-7210:1)
[Warning][Deadcode] Function 'nondet_compare' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7212:1-7220:1)
[Warning][Deadcode] Function 'uninterpreted_compare' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7223:1-7240:1)
[Warning][Deadcode] Function 'nondet_equals' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7243:1-7252:1)
[Warning][Deadcode] Function 'uninterpreted_equals' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7263:1-7277:1)
[Warning][Deadcode] Function 'uninterpreted_equals_assert_inputs_nonnull' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7280:1-7289:1)
[Warning][Deadcode] Function 'nondet_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7291:1-7296:1)
[Warning][Deadcode] Function 'uninterpreted_hasher' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7301:1-7306:1)
[Warning][Deadcode] Function 'aws_last_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7324:1-7326:1)
[Warning][Deadcode] Function 'aws_byte_buf_init' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7328:1-7346:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7348:1-7372:1)
[Warning][Deadcode] Function 'aws_byte_cursor_is_valid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7384:1-7388:1)
[Warning][Deadcode] Function 'aws_byte_buf_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7390:1-7397:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7399:1-7412:1)
[Warning][Deadcode] Function 'aws_byte_buf_secure_zero' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7414:1-7421:1)
[Warning][Deadcode] Function 'aws_byte_buf_clean_up_secure' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7423:1-7428:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7431:1-7441:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7444:1-7454:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_c_str' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7457:1-7468:1)
[Warning][Deadcode] Function 'aws_byte_buf_eq_c_str_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7471:1-7482:1)
[Warning][Deadcode] Function 'aws_byte_buf_init_copy_from_cursor' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7484:1-7511:1)
[Warning][Deadcode] Function 'aws_byte_cursor_next_split' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7514:1-7577:1)
[Warning][Deadcode] Function 'aws_byte_buf_cat' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7579:1-7619:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7622:1-7632:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7635:1-7645:1)
[Warning][Deadcode] Function 'aws_lookup_table_to_lower_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7662:1-7664:1)
[Warning][Deadcode] Function 'aws_array_eq_ignore_case' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7667:1-7697:1)
[Warning][Deadcode] Function 'aws_array_eq' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7700:1-7720:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7723:1-7756:1)
[Warning][Deadcode] Function 'aws_array_eq_c_str' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7759:1-7792:1)
[Warning][Deadcode] Function 'aws_hash_array_ignore_case' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7794:1-7814:1)
[Warning][Deadcode] Function 'aws_hash_byte_cursor_ptr_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7816:1-7822:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_byte_buf' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7825:1-7835:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_byte_buf_ignore_case' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7838:1-7850:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_c_str' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7853:1-7864:1)
[Warning][Deadcode] Function 'aws_byte_cursor_eq_c_str_ignore_case' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7867:1-7878:1)
[Warning][Deadcode] Function 'aws_byte_buf_append' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7880:1-7901:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_with_lookup' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7903:1-7929:1)
[Warning][Deadcode] Function 'aws_byte_buf_append_dynamic' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7931:1-8017:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8019:1-8037:1)
[Warning][Deadcode] Function 'aws_byte_buf_reserve_relative' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8039:1-8050:1)
[Warning][Deadcode] Function 'aws_byte_cursor_right_trim_pred' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8052:1-8067:1)
[Warning][Deadcode] Function 'aws_byte_cursor_left_trim_pred' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8069:1-8085:1)
[Warning][Deadcode] Function 'aws_byte_cursor_trim_pred' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8087:1-8099:1)
[Warning][Deadcode] Function 'aws_byte_cursor_satisfies_pred' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8102:1-8110:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lexical' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8112:1-8140:1)
[Warning][Deadcode] Function 'aws_byte_cursor_compare_lookup' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8142:1-8184:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_c_str' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8189:1-8201:1)
[Warning][Deadcode] Function 'aws_byte_buf_from_array' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8203:1-8216:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_buf' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8234:1-8241:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_c_str' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8243:1-8249:1)
[Warning][Deadcode] Function 'aws_byte_cursor_from_array' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8251:1-8258:1)
[Warning][Deadcode] Function 'aws_nospec_mask' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8268:1-8290:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8292:1-8314:1)
[Warning][Deadcode] Function 'aws_byte_cursor_advance_nospec' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8315:1-8354:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8356:1-8374:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_and_fill_buffer' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8376:1-8395:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_u8' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8397:1-8405:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be16' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8407:1-8421:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8423:1-8437:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_float_be32' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8439:1-8453:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_float_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8455:1-8469:1)
[Warning][Deadcode] Function 'aws_byte_cursor_read_be64' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8471:1-8485:1)
[Warning][Deadcode] Function 'aws_byte_buf_advance' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8487:1-8511:1)
[Warning][Deadcode] Function 'aws_byte_buf_write' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8513:1-8536:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_from_whole_buffer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8538:1-8543:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_from_whole_cursor' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8545:1-8550:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_u8' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8552:1-8556:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be16' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8558:1-8563:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8565:1-8570:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_float_be32' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8572:1-8577:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8579:1-8584:1)
[Warning][Deadcode] Function 'aws_byte_buf_write_float_be64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8586:1-8591:1)
[Warning][Deadcode] Function 'aws_ring_buffer_init' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8592:1-8616:1)
[Warning][Deadcode] Function 'aws_ring_buffer_clean_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8618:1-8625:1)
[Warning][Deadcode] Function 'aws_ring_buffer_acquire_up_to' is uncalled: 63 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8691:1-8792:1)
[Warning][Deadcode] Function 'aws_ring_buffer_release' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8805:1-8812:1)
[Warning][Deadcode] Function 'aws_secure_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8984:1-9001: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_ring_buffer_acquire_harness.i:9183:1-9192:1)
[Warning][Deadcode] Function 'aws_atomic_priv_xlate_order' has dead code:
  on line 5746 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5746-5746)
  on line 5754 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5754-5754)
  on line 5758 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5758-5758)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 190
  dead: 1334 (1331 in uncalled functions)
  total lines: 1524
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8630:103-8630:105)
[Warning][Deadcode][CWE-571] condition 'ring_buf' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6077:12-6080:93)
[Warning][Deadcode][CWE-571] condition 'ring_buf->allocation' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6077:12-6080:93)
[Warning][Deadcode][CWE-571] condition '(unsigned long )ring_buf->allocator != (unsigned long )((void *)0)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:6077:12-6080:93)
[Warning][Deadcode][CWE-571] condition 'buf' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7377:12-7380:113)
[Warning][Deadcode][CWE-570] condition '(unsigned int )order == 4U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5753:9-5753:38)
[Warning][Deadcode][CWE-571] condition '(unsigned int )order == 5U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:5755:9-5755:38)
[Warning][Deadcode][CWE-571] condition 'ring_buffer->allocation' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8801:12-8802:112)
[Warning][Deadcode][CWE-571] condition 'ring_buffer->allocation_end' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8801:12-8802:112)
[Warning][Deadcode][CWE-570] condition 'capacity == 0UL' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8219:5-8220:110)
[Warning][Deadcode][CWE-571] condition 'capacity > 0UL' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:8222:5-8224:57)
[Warning][Deadcode][CWE-571] condition 'lhs' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7197:9-7197:19)
[Warning][Deadcode][CWE-571] condition 'rhs' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/aws-c-common/aws_ring_buffer_acquire_harness.i:7197:9-7197:19)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
