./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Info][Unsound] Unknown address in {&buffer} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1667:5-1667:33)
[Info][Unsound] Unknown value in {&buffer} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1667:5-1667:33)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1667:5-1667:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status,
                                     NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1455:5-1455:59)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1457:5-1457:61)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1463:5-1463:62)
[Info][Unsound] Unknown address in {&tmp} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1474:5-1474:44)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1474:5-1474:44)
[Info][Unsound] Unknown address in {&producers[def_exc:Unknown int([-31,31]); intervals:[0,1]]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95)
[Info][Unsound] Unknown address in {&buffer} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95)
[Info][Unsound] Unknown value in {&buffer} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95)
[Info][Unsound] Unknown value in {&((alloc@sid:133), /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1474:5-1474:44)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1631:9-1631:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1631:9-1631:67)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1527:9-1527:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1527:9-1527:55)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status,
                                     NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1529:5-1529:46)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1532:11-1532:57)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1532:11-1532:57)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1532:11-1532:57)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1534:9-1534:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1534:9-1534:23)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1535:18-1535:64)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1535:18-1535:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1535:18-1535:64)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1537:13-1537:70)
[Info][Unsound] Unknown mutex unlocked, base privatization unsound (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1537:13-1537:70)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1540:9-1540:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1540:9-1540:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1544:9-1544:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1544:9-1544:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1545:13-1545:29)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status1,
                                     NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1547:13-1547:60)
[Info][Unsound] Unknown value in {&buffer.not_empty} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1547:13-1547:60)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1547:13-1547:60)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1551:5-1551:49)
[Info][Unsound] Unknown mutex unlocked, base privatization unsound (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1551:5-1551:49)
[Info][Imprecise] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1636:9-1636:23)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1636:9-1636:23)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1636:9-1636:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1636:9-1636:23)
[Info][Unsound] Unknown address in {&consumers[def_exc:Unknown int([-31,31]); intervals:[0,1]]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95)
[Info][Unsound] Unknown address in {&buffer} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95)
[Info][Unsound] Unknown value in {&buffer} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95)
[Info][Unsound] Unknown value in {&((alloc@sid:133), /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1474:5-1474:44)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1649:9-1649:54)
[Info][Unsound] Unknown address in {&temp} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1649:9-1649:54)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1649:9-1649:54)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1557:9-1557:78)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1557:9-1557:78)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status,
                                     NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1559:5-1559:46)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1562:9-1562:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1562:9-1562:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1564:9-1564:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1564:9-1564:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1565:16-1565:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1565:16-1565:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1568:13-1568:71)
[Info][Unsound] Unknown mutex unlocked, base privatization unsound (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1568:13-1568:71)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1571:9-1571:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1571:9-1571:23)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status,
                                     NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1574:5-1574:48)
[Info][Unsound] Unknown mutex unlocked, base privatization unsound (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1574:5-1574:48)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1575:5-1575:46)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1579:12-1579:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1579:12-1579:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1584:9-1584:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1584:9-1584:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1585:13-1585:29)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status1, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1587:13-1587:59)
[Info][Unsound] Unknown value in {&buffer.not_full} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1587:13-1587:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1587:13-1587:59)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1591:5-1591:49)
[Info][Unsound] Unknown mutex unlocked, base privatization unsound (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1591:5-1591:49)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1654:13-1654:37)
[Info][Imprecise] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1657:9-1657:23)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1657:9-1657:23)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1657:9-1657:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1657:9-1657:23)
[Info][Unsound] Unknown address in {&buffer} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1684:5-1684:33)
[Info][Unsound] Unknown value in {&buffer} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1684:5-1684:33)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1684:5-1684:33)
[Info][Unsound] Unknown value in {&((alloc@sid:133), /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1474:5-1474:44)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1684:5-1684:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status,
                                     NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1493:5-1493:46)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1496:5-1496:48)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1498:5-1498:49)
