./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.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/libvsync/bounded_mpmc_check_full.i:6021:5-6028:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6037:5-6039:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6040:5-6042:5 with factor 2
[Info] Specification: CHECK( init(main()), LTL(G ! data-race) ) -> enabling soundness analyses "access, race"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2448:5-2448:26)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4377:5-4377:42)
[Info][Imprecise] Invalidating expressions: & a->_v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4378:5-4378:35)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4379:5-4379:42)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4380:1-4380:1)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2449:1-2449:1)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2448:5-2448:26)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4380:1-4380:1)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2449:1-2449:1)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2448:5-2448:26)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4380:1-4380:1)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2449:1-2449:1)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2448:5-2448:26)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4380:1-4380:1)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2449:1-2449:1)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4331:5-4331:42)
[Info][Imprecise] Invalidating expressions: & tmp___0 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4333:5-4333:42)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4334:12-4334:15)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4334:12-4334:15)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5955:9-5955:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5958:5-5958:20)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2473:12-2473:38)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4479:15-4479:33)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4480:5-4480:42)
[Info][Imprecise] Invalidating expressions: & a->_v, & exp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4483:5-4483:42)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4484:12-4484:15)
[Warning][Unknown] lval (& q)->phead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2473:12-2473:38)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4334:12-4334:15)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5971:5-5971:20)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4334:12-4334:15)
[Warning][Unknown] lval (& q)->ptail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2438:12-2438:29)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2473:12-2473:38)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4479:15-4479:33)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4484:12-4484:15)
[Warning][Unknown] lval (& q)->chead points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2473:12-2473:38)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2808:12-2808:36)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5391:15-5391:22)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5392:15-5392:20)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5395:9-5395:16)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5393:9-5393:158)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1122:1-1122:1)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5393:9-5393:158)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5393:9-5393:158)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5393:9-5393:158)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5393:9-5393:158)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5397:12-5397:15)
[Warning][Unknown] lval (& q)->ctail points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2808:12-2808:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6046:13-6046:39)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6046:13-6046:39)
[Warning][Deadcode] Function 'verification_assume' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1100:1-1104:1)
[Warning][Deadcode] Function 'verification_rand' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1105:1-1109:1)
[Warning][Deadcode] Function 'verification_loop_bound' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1123:1-1127:1)
[Warning][Deadcode] Function 'vatomic_fence_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1680:1-1684:1)
[Warning][Deadcode] Function 'vatomic8_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1695:1-1699:1)
[Warning][Deadcode] Function 'vatomic8_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1705:1-1709:1)
[Warning][Deadcode] Function 'vatomic8_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1715:1-1719:1)
[Warning][Deadcode] Function 'vatomic8_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1730:1-1734:1)
[Warning][Deadcode] Function 'vatomic8_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1745:1-1749:1)
[Warning][Deadcode] Function 'vatomic8_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1750:1-1754:1)
[Warning][Deadcode] Function 'vatomic8_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1755:1-1759:1)
[Warning][Deadcode] Function 'vatomic8_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1760:1-1764:1)
[Warning][Deadcode] Function 'vatomic8_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1765:1-1769:1)
[Warning][Deadcode] Function 'vatomic8_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1770:1-1774:1)
[Warning][Deadcode] Function 'vatomic8_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1775:1-1779:1)
[Warning][Deadcode] Function 'vatomic8_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1780:1-1784:1)
[Warning][Deadcode] Function 'vatomic8_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1785:1-1789:1)
[Warning][Deadcode] Function 'vatomic8_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1790:1-1794:1)
[Warning][Deadcode] Function 'vatomic8_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1795:1-1799:1)
[Warning][Deadcode] Function 'vatomic8_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1800:1-1804:1)
[Warning][Deadcode] Function 'vatomic8_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1925:1-1929:1)
[Warning][Deadcode] Function 'vatomic8_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1930:1-1934:1)
[Warning][Deadcode] Function 'vatomic8_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1935:1-1939:1)
[Warning][Deadcode] Function 'vatomic8_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1940:1-1944:1)
[Warning][Deadcode] Function 'vatomic8_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1985:1-1989:1)
[Warning][Deadcode] Function 'vatomic8_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1990:1-1994:1)
[Warning][Deadcode] Function 'vatomic8_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1995:1-1999:1)
[Warning][Deadcode] Function 'vatomic8_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2000:1-2004:1)
[Warning][Deadcode] Function 'vatomic8_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2005:1-2009:1)
[Warning][Deadcode] Function 'vatomic8_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2010:1-2014:1)
[Warning][Deadcode] Function 'vatomic8_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2045:1-2049:1)
[Warning][Deadcode] Function 'vatomic8_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2050:1-2054:1)
[Warning][Deadcode] Function 'vatomic16_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2065:1-2069:1)
[Warning][Deadcode] Function 'vatomic16_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2075:1-2079:1)
[Warning][Deadcode] Function 'vatomic16_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2085:1-2089:1)
[Warning][Deadcode] Function 'vatomic16_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2100:1-2104:1)
[Warning][Deadcode] Function 'vatomic16_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2115:1-2119:1)
[Warning][Deadcode] Function 'vatomic16_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2120:1-2124:1)
[Warning][Deadcode] Function 'vatomic16_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2125:1-2129:1)
[Warning][Deadcode] Function 'vatomic16_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2130:1-2134:1)
[Warning][Deadcode] Function 'vatomic16_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2135:1-2139:1)
[Warning][Deadcode] Function 'vatomic16_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2140:1-2144:1)
[Warning][Deadcode] Function 'vatomic16_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2145:1-2149:1)
[Warning][Deadcode] Function 'vatomic16_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2150:1-2154:1)
[Warning][Deadcode] Function 'vatomic16_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2155:1-2159:1)
[Warning][Deadcode] Function 'vatomic16_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2160:1-2164:1)
[Warning][Deadcode] Function 'vatomic16_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2165:1-2169:1)
[Warning][Deadcode] Function 'vatomic16_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2170:1-2174:1)
[Warning][Deadcode] Function 'vatomic16_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2295:1-2299:1)
[Warning][Deadcode] Function 'vatomic16_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2300:1-2304:1)
[Warning][Deadcode] Function 'vatomic16_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2305:1-2309:1)
[Warning][Deadcode] Function 'vatomic16_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2310:1-2314:1)
[Warning][Deadcode] Function 'vatomic16_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2355:1-2359:1)
[Warning][Deadcode] Function 'vatomic16_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2360:1-2364:1)
[Warning][Deadcode] Function 'vatomic16_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2365:1-2369:1)
[Warning][Deadcode] Function 'vatomic16_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2370:1-2374:1)
[Warning][Deadcode] Function 'vatomic16_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2375:1-2379:1)
[Warning][Deadcode] Function 'vatomic16_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2380:1-2384:1)
[Warning][Deadcode] Function 'vatomic16_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2415:1-2419:1)
[Warning][Deadcode] Function 'vatomic16_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2420:1-2424:1)
[Warning][Deadcode] Function 'vatomic32_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2455:1-2459:1)
[Warning][Deadcode] Function 'vatomic32_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2485:1-2489:1)
[Warning][Deadcode] Function 'vatomic32_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2490:1-2494:1)
[Warning][Deadcode] Function 'vatomic32_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2495:1-2499:1)
[Warning][Deadcode] Function 'vatomic32_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2500:1-2504:1)
[Warning][Deadcode] Function 'vatomic32_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2505:1-2509:1)
[Warning][Deadcode] Function 'vatomic32_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2510:1-2514:1)
[Warning][Deadcode] Function 'vatomic32_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2515:1-2519:1)
[Warning][Deadcode] Function 'vatomic32_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2520:1-2524:1)
[Warning][Deadcode] Function 'vatomic32_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2525:1-2529:1)
[Warning][Deadcode] Function 'vatomic32_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2530:1-2534:1)
[Warning][Deadcode] Function 'vatomic32_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2535:1-2539:1)
[Warning][Deadcode] Function 'vatomic32_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2540:1-2544:1)
[Warning][Deadcode] Function 'vatomic32_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2665:1-2669:1)
[Warning][Deadcode] Function 'vatomic32_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2670:1-2674:1)
[Warning][Deadcode] Function 'vatomic32_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2675:1-2679:1)
[Warning][Deadcode] Function 'vatomic32_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2680:1-2684:1)
[Warning][Deadcode] Function 'vatomic32_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2725:1-2729:1)
[Warning][Deadcode] Function 'vatomic32_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2730:1-2734:1)
[Warning][Deadcode] Function 'vatomic32_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2735:1-2739:1)
[Warning][Deadcode] Function 'vatomic32_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2740:1-2744:1)
[Warning][Deadcode] Function 'vatomic32_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2745:1-2749:1)
[Warning][Deadcode] Function 'vatomic32_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2750:1-2754:1)
[Warning][Deadcode] Function 'vatomic32_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2785:1-2789:1)
[Warning][Deadcode] Function 'vatomic32_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2790:1-2794:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2810:1-2814:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2815:1-2819:1)
[Warning][Deadcode] Function 'vatomic32_await_le_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2820:1-2824:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2825:1-2829:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2830:1-2834:1)
[Warning][Deadcode] Function 'vatomic32_await_le_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2865:1-2869:1)
[Warning][Deadcode] Function 'vatomic32_await_le_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2880:1-2884:1)
[Warning][Deadcode] Function 'vatomic32_await_le_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2895:1-2899:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2910:1-2914:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2925:1-2929:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2940:1-2944:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2955:1-2959:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2970:1-2974:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:2985:1-2989:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3000:1-3004:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3015:1-3019:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3030:1-3034:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3045:1-3049:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3060:1-3064:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3075:1-3079:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3090:1-3094:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3105:1-3109:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3120:1-3124:1)
[Warning][Deadcode] Function 'vatomic64_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3135:1-3139:1)
[Warning][Deadcode] Function 'vatomic64_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3145:1-3149:1)
[Warning][Deadcode] Function 'vatomic64_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3155:1-3159:1)
[Warning][Deadcode] Function 'vatomic64_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3170:1-3174:1)
[Warning][Deadcode] Function 'vatomic64_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3185:1-3189:1)
[Warning][Deadcode] Function 'vatomic64_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3190:1-3194:1)
[Warning][Deadcode] Function 'vatomic64_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3195:1-3199:1)
[Warning][Deadcode] Function 'vatomic64_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3200:1-3204:1)
[Warning][Deadcode] Function 'vatomic64_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3205:1-3209:1)
[Warning][Deadcode] Function 'vatomic64_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3210:1-3214:1)
[Warning][Deadcode] Function 'vatomic64_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3215:1-3219:1)
[Warning][Deadcode] Function 'vatomic64_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3220:1-3224:1)
[Warning][Deadcode] Function 'vatomic64_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3225:1-3229:1)
[Warning][Deadcode] Function 'vatomic64_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3230:1-3234:1)
[Warning][Deadcode] Function 'vatomic64_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3235:1-3239:1)
[Warning][Deadcode] Function 'vatomic64_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3240:1-3244:1)
[Warning][Deadcode] Function 'vatomic64_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3365:1-3369:1)
[Warning][Deadcode] Function 'vatomic64_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3370:1-3374:1)
[Warning][Deadcode] Function 'vatomic64_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3375:1-3379:1)
[Warning][Deadcode] Function 'vatomic64_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3380:1-3384:1)
[Warning][Deadcode] Function 'vatomic64_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3425:1-3429:1)
[Warning][Deadcode] Function 'vatomic64_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3430:1-3434:1)
[Warning][Deadcode] Function 'vatomic64_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3435:1-3439:1)
[Warning][Deadcode] Function 'vatomic64_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3440:1-3444:1)
[Warning][Deadcode] Function 'vatomic64_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3445:1-3449:1)
[Warning][Deadcode] Function 'vatomic64_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3450:1-3454:1)
[Warning][Deadcode] Function 'vatomic64_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3485:1-3489:1)
[Warning][Deadcode] Function 'vatomic64_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3490:1-3494:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3505:1-3509:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3510:1-3514:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3515:1-3519:1)
[Warning][Deadcode] Function 'vatomic64_await_le_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3520:1-3524:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3525:1-3529:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3530:1-3534:1)
[Warning][Deadcode] Function 'vatomic64_await_le_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3565:1-3569:1)
[Warning][Deadcode] Function 'vatomic64_await_le_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3580:1-3584:1)
[Warning][Deadcode] Function 'vatomic64_await_le_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3595:1-3599:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3610:1-3614:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3625:1-3629:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3640:1-3644:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3655:1-3659:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3670:1-3674:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3685:1-3689:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3700:1-3704:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3715:1-3719:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3730:1-3734:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3745:1-3749:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3760:1-3764:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3775:1-3779:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3790:1-3794:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3805:1-3809:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3820:1-3824:1)
[Warning][Deadcode] Function 'vatomicsz_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3835:1-3839:1)
[Warning][Deadcode] Function 'vatomicsz_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3845:1-3849:1)
[Warning][Deadcode] Function 'vatomicsz_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3855:1-3859:1)
[Warning][Deadcode] Function 'vatomicsz_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3870:1-3874:1)
[Warning][Deadcode] Function 'vatomicsz_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3885:1-3889:1)
[Warning][Deadcode] Function 'vatomicsz_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3890:1-3894:1)
[Warning][Deadcode] Function 'vatomicsz_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3895:1-3899:1)
[Warning][Deadcode] Function 'vatomicsz_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3900:1-3904:1)
[Warning][Deadcode] Function 'vatomicsz_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3905:1-3909:1)
[Warning][Deadcode] Function 'vatomicsz_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3910:1-3914:1)
[Warning][Deadcode] Function 'vatomicsz_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3915:1-3919:1)
[Warning][Deadcode] Function 'vatomicsz_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3920:1-3924:1)
[Warning][Deadcode] Function 'vatomicsz_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3925:1-3929:1)
[Warning][Deadcode] Function 'vatomicsz_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3930:1-3934:1)
[Warning][Deadcode] Function 'vatomicsz_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3935:1-3939:1)
[Warning][Deadcode] Function 'vatomicsz_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:3940:1-3944:1)
[Warning][Deadcode] Function 'vatomicsz_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4065:1-4069:1)
[Warning][Deadcode] Function 'vatomicsz_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4070:1-4074:1)
[Warning][Deadcode] Function 'vatomicsz_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4075:1-4079:1)
[Warning][Deadcode] Function 'vatomicsz_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4080:1-4084:1)
[Warning][Deadcode] Function 'vatomicsz_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4125:1-4129:1)
[Warning][Deadcode] Function 'vatomicsz_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4130:1-4134:1)
[Warning][Deadcode] Function 'vatomicsz_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4135:1-4139:1)
[Warning][Deadcode] Function 'vatomicsz_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4140:1-4144:1)
[Warning][Deadcode] Function 'vatomicsz_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4145:1-4149:1)
[Warning][Deadcode] Function 'vatomicsz_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4150:1-4154:1)
[Warning][Deadcode] Function 'vatomicsz_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4185:1-4189:1)
[Warning][Deadcode] Function 'vatomicsz_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4190:1-4194:1)
[Warning][Deadcode] Function 'vatomicptr_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4205:1-4209:1)
[Warning][Deadcode] Function 'vatomicptr_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4215:1-4219:1)
[Warning][Deadcode] Function 'vatomicptr_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4225:1-4229:1)
[Warning][Deadcode] Function 'vatomicptr_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4240:1-4244:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4255:1-4259:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4260:1-4264:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4275:1-4279:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4290:1-4294:1)
[Warning][Deadcode] Function 'vatomic_fence' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4305:1-4311:1)
[Warning][Deadcode] Function 'vatomic8_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4312:1-4319:1)
[Warning][Deadcode] Function 'vatomic16_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4320:1-4327:1)
[Warning][Deadcode] Function 'vatomic64_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4336:1-4343:1)
[Warning][Deadcode] Function 'vatomicsz_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4344:1-4351:1)
[Warning][Deadcode] Function 'vatomicptr_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4352:1-4359:1)
[Warning][Deadcode] Function 'vatomic8_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4360:1-4366:1)
[Warning][Deadcode] Function 'vatomic16_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4367:1-4373:1)
[Warning][Deadcode] Function 'vatomic64_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4381:1-4387:1)
[Warning][Deadcode] Function 'vatomicsz_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4388:1-4394:1)
[Warning][Deadcode] Function 'vatomicptr_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4395:1-4401:1)
[Warning][Deadcode] Function 'vatomic8_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4402:1-4410:1)
[Warning][Deadcode] Function 'vatomic16_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4411:1-4419:1)
[Warning][Deadcode] Function 'vatomic32_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4420:1-4428:1)
[Warning][Deadcode] Function 'vatomic64_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4429:1-4437:1)
[Warning][Deadcode] Function 'vatomicsz_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4438:1-4446:1)
[Warning][Deadcode] Function 'vatomicptr_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4447:1-4455:1)
[Warning][Deadcode] Function 'vatomic8_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4456:1-4465:1)
[Warning][Deadcode] Function 'vatomic16_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4466:1-4475:1)
[Warning][Deadcode] Function 'vatomic64_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4486:1-4495:1)
[Warning][Deadcode] Function 'vatomicsz_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4496:1-4505:1)
[Warning][Deadcode] Function 'vatomicptr_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4506:1-4515:1)
[Warning][Deadcode] Function 'vatomic8_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4516:1-4524:1)
[Warning][Deadcode] Function 'vatomic16_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4525:1-4533:1)
[Warning][Deadcode] Function 'vatomic32_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4534:1-4542:1)
[Warning][Deadcode] Function 'vatomic64_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4543:1-4551:1)
[Warning][Deadcode] Function 'vatomicsz_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4552:1-4560:1)
[Warning][Deadcode] Function 'vatomic8_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4561:1-4569:1)
[Warning][Deadcode] Function 'vatomic16_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4570:1-4578:1)
[Warning][Deadcode] Function 'vatomic32_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4579:1-4587:1)
[Warning][Deadcode] Function 'vatomic64_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4588:1-4596:1)
[Warning][Deadcode] Function 'vatomicsz_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4597:1-4605:1)
[Warning][Deadcode] Function 'vatomic8_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4606:1-4614:1)
[Warning][Deadcode] Function 'vatomic16_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4615:1-4623:1)
[Warning][Deadcode] Function 'vatomic32_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4624:1-4632:1)
[Warning][Deadcode] Function 'vatomic64_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4633:1-4641:1)
[Warning][Deadcode] Function 'vatomicsz_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4642:1-4650:1)
[Warning][Deadcode] Function 'vatomic8_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4651:1-4658:1)
[Warning][Deadcode] Function 'vatomic16_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4659:1-4666:1)
[Warning][Deadcode] Function 'vatomic32_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4667:1-4674:1)
[Warning][Deadcode] Function 'vatomic64_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4675:1-4682:1)
[Warning][Deadcode] Function 'vatomicsz_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4683:1-4690:1)
[Warning][Deadcode] Function 'vatomic8_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4691:1-4698:1)
[Warning][Deadcode] Function 'vatomic16_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4699:1-4706:1)
[Warning][Deadcode] Function 'vatomic32_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4707:1-4714:1)
[Warning][Deadcode] Function 'vatomic64_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4715:1-4722:1)
[Warning][Deadcode] Function 'vatomicsz_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4723:1-4730:1)
[Warning][Deadcode] Function 'vatomic8_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4731:1-4744:1)
[Warning][Deadcode] Function 'vatomic16_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4745:1-4758:1)
[Warning][Deadcode] Function 'vatomic32_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4759:1-4772:1)
[Warning][Deadcode] Function 'vatomic64_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4773:1-4786:1)
[Warning][Deadcode] Function 'vatomicsz_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4787:1-4800:1)
[Warning][Deadcode] Function 'vatomic8_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4801:1-4806:1)
[Warning][Deadcode] Function 'vatomic16_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4807:1-4812:1)
[Warning][Deadcode] Function 'vatomic32_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4813:1-4818:1)
[Warning][Deadcode] Function 'vatomic64_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4819:1-4824:1)
[Warning][Deadcode] Function 'vatomicsz_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4825:1-4830:1)
[Warning][Deadcode] Function 'vatomic8_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4831:1-4835:1)
[Warning][Deadcode] Function 'vatomic16_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4836:1-4840:1)
[Warning][Deadcode] Function 'vatomic32_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4841:1-4845:1)
[Warning][Deadcode] Function 'vatomic64_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4846:1-4850:1)
[Warning][Deadcode] Function 'vatomicsz_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4851:1-4855:1)
[Warning][Deadcode] Function 'vatomic8_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4856:1-4860:1)
[Warning][Deadcode] Function 'vatomic16_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4861:1-4865:1)
[Warning][Deadcode] Function 'vatomic32_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4866:1-4870:1)
[Warning][Deadcode] Function 'vatomic64_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4871:1-4875:1)
[Warning][Deadcode] Function 'vatomicsz_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4876:1-4880:1)
[Warning][Deadcode] Function 'vatomic8_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4881:1-4885:1)
[Warning][Deadcode] Function 'vatomic16_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4886:1-4890:1)
[Warning][Deadcode] Function 'vatomic32_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4891:1-4895:1)
[Warning][Deadcode] Function 'vatomic64_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4896:1-4900:1)
[Warning][Deadcode] Function 'vatomicsz_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4901:1-4905:1)
[Warning][Deadcode] Function 'vatomic8_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4906:1-4910:1)
[Warning][Deadcode] Function 'vatomic16_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4911:1-4915:1)
[Warning][Deadcode] Function 'vatomic32_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4916:1-4920:1)
[Warning][Deadcode] Function 'vatomic64_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4921:1-4925:1)
[Warning][Deadcode] Function 'vatomicsz_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4926:1-4930:1)
[Warning][Deadcode] Function 'vatomic8_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4931:1-4935:1)
[Warning][Deadcode] Function 'vatomic16_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4936:1-4940:1)
[Warning][Deadcode] Function 'vatomic32_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4941:1-4945:1)
[Warning][Deadcode] Function 'vatomic64_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4946:1-4950:1)
[Warning][Deadcode] Function 'vatomicsz_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4951:1-4955:1)
[Warning][Deadcode] Function 'vatomic8_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4956:1-4960:1)
[Warning][Deadcode] Function 'vatomic16_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4961:1-4965:1)
[Warning][Deadcode] Function 'vatomic32_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4966:1-4970:1)
[Warning][Deadcode] Function 'vatomic64_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4971:1-4975:1)
[Warning][Deadcode] Function 'vatomicsz_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4976:1-4980:1)
[Warning][Deadcode] Function 'vatomic8_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4981:1-4985:1)
[Warning][Deadcode] Function 'vatomic16_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4986:1-4990:1)
[Warning][Deadcode] Function 'vatomic32_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4991:1-4995:1)
[Warning][Deadcode] Function 'vatomic64_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4996:1-5000:1)
[Warning][Deadcode] Function 'vatomicsz_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5001:1-5005:1)
[Warning][Deadcode] Function 'vatomic8_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5006:1-5010:1)
[Warning][Deadcode] Function 'vatomic16_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5011:1-5015:1)
[Warning][Deadcode] Function 'vatomic32_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5016:1-5020:1)
[Warning][Deadcode] Function 'vatomic64_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5021:1-5025:1)
[Warning][Deadcode] Function 'vatomicsz_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5026:1-5030:1)
[Warning][Deadcode] Function 'vatomic8_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5031:1-5035:1)
[Warning][Deadcode] Function 'vatomic16_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5036:1-5040:1)
[Warning][Deadcode] Function 'vatomic32_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5041:1-5045:1)
[Warning][Deadcode] Function 'vatomic64_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5046:1-5050:1)
[Warning][Deadcode] Function 'vatomicsz_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5051:1-5055:1)
[Warning][Deadcode] Function 'vatomic8_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5056:1-5060:1)
[Warning][Deadcode] Function 'vatomic16_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5061:1-5065:1)
[Warning][Deadcode] Function 'vatomic32_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5066:1-5070:1)
[Warning][Deadcode] Function 'vatomic64_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5071:1-5075:1)
[Warning][Deadcode] Function 'vatomicsz_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5076:1-5080:1)
[Warning][Deadcode] Function 'vatomic8_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5081:1-5085:1)
[Warning][Deadcode] Function 'vatomic16_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5086:1-5090:1)
[Warning][Deadcode] Function 'vatomic32_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5091:1-5095:1)
[Warning][Deadcode] Function 'vatomic64_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5096:1-5100:1)
[Warning][Deadcode] Function 'vatomicsz_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5101:1-5105:1)
[Warning][Deadcode] Function 'vatomic8_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5106:1-5110:1)
[Warning][Deadcode] Function 'vatomic8_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5111:1-5115:1)
[Warning][Deadcode] Function 'vatomic16_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5116:1-5120:1)
[Warning][Deadcode] Function 'vatomic16_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5121:1-5125:1)
[Warning][Deadcode] Function 'vatomic32_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5126:1-5130:1)
[Warning][Deadcode] Function 'vatomic32_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5131:1-5135:1)
[Warning][Deadcode] Function 'vatomic64_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5136:1-5140:1)
[Warning][Deadcode] Function 'vatomic64_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5141:1-5145:1)
[Warning][Deadcode] Function 'vatomicsz_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5146:1-5150:1)
[Warning][Deadcode] Function 'vatomicsz_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5151:1-5155:1)
[Warning][Deadcode] Function 'vatomic8_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5156:1-5160:1)
[Warning][Deadcode] Function 'vatomic16_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5161:1-5165:1)
[Warning][Deadcode] Function 'vatomic32_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5166:1-5170:1)
[Warning][Deadcode] Function 'vatomic64_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5171:1-5175:1)
[Warning][Deadcode] Function 'vatomicsz_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5176:1-5180:1)
[Warning][Deadcode] Function 'vatomic8_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5181:1-5185:1)
[Warning][Deadcode] Function 'vatomic8_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5186:1-5190:1)
[Warning][Deadcode] Function 'vatomic16_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5191:1-5195:1)
[Warning][Deadcode] Function 'vatomic16_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5196:1-5200:1)
[Warning][Deadcode] Function 'vatomic32_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5201:1-5205:1)
[Warning][Deadcode] Function 'vatomic32_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5206:1-5210:1)
[Warning][Deadcode] Function 'vatomic64_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5211:1-5215:1)
[Warning][Deadcode] Function 'vatomic64_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5216:1-5220:1)
[Warning][Deadcode] Function 'vatomicsz_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5221:1-5225:1)
[Warning][Deadcode] Function 'vatomicsz_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5226:1-5230:1)
[Warning][Deadcode] Function 'vatomic8_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5231:1-5235:1)
[Warning][Deadcode] Function 'vatomic16_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5236:1-5240:1)
[Warning][Deadcode] Function 'vatomic32_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5241:1-5245:1)
[Warning][Deadcode] Function 'vatomic64_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5246:1-5250:1)
[Warning][Deadcode] Function 'vatomicsz_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5251:1-5255:1)
[Warning][Deadcode] Function 'vatomic8_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5256:1-5260:1)
[Warning][Deadcode] Function 'vatomic16_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5261:1-5265:1)
[Warning][Deadcode] Function 'vatomic32_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5266:1-5270:1)
[Warning][Deadcode] Function 'vatomic64_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5271:1-5275:1)
[Warning][Deadcode] Function 'vatomicsz_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5276:1-5280:1)
[Warning][Deadcode] Function 'vatomic8_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5281:1-5285:1)
[Warning][Deadcode] Function 'vatomic8_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5286:1-5290:1)
[Warning][Deadcode] Function 'vatomic16_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5291:1-5295:1)
[Warning][Deadcode] Function 'vatomic16_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5296:1-5300:1)
[Warning][Deadcode] Function 'vatomic32_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5301:1-5305:1)
[Warning][Deadcode] Function 'vatomic32_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5306:1-5310:1)
[Warning][Deadcode] Function 'vatomic64_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5311:1-5315:1)
[Warning][Deadcode] Function 'vatomic64_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5316:1-5320:1)
[Warning][Deadcode] Function 'vatomicsz_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5321:1-5325:1)
[Warning][Deadcode] Function 'vatomicsz_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5326:1-5330:1)
[Warning][Deadcode] Function 'vatomic32_await_neq' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5361:1-5369:1)
[Warning][Deadcode] Function 'vatomic64_await_neq' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5370:1-5378:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5379:1-5387:1)
[Warning][Deadcode] Function 'vatomic64_await_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5399:1-5409:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5410:1-5420:1)
[Warning][Deadcode] Function 'vatomic32_await_le' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5421:1-5429:1)
[Warning][Deadcode] Function 'vatomic32_await_lt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5430:1-5438:1)
[Warning][Deadcode] Function 'vatomic32_await_ge' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5439:1-5447:1)
[Warning][Deadcode] Function 'vatomic32_await_gt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5448:1-5456:1)
[Warning][Deadcode] Function 'vatomic64_await_le' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5457:1-5465:1)
[Warning][Deadcode] Function 'vatomic64_await_lt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5466:1-5474:1)
[Warning][Deadcode] Function 'vatomic64_await_ge' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5475:1-5483:1)
[Warning][Deadcode] Function 'vatomic64_await_gt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5484:1-5492:1)
[Warning][Deadcode] Function 'vatomic32_await_le_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5493:1-5505:1)
[Warning][Deadcode] Function 'vatomic32_await_le_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5506:1-5518:1)
[Warning][Deadcode] Function 'vatomic32_await_le_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5519:1-5531:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5532:1-5544:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5545:1-5557:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5558:1-5570:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5571:1-5583:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5584:1-5596:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5597:1-5609:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5610:1-5622:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5623:1-5635:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5636:1-5648:1)
[Warning][Deadcode] Function 'vatomic64_await_le_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5649:1-5661:1)
[Warning][Deadcode] Function 'vatomic64_await_le_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5662:1-5674:1)
[Warning][Deadcode] Function 'vatomic64_await_le_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5675:1-5687:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5688:1-5700:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5701:1-5713:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5714:1-5726:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5727:1-5739:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5740:1-5752:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5753:1-5765:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5766:1-5778:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5779:1-5791:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5792:1-5804:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5805:1-5813:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5814:1-5822:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_set' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5823:1-5831:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5832:1-5840:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5841:1-5849:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_set' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5850:1-5858:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq_set' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5859:1-5867:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5868:1-5875:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_sub' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5876:1-5883:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5884:1-5891:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5892:1-5899:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_sub' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5900:1-5907:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5908:1-5915:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5916:1-5923:1)
[Warning][Deadcode] Function 'xbo_nop' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6001:1-6006:1)
[Warning][Deadcode] Function 'sched_yield' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6007:1-6011:1)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 709 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:709-709)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 105
  dead: 919 (918 in uncalled functions)
  total lines: 1024
