./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.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/ticketlock.i:4183:5-4189:25 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4197:5-4203:25 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4211:5-4217:25 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4225:5-4231:25 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4239:5-4245:25 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4812:5-4814:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4821:5-4823:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4830:5-4832:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:5-4843:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4851:5-4854:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4862:5-4865:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4872:5-4874:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4881:5-4883:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4890:5-4892:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4899:5-4901:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4908:5-4910:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4917:5-4919:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4926:5-4928:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4935:5-4937:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4947:9-4949:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4945:5-4950:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4960:9-4962:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4958:5-4963:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4973:9-4975:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4971:5-4976:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4986:9-4988:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4984:5-4989:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4999:9-5001:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4997:5-5002:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5012:9-5014:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5010:5-5015:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5025:9-5027:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5023:5-5028:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5038:9-5040:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5036:5-5041:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5051:9-5053:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5049:5-5054:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5064:9-5066:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5062:5-5067:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5077:9-5079:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5075:5-5080:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5090:9-5092:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5088:5-5093:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5103:9-5105:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5101:5-5106:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5116:9-5118:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5114:5-5119:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5129:9-5131:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5127:5-5132:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5142:9-5144:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5140:5-5145:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5155:9-5157:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5153:5-5158:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5168:9-5170:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5166:5-5171:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5181:9-5183:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5179:5-5184:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5194:9-5196:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5192:5-5197:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5207:9-5209:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5205:5-5210:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5220:9-5222:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5218:5-5223:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5233:9-5235:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5231:5-5236:64 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5246:9-5248:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5244:5-5249:58 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5256:5-5258:56 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5265:5-5267:56 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5274:5-5276:50 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5283:5-5285:56 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5292:5-5294:56 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5301:5-5303:50 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5310:5-5312:51 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5318:5-5320:50 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5326:5-5328:50 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5334:5-5336:46 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5342:5-5344:50 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5350:5-5352:50 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5358:5-5360:46 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5366:5-5368:47 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5983:5-5983:61 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5984:5-5984:66 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5993:9-5996:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5998:9-6000:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5991:5-6001:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6010:5-6012:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6015:5-6017:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6027:9-6027:166 with factor 2
[Info] Setting "ana.int.interval" to true
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2115:12-2115:32)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4516:12-4516:36)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4117:5-4117:42)
[Info][Imprecise] Invalidating expressions: & a->_v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
[Info][Imprecise] Invalidating expressions: & tmp___0 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4119:5-4119:42)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4120:12-4120:15)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4516:12-4516:36)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2115:12-2115:32)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2255:12-2255:36)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4838:15-4838:22)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4839:15-4839:20)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3778:5-3778:42)
[Info][Imprecise] Invalidating expressions: & tmp___0 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3779:15-3779:58)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3779:15-3779:58)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3779:15-3779:58)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3780:5-3780:42)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3781:12-3781:15)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:569:1-569:1)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4842:9-4842:16)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4842:9-4842:16)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4842:9-4842:16)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4840:9-4840:158)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4844:12-4844:15)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2255:12-2255:36)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5977:5-5977:13)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5978:5-5978:13)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1885:12-1885:29)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1885:12-1885:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5398:5-5398:46)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1895:5-1895:26)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3824:5-3824:42)
[Info][Imprecise] Invalidating expressions: & a->_v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3825:5-3825:35)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3826:5-3826:42)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3827:1-3827:1)
[Warning][Unknown] lval (& l)->owner points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1896:1-1896:1)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5391:15-5391:60)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1920:12-1920:38)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3926:15-3926:33)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3927:5-3927:42)
[Info][Imprecise] Invalidating expressions: & a->_v, & exp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3928:5-3929:35)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3928:5-3929:35)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3930:5-3930:42)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3931:12-3931:15)
[Warning][Unknown] lval (& l)->next points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1920:12-1920:38)
[Warning][Deadcode] Function 'verification_assume' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:547:1-551:1)
[Warning][Deadcode] Function 'verification_rand' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:552:1-556:1)
[Warning][Deadcode] Function 'vatomic_fence_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1127:1-1131:1)
[Warning][Deadcode] Function 'vatomic8_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1142:1-1146:1)
[Warning][Deadcode] Function 'vatomic8_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1152:1-1156:1)
[Warning][Deadcode] Function 'vatomic8_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1162:1-1166:1)
[Warning][Deadcode] Function 'vatomic8_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1177:1-1181:1)
[Warning][Deadcode] Function 'vatomic8_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1192:1-1196:1)
[Warning][Deadcode] Function 'vatomic8_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1197:1-1201:1)
[Warning][Deadcode] Function 'vatomic8_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1202:1-1206:1)
[Warning][Deadcode] Function 'vatomic8_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1207:1-1211:1)
[Warning][Deadcode] Function 'vatomic8_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1212:1-1216:1)
[Warning][Deadcode] Function 'vatomic8_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1217:1-1221:1)
[Warning][Deadcode] Function 'vatomic8_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1222:1-1226:1)
[Warning][Deadcode] Function 'vatomic8_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1227:1-1231:1)
[Warning][Deadcode] Function 'vatomic8_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1232:1-1236:1)
[Warning][Deadcode] Function 'vatomic8_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1237:1-1241:1)
[Warning][Deadcode] Function 'vatomic8_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1242:1-1246:1)
[Warning][Deadcode] Function 'vatomic8_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1247:1-1251:1)
[Warning][Deadcode] Function 'vatomic8_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1372:1-1376:1)
[Warning][Deadcode] Function 'vatomic8_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1377:1-1381:1)
[Warning][Deadcode] Function 'vatomic8_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1382:1-1386:1)
[Warning][Deadcode] Function 'vatomic8_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1387:1-1391:1)
[Warning][Deadcode] Function 'vatomic8_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1432:1-1436:1)
[Warning][Deadcode] Function 'vatomic8_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1437:1-1441:1)
[Warning][Deadcode] Function 'vatomic8_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1442:1-1446:1)
[Warning][Deadcode] Function 'vatomic8_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1447:1-1451:1)
[Warning][Deadcode] Function 'vatomic8_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1452:1-1456:1)
[Warning][Deadcode] Function 'vatomic8_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1457:1-1461:1)
[Warning][Deadcode] Function 'vatomic8_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1492:1-1496:1)
[Warning][Deadcode] Function 'vatomic8_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1497:1-1501:1)
[Warning][Deadcode] Function 'vatomic16_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1512:1-1516:1)
[Warning][Deadcode] Function 'vatomic16_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1522:1-1526:1)
[Warning][Deadcode] Function 'vatomic16_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1532:1-1536:1)
[Warning][Deadcode] Function 'vatomic16_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1547:1-1551:1)
[Warning][Deadcode] Function 'vatomic16_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1562:1-1566:1)
[Warning][Deadcode] Function 'vatomic16_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1567:1-1571:1)
[Warning][Deadcode] Function 'vatomic16_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1572:1-1576:1)
[Warning][Deadcode] Function 'vatomic16_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1577:1-1581:1)
[Warning][Deadcode] Function 'vatomic16_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1582:1-1586:1)
[Warning][Deadcode] Function 'vatomic16_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1587:1-1591:1)
[Warning][Deadcode] Function 'vatomic16_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1592:1-1596:1)
[Warning][Deadcode] Function 'vatomic16_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1597:1-1601:1)
[Warning][Deadcode] Function 'vatomic16_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1602:1-1606:1)
[Warning][Deadcode] Function 'vatomic16_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1607:1-1611:1)
[Warning][Deadcode] Function 'vatomic16_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1612:1-1616:1)
[Warning][Deadcode] Function 'vatomic16_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1617:1-1621:1)
[Warning][Deadcode] Function 'vatomic16_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1742:1-1746:1)
[Warning][Deadcode] Function 'vatomic16_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1747:1-1751:1)
[Warning][Deadcode] Function 'vatomic16_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1752:1-1756:1)
[Warning][Deadcode] Function 'vatomic16_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1757:1-1761:1)
[Warning][Deadcode] Function 'vatomic16_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1802:1-1806:1)
[Warning][Deadcode] Function 'vatomic16_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1807:1-1811:1)
[Warning][Deadcode] Function 'vatomic16_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1812:1-1816:1)
[Warning][Deadcode] Function 'vatomic16_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1817:1-1821:1)
[Warning][Deadcode] Function 'vatomic16_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1822:1-1826:1)
[Warning][Deadcode] Function 'vatomic16_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1827:1-1831:1)
[Warning][Deadcode] Function 'vatomic16_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1862:1-1866:1)
[Warning][Deadcode] Function 'vatomic16_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1867:1-1871:1)
[Warning][Deadcode] Function 'vatomic32_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1902:1-1906:1)
[Warning][Deadcode] Function 'vatomic32_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1932:1-1936:1)
[Warning][Deadcode] Function 'vatomic32_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1937:1-1941:1)
[Warning][Deadcode] Function 'vatomic32_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1942:1-1946:1)
[Warning][Deadcode] Function 'vatomic32_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1947:1-1951:1)
[Warning][Deadcode] Function 'vatomic32_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1952:1-1956:1)
[Warning][Deadcode] Function 'vatomic32_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1957:1-1961:1)
[Warning][Deadcode] Function 'vatomic32_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1962:1-1966:1)
[Warning][Deadcode] Function 'vatomic32_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1967:1-1971:1)
[Warning][Deadcode] Function 'vatomic32_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1972:1-1976:1)
[Warning][Deadcode] Function 'vatomic32_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1977:1-1981:1)
[Warning][Deadcode] Function 'vatomic32_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1982:1-1986:1)
[Warning][Deadcode] Function 'vatomic32_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:1987:1-1991:1)
[Warning][Deadcode] Function 'vatomic32_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2117:1-2121:1)
[Warning][Deadcode] Function 'vatomic32_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2122:1-2126:1)
[Warning][Deadcode] Function 'vatomic32_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2127:1-2131:1)
[Warning][Deadcode] Function 'vatomic32_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2172:1-2176:1)
[Warning][Deadcode] Function 'vatomic32_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2177:1-2181:1)
[Warning][Deadcode] Function 'vatomic32_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2182:1-2186:1)
[Warning][Deadcode] Function 'vatomic32_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2187:1-2191:1)
[Warning][Deadcode] Function 'vatomic32_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2192:1-2196:1)
[Warning][Deadcode] Function 'vatomic32_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2197:1-2201:1)
[Warning][Deadcode] Function 'vatomic32_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2232:1-2236:1)
[Warning][Deadcode] Function 'vatomic32_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2237:1-2241:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2257:1-2261:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2262:1-2266:1)
[Warning][Deadcode] Function 'vatomic32_await_le_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2267:1-2271:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2272:1-2276:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2277:1-2281:1)
[Warning][Deadcode] Function 'vatomic32_await_le_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2312:1-2316:1)
[Warning][Deadcode] Function 'vatomic32_await_le_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2327:1-2331:1)
[Warning][Deadcode] Function 'vatomic32_await_le_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2342:1-2346:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2357:1-2361:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2372:1-2376:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2387:1-2391:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2402:1-2406:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2417:1-2421:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2432:1-2436:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2447:1-2451:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2462:1-2466:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2477:1-2481:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2492:1-2496:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2507:1-2511:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2522:1-2526:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2537:1-2541:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2552:1-2556:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2567:1-2571:1)
[Warning][Deadcode] Function 'vatomic64_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2582:1-2586:1)
[Warning][Deadcode] Function 'vatomic64_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2592:1-2596:1)
[Warning][Deadcode] Function 'vatomic64_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2602:1-2606:1)
[Warning][Deadcode] Function 'vatomic64_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2617:1-2621:1)
[Warning][Deadcode] Function 'vatomic64_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2632:1-2636:1)
[Warning][Deadcode] Function 'vatomic64_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2637:1-2641:1)
[Warning][Deadcode] Function 'vatomic64_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2642:1-2646:1)
[Warning][Deadcode] Function 'vatomic64_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2647:1-2651:1)
[Warning][Deadcode] Function 'vatomic64_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2652:1-2656:1)
[Warning][Deadcode] Function 'vatomic64_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2657:1-2661:1)
[Warning][Deadcode] Function 'vatomic64_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2662:1-2666:1)
[Warning][Deadcode] Function 'vatomic64_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2667:1-2671:1)
[Warning][Deadcode] Function 'vatomic64_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2672:1-2676:1)
[Warning][Deadcode] Function 'vatomic64_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2677:1-2681:1)
[Warning][Deadcode] Function 'vatomic64_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2682:1-2686:1)
[Warning][Deadcode] Function 'vatomic64_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2687:1-2691:1)
[Warning][Deadcode] Function 'vatomic64_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2812:1-2816:1)
[Warning][Deadcode] Function 'vatomic64_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2817:1-2821:1)
[Warning][Deadcode] Function 'vatomic64_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2822:1-2826:1)
[Warning][Deadcode] Function 'vatomic64_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2827:1-2831:1)
[Warning][Deadcode] Function 'vatomic64_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2872:1-2876:1)
[Warning][Deadcode] Function 'vatomic64_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2877:1-2881:1)
[Warning][Deadcode] Function 'vatomic64_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2882:1-2886:1)
[Warning][Deadcode] Function 'vatomic64_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2887:1-2891:1)
[Warning][Deadcode] Function 'vatomic64_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2892:1-2896:1)
[Warning][Deadcode] Function 'vatomic64_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2897:1-2901:1)
[Warning][Deadcode] Function 'vatomic64_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2932:1-2936:1)
[Warning][Deadcode] Function 'vatomic64_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2937:1-2941:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2952:1-2956:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2957:1-2961:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2962:1-2966:1)
[Warning][Deadcode] Function 'vatomic64_await_le_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2967:1-2971:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2972:1-2976:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:2977:1-2981:1)
[Warning][Deadcode] Function 'vatomic64_await_le_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3012:1-3016:1)
[Warning][Deadcode] Function 'vatomic64_await_le_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3027:1-3031:1)
[Warning][Deadcode] Function 'vatomic64_await_le_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3042:1-3046:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3057:1-3061:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3072:1-3076:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3087:1-3091:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3102:1-3106:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3117:1-3121:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3132:1-3136:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3147:1-3151:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3162:1-3166:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3177:1-3181:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3192:1-3196:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3207:1-3211:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3222:1-3226:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3237:1-3241:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3252:1-3256:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3267:1-3271:1)
[Warning][Deadcode] Function 'vatomicsz_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3282:1-3286:1)
[Warning][Deadcode] Function 'vatomicsz_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3292:1-3296:1)
[Warning][Deadcode] Function 'vatomicsz_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3302:1-3306:1)
[Warning][Deadcode] Function 'vatomicsz_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3317:1-3321:1)
[Warning][Deadcode] Function 'vatomicsz_get_max_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3332:1-3336:1)
[Warning][Deadcode] Function 'vatomicsz_get_and_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3337:1-3341:1)
[Warning][Deadcode] Function 'vatomicsz_get_or_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3342:1-3346:1)
[Warning][Deadcode] Function 'vatomicsz_get_xor_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3347:1-3351:1)
[Warning][Deadcode] Function 'vatomicsz_get_add_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3352:1-3356:1)
[Warning][Deadcode] Function 'vatomicsz_get_sub_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3357:1-3361:1)
[Warning][Deadcode] Function 'vatomicsz_max_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3362:1-3366:1)
[Warning][Deadcode] Function 'vatomicsz_and_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3367:1-3371:1)
[Warning][Deadcode] Function 'vatomicsz_or_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3372:1-3376:1)
[Warning][Deadcode] Function 'vatomicsz_xor_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3377:1-3381:1)
[Warning][Deadcode] Function 'vatomicsz_add_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3382:1-3386:1)
[Warning][Deadcode] Function 'vatomicsz_sub_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3387:1-3391:1)
[Warning][Deadcode] Function 'vatomicsz_get_inc_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3512:1-3516:1)
[Warning][Deadcode] Function 'vatomicsz_inc_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3517:1-3521:1)
[Warning][Deadcode] Function 'vatomicsz_get_dec_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3522:1-3526:1)
[Warning][Deadcode] Function 'vatomicsz_dec_get_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3527:1-3531:1)
[Warning][Deadcode] Function 'vatomicsz_max_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3572:1-3576:1)
[Warning][Deadcode] Function 'vatomicsz_and_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3577:1-3581:1)
[Warning][Deadcode] Function 'vatomicsz_or_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3582:1-3586:1)
[Warning][Deadcode] Function 'vatomicsz_xor_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3587:1-3591:1)
[Warning][Deadcode] Function 'vatomicsz_add_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3592:1-3596:1)
[Warning][Deadcode] Function 'vatomicsz_sub_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3597:1-3601:1)
[Warning][Deadcode] Function 'vatomicsz_inc_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3632:1-3636:1)
[Warning][Deadcode] Function 'vatomicsz_dec_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3637:1-3641:1)
[Warning][Deadcode] Function 'vatomicptr_read_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3652:1-3656:1)
[Warning][Deadcode] Function 'vatomicptr_write_rlx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3662:1-3666:1)
[Warning][Deadcode] Function 'vatomicptr_xchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3672:1-3676:1)
[Warning][Deadcode] Function 'vatomicptr_cmpxchg_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3687:1-3691:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3702:1-3706:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3707:1-3711:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3722:1-3726:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq_set_rlx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3737:1-3741:1)
[Warning][Deadcode] Function 'vatomic_fence' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3752:1-3758:1)
[Warning][Deadcode] Function 'vatomic8_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3759:1-3766:1)
[Warning][Deadcode] Function 'vatomic16_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3767:1-3774:1)
[Warning][Deadcode] Function 'vatomic64_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3783:1-3790:1)
[Warning][Deadcode] Function 'vatomicsz_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3791:1-3798:1)
[Warning][Deadcode] Function 'vatomicptr_read' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3799:1-3806:1)
[Warning][Deadcode] Function 'vatomic8_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3807:1-3813:1)
[Warning][Deadcode] Function 'vatomic16_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3814:1-3820:1)
[Warning][Deadcode] Function 'vatomic64_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3828:1-3834:1)
[Warning][Deadcode] Function 'vatomicsz_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3835:1-3841:1)
[Warning][Deadcode] Function 'vatomicptr_write' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3842:1-3848:1)
[Warning][Deadcode] Function 'vatomic8_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3849:1-3857:1)
[Warning][Deadcode] Function 'vatomic16_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3858:1-3866:1)
[Warning][Deadcode] Function 'vatomic32_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3867:1-3875:1)
[Warning][Deadcode] Function 'vatomic64_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3876:1-3884:1)
[Warning][Deadcode] Function 'vatomicsz_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3885:1-3893:1)
[Warning][Deadcode] Function 'vatomicptr_xchg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3894:1-3902:1)
[Warning][Deadcode] Function 'vatomic8_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3903:1-3912:1)
[Warning][Deadcode] Function 'vatomic16_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3913:1-3922:1)
[Warning][Deadcode] Function 'vatomic64_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3933:1-3942:1)
[Warning][Deadcode] Function 'vatomicsz_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3943:1-3952:1)
[Warning][Deadcode] Function 'vatomicptr_cmpxchg' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3953:1-3962:1)
[Warning][Deadcode] Function 'vatomic8_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3963:1-3971:1)
[Warning][Deadcode] Function 'vatomic16_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3972:1-3980:1)
[Warning][Deadcode] Function 'vatomic32_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3981:1-3989:1)
[Warning][Deadcode] Function 'vatomic64_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3990:1-3998:1)
[Warning][Deadcode] Function 'vatomicsz_get_and' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3999:1-4007:1)
[Warning][Deadcode] Function 'vatomic8_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4008:1-4016:1)
[Warning][Deadcode] Function 'vatomic16_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4017:1-4025:1)
[Warning][Deadcode] Function 'vatomic32_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4026:1-4034:1)
[Warning][Deadcode] Function 'vatomic64_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4035:1-4043:1)
[Warning][Deadcode] Function 'vatomicsz_get_or' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4044:1-4052:1)
[Warning][Deadcode] Function 'vatomic8_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4053:1-4061:1)
[Warning][Deadcode] Function 'vatomic16_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4062:1-4070:1)
[Warning][Deadcode] Function 'vatomic32_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4071:1-4079:1)
[Warning][Deadcode] Function 'vatomic64_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4080:1-4088:1)
[Warning][Deadcode] Function 'vatomicsz_get_xor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4089:1-4097:1)
[Warning][Deadcode] Function 'vatomic8_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4098:1-4105:1)
[Warning][Deadcode] Function 'vatomic16_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4106:1-4113:1)
[Warning][Deadcode] Function 'vatomic64_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4122:1-4129:1)
[Warning][Deadcode] Function 'vatomicsz_get_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4130:1-4137:1)
[Warning][Deadcode] Function 'vatomic8_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4138:1-4145:1)
[Warning][Deadcode] Function 'vatomic16_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4146:1-4153:1)
[Warning][Deadcode] Function 'vatomic32_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4154:1-4161:1)
[Warning][Deadcode] Function 'vatomic64_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4162:1-4169:1)
[Warning][Deadcode] Function 'vatomicsz_get_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4170:1-4177:1)
[Warning][Deadcode] Function 'vatomic8_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4178:1-4191:1)
[Warning][Deadcode] Function 'vatomic16_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4192:1-4205:1)
[Warning][Deadcode] Function 'vatomic32_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4206:1-4219:1)
[Warning][Deadcode] Function 'vatomic64_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4220:1-4233:1)
[Warning][Deadcode] Function 'vatomicsz_get_max' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4234:1-4247:1)
[Warning][Deadcode] Function 'vatomic8_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4248:1-4253:1)
[Warning][Deadcode] Function 'vatomic16_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4254:1-4259:1)
[Warning][Deadcode] Function 'vatomic32_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4260:1-4265:1)
[Warning][Deadcode] Function 'vatomic64_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4266:1-4271:1)
[Warning][Deadcode] Function 'vatomicsz_max_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4272:1-4277:1)
[Warning][Deadcode] Function 'vatomic8_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4278:1-4282:1)
[Warning][Deadcode] Function 'vatomic16_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4283:1-4287:1)
[Warning][Deadcode] Function 'vatomic32_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4288:1-4292:1)
[Warning][Deadcode] Function 'vatomic64_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4293:1-4297:1)
[Warning][Deadcode] Function 'vatomicsz_max' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4298:1-4302:1)
[Warning][Deadcode] Function 'vatomic8_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4303:1-4307:1)
[Warning][Deadcode] Function 'vatomic16_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4308:1-4312:1)
[Warning][Deadcode] Function 'vatomic32_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4313:1-4317:1)
[Warning][Deadcode] Function 'vatomic64_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4318:1-4322:1)
[Warning][Deadcode] Function 'vatomicsz_and_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4323:1-4327:1)
[Warning][Deadcode] Function 'vatomic8_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4328:1-4332:1)
[Warning][Deadcode] Function 'vatomic16_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4333:1-4337:1)
[Warning][Deadcode] Function 'vatomic32_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4338:1-4342:1)
[Warning][Deadcode] Function 'vatomic64_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4343:1-4347:1)
[Warning][Deadcode] Function 'vatomicsz_and' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4348:1-4352:1)
[Warning][Deadcode] Function 'vatomic8_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4353:1-4357:1)
[Warning][Deadcode] Function 'vatomic16_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4358:1-4362:1)
[Warning][Deadcode] Function 'vatomic32_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4363:1-4367:1)
[Warning][Deadcode] Function 'vatomic64_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4368:1-4372:1)
[Warning][Deadcode] Function 'vatomicsz_or_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4373:1-4377:1)
[Warning][Deadcode] Function 'vatomic8_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4378:1-4382:1)
[Warning][Deadcode] Function 'vatomic16_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4383:1-4387:1)
[Warning][Deadcode] Function 'vatomic32_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4388:1-4392:1)
[Warning][Deadcode] Function 'vatomic64_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4393:1-4397:1)
[Warning][Deadcode] Function 'vatomicsz_or' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4398:1-4402:1)
[Warning][Deadcode] Function 'vatomic8_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4403:1-4407:1)
[Warning][Deadcode] Function 'vatomic16_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4408:1-4412:1)
[Warning][Deadcode] Function 'vatomic32_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4413:1-4417:1)
[Warning][Deadcode] Function 'vatomic64_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4418:1-4422:1)
[Warning][Deadcode] Function 'vatomicsz_xor_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4423:1-4427:1)
[Warning][Deadcode] Function 'vatomic8_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4428:1-4432:1)
[Warning][Deadcode] Function 'vatomic16_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4433:1-4437:1)
[Warning][Deadcode] Function 'vatomic32_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4438:1-4442:1)
[Warning][Deadcode] Function 'vatomic64_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4443:1-4447:1)
[Warning][Deadcode] Function 'vatomicsz_xor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4448:1-4452:1)
[Warning][Deadcode] Function 'vatomic8_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4453:1-4457:1)
[Warning][Deadcode] Function 'vatomic16_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4458:1-4462:1)
[Warning][Deadcode] Function 'vatomic32_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4463:1-4467:1)
[Warning][Deadcode] Function 'vatomic64_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4468:1-4472:1)
[Warning][Deadcode] Function 'vatomicsz_add_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4473:1-4477:1)
[Warning][Deadcode] Function 'vatomic8_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4478:1-4482:1)
[Warning][Deadcode] Function 'vatomic16_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4483:1-4487:1)
[Warning][Deadcode] Function 'vatomic32_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4488:1-4492:1)
[Warning][Deadcode] Function 'vatomic64_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4493:1-4497:1)
[Warning][Deadcode] Function 'vatomicsz_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4498:1-4502:1)
[Warning][Deadcode] Function 'vatomic8_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4503:1-4507:1)
[Warning][Deadcode] Function 'vatomic16_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4508:1-4512:1)
[Warning][Deadcode] Function 'vatomic64_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4518:1-4522:1)
[Warning][Deadcode] Function 'vatomicsz_get_inc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4523:1-4527:1)
[Warning][Deadcode] Function 'vatomic8_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4528:1-4532:1)
[Warning][Deadcode] Function 'vatomic16_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4533:1-4537:1)
[Warning][Deadcode] Function 'vatomic32_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4538:1-4542:1)
[Warning][Deadcode] Function 'vatomic64_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4543:1-4547:1)
[Warning][Deadcode] Function 'vatomicsz_inc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4548:1-4552:1)
[Warning][Deadcode] Function 'vatomic8_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4553:1-4557:1)
[Warning][Deadcode] Function 'vatomic8_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4558:1-4562:1)
[Warning][Deadcode] Function 'vatomic16_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4563:1-4567:1)
[Warning][Deadcode] Function 'vatomic16_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4568:1-4572:1)
[Warning][Deadcode] Function 'vatomic32_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4573:1-4577:1)
[Warning][Deadcode] Function 'vatomic32_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4578:1-4582:1)
[Warning][Deadcode] Function 'vatomic64_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4583:1-4587:1)
[Warning][Deadcode] Function 'vatomic64_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4588:1-4592:1)
[Warning][Deadcode] Function 'vatomicsz_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4593:1-4597:1)
[Warning][Deadcode] Function 'vatomicsz_inc_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4598:1-4602:1)
[Warning][Deadcode] Function 'vatomic8_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4603:1-4607:1)
[Warning][Deadcode] Function 'vatomic16_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4608:1-4612:1)
[Warning][Deadcode] Function 'vatomic32_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4613:1-4617:1)
[Warning][Deadcode] Function 'vatomic64_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4618:1-4622:1)
[Warning][Deadcode] Function 'vatomicsz_sub_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4623:1-4627:1)
[Warning][Deadcode] Function 'vatomic8_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4628:1-4632:1)
[Warning][Deadcode] Function 'vatomic8_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4633:1-4637:1)
[Warning][Deadcode] Function 'vatomic16_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4638:1-4642:1)
[Warning][Deadcode] Function 'vatomic16_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4643:1-4647:1)
[Warning][Deadcode] Function 'vatomic32_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4648:1-4652:1)
[Warning][Deadcode] Function 'vatomic32_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4653:1-4657:1)
[Warning][Deadcode] Function 'vatomic64_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4658:1-4662:1)
[Warning][Deadcode] Function 'vatomic64_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4663:1-4667:1)
[Warning][Deadcode] Function 'vatomicsz_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4668:1-4672:1)
[Warning][Deadcode] Function 'vatomicsz_sub_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4673:1-4677:1)
[Warning][Deadcode] Function 'vatomic8_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4678:1-4682:1)
[Warning][Deadcode] Function 'vatomic16_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4683:1-4687:1)
[Warning][Deadcode] Function 'vatomic32_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4688:1-4692:1)
[Warning][Deadcode] Function 'vatomic64_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4693:1-4697:1)
[Warning][Deadcode] Function 'vatomicsz_get_dec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4698:1-4702:1)
[Warning][Deadcode] Function 'vatomic8_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4703:1-4707:1)
[Warning][Deadcode] Function 'vatomic16_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4708:1-4712:1)
[Warning][Deadcode] Function 'vatomic32_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4713:1-4717:1)
[Warning][Deadcode] Function 'vatomic64_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4718:1-4722:1)
[Warning][Deadcode] Function 'vatomicsz_dec_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4723:1-4727:1)
[Warning][Deadcode] Function 'vatomic8_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4728:1-4732:1)
[Warning][Deadcode] Function 'vatomic8_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4733:1-4737:1)
[Warning][Deadcode] Function 'vatomic16_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4738:1-4742:1)
[Warning][Deadcode] Function 'vatomic16_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4743:1-4747:1)
[Warning][Deadcode] Function 'vatomic32_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4748:1-4752:1)
[Warning][Deadcode] Function 'vatomic32_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4753:1-4757:1)
[Warning][Deadcode] Function 'vatomic64_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4758:1-4762:1)
[Warning][Deadcode] Function 'vatomic64_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4763:1-4767:1)
[Warning][Deadcode] Function 'vatomicsz_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4768:1-4772:1)
[Warning][Deadcode] Function 'vatomicsz_dec_acq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4773:1-4777:1)
[Warning][Deadcode] Function 'vatomic32_await_neq' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4808:1-4816:1)
[Warning][Deadcode] Function 'vatomic64_await_neq' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4817:1-4825:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4826:1-4834:1)
[Warning][Deadcode] Function 'vatomic64_await_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4846:1-4856:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4857:1-4867:1)
[Warning][Deadcode] Function 'vatomic32_await_le' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4868:1-4876:1)
[Warning][Deadcode] Function 'vatomic32_await_lt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4877:1-4885:1)
[Warning][Deadcode] Function 'vatomic32_await_ge' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4886:1-4894:1)
[Warning][Deadcode] Function 'vatomic32_await_gt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4895:1-4903:1)
[Warning][Deadcode] Function 'vatomic64_await_le' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4904:1-4912:1)
[Warning][Deadcode] Function 'vatomic64_await_lt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4913:1-4921:1)
[Warning][Deadcode] Function 'vatomic64_await_ge' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4922:1-4930:1)
[Warning][Deadcode] Function 'vatomic64_await_gt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4931:1-4939:1)
[Warning][Deadcode] Function 'vatomic32_await_le_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4940:1-4952:1)
[Warning][Deadcode] Function 'vatomic32_await_le_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4953:1-4965:1)
[Warning][Deadcode] Function 'vatomic32_await_le_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4966:1-4978:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4979:1-4991:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4992:1-5004:1)
[Warning][Deadcode] Function 'vatomic32_await_lt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5005:1-5017:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5018:1-5030:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5031:1-5043:1)
[Warning][Deadcode] Function 'vatomic32_await_ge_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5044:1-5056:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5057:1-5069:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5070:1-5082:1)
[Warning][Deadcode] Function 'vatomic32_await_gt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5083:1-5095:1)
[Warning][Deadcode] Function 'vatomic64_await_le_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5096:1-5108:1)
[Warning][Deadcode] Function 'vatomic64_await_le_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5109:1-5121:1)
[Warning][Deadcode] Function 'vatomic64_await_le_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5122:1-5134:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5135:1-5147:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5148:1-5160:1)
[Warning][Deadcode] Function 'vatomic64_await_lt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5161:1-5173:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5174:1-5186:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5187:1-5199:1)
[Warning][Deadcode] Function 'vatomic64_await_ge_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5200:1-5212:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5213:1-5225:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_sub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5226:1-5238:1)
[Warning][Deadcode] Function 'vatomic64_await_gt_set' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5239:1-5251:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5252:1-5260:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5261:1-5269:1)
[Warning][Deadcode] Function 'vatomic32_await_neq_set' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5270:1-5278:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5279:1-5287:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_sub' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5288:1-5296:1)
[Warning][Deadcode] Function 'vatomic64_await_neq_set' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5297:1-5305:1)
[Warning][Deadcode] Function 'vatomicptr_await_neq_set' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5306:1-5314:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5315:1-5322:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_sub' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5323:1-5330:1)
[Warning][Deadcode] Function 'vatomic32_await_eq_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5331:1-5338:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5339:1-5346:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_sub' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5347:1-5354:1)
[Warning][Deadcode] Function 'vatomic64_await_eq_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5355:1-5362:1)
[Warning][Deadcode] Function 'vatomicptr_await_eq_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5363:1-5370:1)
[Warning][Deadcode] Function 'ticketlock_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5375:1-5380:1)
[Warning][Deadcode] Function 'ticketlock_has_waiters' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5400:1-5404:1)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 5959 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5959-5959)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 110
  dead: 912 (911 in uncalled functions)
  total lines: 1022