[Info][Unsound] Unknown value in {&buffer.mutex} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1498:5-1498:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status1, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1499:5-1499:51)
[Info][Unsound] Unknown value in {&buffer.not_full} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1499:5-1499:51)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status2, NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1500:5-1500:52)
[Info][Unsound] Unknown value in {&buffer.not_empty} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1500:5-1500:52)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:13-1503:49)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:13-1503:49)
[Info][Imprecise] Invalidating expressions: Lval(Mem(IndexPI(Lval(Mem(Lval(Var(bbuf, NoOffset)), Field(buf:TPtr(TPtr(TVoid(), ), ), NoOffset))), Lval(Var(i, NoOffset))), NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
[Info][Unsound] Unknown value in *(bbuf->buf + i) could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:13-1506:53)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:13-1506:53)
[Info][Imprecise] Invalidating expressions: Lval(Mem(IndexPI(Lval(Mem(Lval(Var(bbuf, NoOffset)), Field(buf:TPtr(TPtr(TVoid(), ), ), NoOffset))), Lval(Var(i, NoOffset))), NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
[Info][Unsound] Unknown value in *(bbuf->buf + i) could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
[Info][Imprecise] Invalidating expressions: Lval(Mem(IndexPI(Lval(Mem(Lval(Var(bbuf, NoOffset)), Field(buf:TPtr(TPtr(TVoid(), ), ), NoOffset))), Lval(Var(i, NoOffset))), NoOffset)) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
[Info][Unsound] Unknown value in *(bbuf->buf + i) could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:13-1507:40)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Mem(Lval(Var(bbuf, NoOffset)), Field(buf:TPtr(TPtr(TVoid(), ), ), NoOffset)))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1509:5-1509:20)
[Info][Unsound] Unknown address in (void *)bbuf->buf has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1509:5-1509:20)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1509:5-1509:20)
[Info][Unsound] Unknown value in {&((alloc@sid:133), /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1474:5-1474:44)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1509:5-1509:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1509:5-1509:20)
[Warning][Deadcode] Function "__VERIFIER_error" will never be called: 1LoC (includes/sv-comp.c:2:1-2:36)
[Warning][Deadcode] Function "__VERIFIER_assume" will never be called: 1LoC (includes/sv-comp.c:9:1-9:89)
[Warning][Deadcode] Function "__VERIFIER_nondet_bool" will never be called: 1LoC (includes/sv-comp.c:15:1-15:57)
[Warning][Deadcode] Function "__VERIFIER_nondet_char" will never be called: 1LoC (includes/sv-comp.c:16:1-16:55)
[Warning][Deadcode] Function "__VERIFIER_nondet_float" will never be called: 1LoC (includes/sv-comp.c:19:1-19:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_double" will never be called: 1LoC (includes/sv-comp.c:20:1-20:61)
[Warning][Deadcode] Function "__VERIFIER_nondet_long" will never be called: 1LoC (includes/sv-comp.c:22:1-22:55)
[Warning][Deadcode] Function "__VERIFIER_nondet_pchar" will never be called: 1LoC (includes/sv-comp.c:23:1-23:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_short" will never be called: 1LoC (includes/sv-comp.c:26:1-26:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_uchar" will never be called: 1LoC (includes/sv-comp.c:29:1-29:74)
[Warning][Deadcode] Function "__VERIFIER_nondet_uint" will never be called: 1LoC (includes/sv-comp.c:30:1-30:71)
[Warning][Deadcode] Function "__VERIFIER_nondet_ulong" will never be called: 1LoC (includes/sv-comp.c:31:1-31:74)
[Warning][Deadcode] Function "__VERIFIER_nondet_unsigned" will never be called: 1LoC (includes/sv-comp.c:32:1-32:67)
[Warning][Deadcode] Function "__VERIFIER_nondet_ushort" will never be called: 1LoC (includes/sv-comp.c:33:1-33:77)
[Warning][Deadcode] Function "__VERIFIER_nondet_pointer" will never be called: 1LoC (includes/sv-comp.c:35:1-35:60)
[Warning][Deadcode] Function "__bswap_32" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:351:1-355:1)
[Warning][Deadcode] Function "__bswap_64" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:356:1-360:1)
[Warning][Deadcode] Function "bounded_buf_putcleanup" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1512:1-1517:1)
[Warning][Deadcode] Function "bounded_buf_getcleanup" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1518:1-1523:1)
[Warning][Deadcode] Function "bounded_buf_is_empty" will never be called: 8LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1594:1-1604:1)
[Warning][Deadcode] Function "bounded_buf_is_full" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1605:1-1614:1)
[Warning][Race] Memory location (struct __pthread_cleanup_frame).__cancel_arg (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}},
           thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Race] Memory location (struct _IO_FILE).__pad4 (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Race] Memory location buffer.rear@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1666:19-1666:25 (race with conf. 110):
  write with [symblock:{p-lock:*.mutex}, mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}}] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1544:9-1544:54)
  write with [symblock:{p-lock:*.mutex}, mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1544:9-1544:54)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1502:9-1502:34)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:13-1503:49)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:13-1507:40)