[Warning][Deadcode][CWE-571] condition 'i___0 < 2U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6040:9-6040:38)
[Warning][Deadcode][CWE-571] condition 'i___0 < 2U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6040:9-6040:38)
[Warning][Deadcode][CWE-570] condition 'i___0 < 2U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6040:9-6040:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6045:66-6045:68)
[Warning][Race] Memory location g_val[?] (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6014:9-6014:23)
  write with [region:{g_val[?]}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & g_val[idx]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6023:9-6023:39)
  write with [region:{g_val[?]}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & g_val[idx]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6023:9-6023:39)
  write with [region:{g_val[?]}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & g_val[idx]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6023:9-6023:39)
  write with [region:{g_val[?]}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & g_val[idx]) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6023:9-6023:39)
  read with [mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & *((vsize_t *)r)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6046:13-6046:39)
[Warning][Deadcode][CWE-571] condition 'i < 2U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6021:9-6021:35)
[Warning][Race] Memory location g_buf[?] (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6012:6-6012:21)
  write with [region:{g_queue, g_val[?]}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & *(q->buf + curr % q->size)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5962:5-5962:31)
  write with [region:{g_queue, g_val[?]}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & *(q->buf + curr % q->size)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5962:5-5962:31)
  write with [region:{g_queue, g_val[?]}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & *(q->buf + curr % q->size)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5962:5-5962:31)
  read with [region:{g_queue, g_val[?]}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & *(q->buf + curr % q->size)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5978:5-5978:32)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6047:64-6047:66)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:708:7-708:167)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6048:68-6048:70)