[Warning][Deadcode][CWE-570] condition 'tid + 1U < 1U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5991:9-5991:71)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5984:64-5984:66)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4841:23-4841:25)
[Warning][Deadcode][CWE-571] condition 'i == 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5991:9-5991:71)
[Warning][Deadcode][CWE-571] condition 'j == 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5993:13-5993:75)
[Warning][Race] Memory location g_cs_y (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5973:18-5973:28)
  write with [region:{g_cs_y}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_y) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5978:5-5978:13)
  write with [region:{g_cs_y}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_y) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5978:5-5978:13)
  write with [region:{g_cs_y}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_y) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5978:5-5978:13)
  read with [region:{g_cs_y}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_y) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5978:5-5978:13)
  read with [region:{g_cs_y}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_y) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5978:5-5978:13)
  read with [region:{g_cs_y}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_y) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5978:5-5978:13)
  read with [region:{g_cs_y}, mhp:{created={[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55], [main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55], [main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]}}, thread:[main]] (conf. 110)  (exp: & g_cs_y) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5983:14-5983:33)
[Warning][Deadcode][CWE-570] condition 'j == 0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5993:13-5993:75)
[Warning][Deadcode][CWE-571] condition 'j == 1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5993:13-5993:75)
[Warning][Deadcode][CWE-570] condition 'tid + 1U < 1U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5993:13-5993:75)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6035:42-6035:44)
[Warning][Deadcode][CWE-571] condition 'i < 3U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6010:9-6010:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6035:55-6035:57)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6035:68-6035:70)
[Warning][Deadcode][CWE-571] condition 'i < 3U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6010:9-6010:38)
[Warning][Deadcode][CWE-571] condition 'i < 3U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6010:9-6010:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:568:40-568:42)
[Warning][Deadcode][CWE-571] condition 'j___0 == 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5998:13-5998:75)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:568:53-568:55)
[Warning][Race] Memory location lock.next._v (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6022:14-6022:65)
  write with [region:{lock.next._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3928:5-3929:35)
  write with [region:{lock.next._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
  write with [region:{lock.next._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
  read with [region:{lock.next._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3928:5-3929:35)
  read with [region:{lock.next._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
  read with [region:{lock.next._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4118:15-4118:64)
[Warning][Race] Memory location lock.owner._v (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6022:14-6022:65)
  write with [region:{lock.owner._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3825:5-3825:35)
  write with [region:{lock.owner._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3825:5-3825:35)
  write with [region:{lock.owner._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3825:5-3825:35)
  read with [region:{lock.owner._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3779:15-3779:58)
  read with [region:{lock.owner._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3779:15-3779:58)
  read with [region:{lock.owner._v}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & a->_v) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:3779:15-3779:58)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4841:23-4841:25)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:568:66-568:68)
[Warning][Deadcode][CWE-570] condition 'i < 3U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6010:9-6010:38)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5958:7-5958:167)
[Warning][Deadcode][CWE-570] condition 'j___0 == 0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5998:13-5998:75)
[Warning][Deadcode][CWE-571] condition 'j___0 == 1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5998:13-5998:75)
[Warning][Deadcode][CWE-570] condition 'tid + 1U < 1U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5998:13-5998:75)
[Warning][Deadcode][CWE-571] condition 'i___0 < 3U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6015:9-6015:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:573:44-573:46)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:573:57-573:59)
[Warning][Deadcode][CWE-571] condition 'i___0 < 3U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6015:9-6015:38)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:573:70-573:72)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:4841:23-4841:25)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5983:59-5983:61)
[Warning][Deadcode][CWE-571] condition 'i___0 < 3U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6015:9-6015:38)
[Warning][Deadcode][CWE-570] condition 'i___0 < 3U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6015:9-6015:38)
[Warning][Race] Memory location g_cs_x (race with conf. 110): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5972:18-5972:28)
  write with [region:{g_cs_x}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5977:5-5977:13)
  write with [region:{g_cs_x}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5977:5-5977:13)
  write with [region:{g_cs_x}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5977:5-5977:13)
  read with [region:{g_cs_x}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5977:5-5977:13)
  read with [region:{g_cs_x}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5977:5-5977:13)
  read with [region:{g_cs_x}, thread:[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5977:5-5977:13)
  read with [region:{g_cs_x}, mhp:{created={[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55], [main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55], [main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]}}, thread:[main]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5983:14-5983:33)
  read with [region:{g_cs_x}, mhp:{created={[main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55], [main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55], [main, run@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:6011:9-6011:55]}}, thread:[main]] (conf. 110)  (exp: & g_cs_x) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5984:14-5984:38)
[Warning][Deadcode][CWE-570] condition 'i == 0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5991:9-5991:71)
[Warning][Deadcode][CWE-571] condition 'i == 1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/libvsync/ticketlock.i:5991:9-5991:71)
SV-COMP result: true
[Info][Witness] witness generation summary:
  total generation entries: 1
[Info][Race] Memory locations race summary:
  safe: 0
  vulnerable: 0
  unsafe: 4
  total memory locations: 4
[Info][Unsound] ASM ignored