[Warning][Race] Memory location (struct _pthread_cleanup_buffer).__arg (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Race] Memory location producers[?].bbuf@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1663:14-1663:26 (race with conf. 110):
  read with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1631:9-1631:67)
  read with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1631:9-1631:67)
  write with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1671:9-1671:36)
[Warning][Race] Memory location buffer.valid@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1666:19-1666:25 (race with conf. 110):
  read with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1527:9-1527:55)
  read with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1527:9-1527:55)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1557:9-1557:78)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1557:9-1557:78)
  write with [symblock:{p-lock:*.mutex}, mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, lock:{buffer.mutex}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1495:5-1495:20)
[Warning][Race] Memory location (struct _IO_FILE).__pad3 (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Race] Memory location buffer.head@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1666:19-1666:25 (race with conf. 110):
  write with [symblock:{p-lock:*.mutex}, mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}}] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1584:9-1584:53)
  write with [symblock:{p-lock:*.mutex}, mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1584:9-1584:53)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1502:9-1502:34)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:13-1503:49)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:13-1506:53)
[Warning][Race] Memory location (struct __anonstruct___data_282018390).__mutex (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Race] Memory location consumers[?].bbuf@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1664:14-1664:26 (race with conf. 110):
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1649:9-1649:54)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1649:9-1649:54)
  write with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 110) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1677:9-1677:36)