[Warning][Deadcode][CWE-571] condition 'i < 2U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6021:9-6021:35)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6050:66-6050:68)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6052:68-6052:70)
[Warning][Deadcode][CWE-570] condition 'i < 2U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6021:9-6021:35)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1121:40-1121:42)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1121:53-1121:55)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6053:65-6053:67)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:1121:66-1121:68)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6053:78-6053:80)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6053:91-6053:93)
[Warning][Deadcode][CWE-571] condition 'b' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5941:14-5941:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6053:104-6053:106)
[Warning][Deadcode][CWE-571] condition '"buffer is NULL"' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5941:14-5941:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5941:64-5941:66)
[Warning][Deadcode][CWE-571] condition 'i < 2U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6037:9-6037:38)
[Warning][Deadcode][CWE-571] condition 's != 0U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5942:14-5942:47)
[Warning][Deadcode][CWE-571] condition '"buffer with 0 size"' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5942:14-5942:47)
[Warning][Deadcode][CWE-571] condition 'i < 2U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6037:9-6037:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5942:73-5942:75)
[Warning][Deadcode][CWE-570] condition 'i < 2U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6037:9-6037:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:5394:23-5394:25)
[Warning][Race] Memory location g_queue.ctail._v (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6013:16-6013:23)
  write with [region:{g_queue.ctail._v, g_val[?].ctail._v}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4378:5-4378:35)
  read with [region:{g_queue.ctail._v, g_val[?].ctail._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
  read with [region:{g_queue.ctail._v, g_val[?].ctail._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
[Warning][Race] Memory location g_queue.phead._v (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6013:16-6013:23)
  write with [region:{g_queue.phead._v, g_val[?].phead._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
  write with [region:{g_queue.phead._v, g_val[?].phead._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
  write with [region:{g_queue.phead._v, g_val[?].phead._v}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
  read with [region:{g_queue.phead._v, g_val[?].phead._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
  read with [region:{g_queue.phead._v, g_val[?].phead._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
  read with [region:{g_queue.phead._v, g_val[?].phead._v}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
  read with [region:{g_queue.phead._v, g_val[?].phead._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
  read with [region:{g_queue.phead._v, g_val[?].phead._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
  read with [region:{g_queue.phead._v, g_val[?].phead._v}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4481:5-4482:35)
[Warning][Race] Memory location g_queue.ptail._v (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6013:16-6013:23)
  write with [region:{g_queue.ptail._v, g_val[?].ptail._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4378:5-4378:35)
  write with [region:{g_queue.ptail._v, g_val[?].ptail._v}, thread:[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4378:5-4378:35)
  write with [region:{g_queue.ptail._v, g_val[?].ptail._v}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4378:5-4378:35)
  read with [region:{g_queue.ptail._v, g_val[?].ptail._v}, mhp:{created={[main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58], [main, writer@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:6038:9-6038:58]}}, thread:[main]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/bounded_mpmc_check_full.i:4332:15-4332:58)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
[Info][Race] Memory locations race summary:
  safe: 3
  vulnerable: 0
  unsafe: 5
  total memory locations: 8
[Info][Unsound] ASM ignored