[Warning][Race] Memory location (struct _IO_FILE).__pad1 (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Race] Memory location (struct _IO_FILE).__pad2 (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
[Warning][Race] Memory location (struct _IO_FILE)._lock (race with conf. 100):
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1503:51-1503:69)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1506:55-1506:73)
  read with [mhp:{tid=[main]; created={[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95], [main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}}, thread:[main]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1507:42-1507:60)
  read with mhp:{tid=[main], {consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  read with [mhp:{tid=[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]}, thread:[main, consumer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1678:9-1678:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1583:9-1583:38)
  write with mhp:{tid=[main], {producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95}} (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
  write with [mhp:{tid=[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]}, thread:[main, producer_routine@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1672:9-1672:95]] (conf. 100) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1543:9-1543:36)
SV-COMP result: unknown

Summary for all memory locations:
	safe:           68
	vulnerable:      0
	unsafe:         13
	-------------------
	total:          81
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:774: Warning: Incompatible declaration for bsearch (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at includes/stdlib.c:37 (from .goblint/preprocessed/stdlib.i (1)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:777: Warning: Incompatible declaration for qsort (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at includes/stdlib.c:6 (from .goblint/preprocessed/stdlib.i (1)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:981: Warning: Incompatible declaration for __sched_cpucount (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/x86_64-linux-gnu/bits/cpu-set.h:117 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:983: Warning: Incompatible declaration for __sched_cpualloc (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/x86_64-linux-gnu/bits/cpu-set.h:119 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1028: Warning: Incompatible declaration for strftime (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/time.h:88 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/bounded_buffer.i:1032: Warning: Incompatible declaration for strftime_l (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/time.h:104 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
:-1: Warning: Incompatible declaration for pthread_create (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:198 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_init (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:263 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_destroy (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:266 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getdetachstate (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:270 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setdetachstate (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:275 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getguardsize (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:281 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setguardsize (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:286 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getschedparam (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:292 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setschedparam (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:297 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getschedpolicy (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:302 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setschedpolicy (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:307 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getinheritsched (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:311 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setinheritsched (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:316 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getscope (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:322 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setscope (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:327 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getstackaddr (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:331 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setstackaddr (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:339 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getstacksize (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:344 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setstacksize (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:351 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getstack (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:357 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setstack (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:365 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for __pthread_register_cancel (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:656 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that __pthread_unwind_buf_t and __pthread_unwind_buf_t are isomorphic 
	Failed assumption that struct __anonstruct___pthread_unwind_buf_t_688688961 and struct __anonstruct___pthread_unwind_buf_t_49508568 are isomorphic 
	Failed assumption that struct __anonstruct___cancel_jmp_buf_572769531 and struct __anonstruct___cancel_jmp_buf_572769531 are isomorphic 
	Failed assumption that __jmp_buf and __jmp_buf are isomorphic (different integer types long  and int )
struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___pthread_unwind_buf_t_688688961 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};

struct __anonstruct___pthread_unwind_buf_t_49508568 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};
 
:-1: Warning: Incompatible declaration for __pthread_unregister_cancel (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:668 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that __pthread_unwind_buf_t and __pthread_unwind_buf_t are isomorphic 
	Failed assumption that struct __anonstruct___pthread_unwind_buf_t_688688961 and struct __anonstruct___pthread_unwind_buf_t_49508568 are isomorphic 
	Failed assumption that struct __anonstruct___cancel_jmp_buf_572769531 and struct __anonstruct___cancel_jmp_buf_572769531 are isomorphic 
	Failed assumption that __jmp_buf and __jmp_buf are isomorphic (different integer types long  and int )
struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___pthread_unwind_buf_t_688688961 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};

struct __anonstruct___pthread_unwind_buf_t_49508568 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};
 
:-1: Warning: Incompatible declaration for __pthread_unwind_next (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:709 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that __pthread_unwind_buf_t and __pthread_unwind_buf_t are isomorphic 
	Failed assumption that struct __anonstruct___pthread_unwind_buf_t_688688961 and struct __anonstruct___pthread_unwind_buf_t_49508568 are isomorphic 
	Failed assumption that struct __anonstruct___cancel_jmp_buf_572769531 and struct __anonstruct___cancel_jmp_buf_572769531 are isomorphic 
	Failed assumption that __jmp_buf and __jmp_buf are isomorphic (different integer types long  and int )
struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___pthread_unwind_buf_t_688688961 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};

struct __anonstruct___pthread_unwind_buf_t_49508568 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_init (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:725 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_destroy (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:730 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_trylock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:734 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_lock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:738 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_timedlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:743 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_unlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:756 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_getprioceiling (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:761 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_setprioceiling (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:768 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_consistent (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:776 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_258989375 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_258989375 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_init (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:871 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_destroy (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:876 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_rdlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:880 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_tryrdlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:884 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_timedrdlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:889 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_wrlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:902 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_trywrlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:906 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_timedwrlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:911 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_unlock (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:924 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_92220267 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __anonstruct___data_436374932: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_92220267 {
   struct __anonstruct___data_436374932 __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_init (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:965 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_951761805 and union __anonunion_pthread_cond_t_509950787 are isomorphic (different number of fields in __pthread_cond_s and __anonstruct___data_282018390: 7 != 8.)
union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_509950787 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_destroy (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:970 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_951761805 and union __anonunion_pthread_cond_t_509950787 are isomorphic (different number of fields in __pthread_cond_s and __anonstruct___data_282018390: 7 != 8.)
union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_509950787 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_signal (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:974 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_951761805 and union __anonunion_pthread_cond_t_509950787 are isomorphic (different number of fields in __pthread_cond_s and __anonstruct___data_282018390: 7 != 8.)
union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_509950787 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_broadcast (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:978 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_951761805 and union __anonunion_pthread_cond_t_509950787 are isomorphic (different number of fields in __pthread_cond_s and __anonstruct___data_282018390: 7 != 8.)
union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_509950787 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_wait (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:986 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_951761805 and union __anonunion_pthread_cond_t_509950787 are isomorphic (different number of fields in __pthread_cond_s and __anonstruct___data_282018390: 7 != 8.)
union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_509950787 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_timedwait (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:997 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_cond_t and pthread_cond_t are isomorphic 
	Failed assumption that union __anonunion_pthread_cond_t_951761805 and union __anonunion_pthread_cond_t_509950787 are isomorphic (different number of fields in __pthread_cond_s and __anonstruct___data_282018390: 7 != 8.)
union __anonunion_pthread_cond_t_951761805 {
   struct __pthread_cond_s __data ;
   char __size[48] ;
   long long __align ;
};

union __anonunion_pthread_cond_t_509950787 {
   struct __anonstruct___data_282018390 __data ;
   char __size[48] ;
   long long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_barrier_init (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:1080 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic 
	Failed assumption that union __anonunion_pthread_barrier_t_145707746 and union __anonunion_pthread_barrier_t_145707746 are isomorphic (different array sizes)
union __anonunion_pthread_barrier_t_145707746 {
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_barrier_t_145707746 {
   char __size[20] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_barrier_destroy (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:1086 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic 
	Failed assumption that union __anonunion_pthread_barrier_t_145707746 and union __anonunion_pthread_barrier_t_145707746 are isomorphic (different array sizes)
union __anonunion_pthread_barrier_t_145707746 {
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_barrier_t_145707746 {
   char __size[20] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_barrier_wait (from .goblint/preprocessed/bounded_buffer.i(3)).
 Previous was at /usr/include/pthread.h:1090 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic 
	Failed assumption that union __anonunion_pthread_barrier_t_145707746 and union __anonunion_pthread_barrier_t_145707746 are isomorphic (different array sizes)
union __anonunion_pthread_barrier_t_145707746 {
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_barrier_t_145707746 {
   char __size[20] ;
   long __align ;
};
 
