./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:558:7-564:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:587:3-590:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:617:7-623:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:655:3-669:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:688:3-705:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:754:3-763:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:779:7-787:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:789:7-798:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1072:3-1083:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1093:3-1104:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1125:3-1150:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1167:3-1180:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1199:3-1205:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1368:3-1378:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1453:3-1470:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1537:5-1549:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1660:15-1664:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1682:21-1691:21 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1761:19-1770:19 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1801:11-1810:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1823:11-1833:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1856:7-1868:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1879:7-1886:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1928:5-1940:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2012:7-2024:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2035:7-2042:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2166:11-2175:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2185:9-2195:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2418:9-2459:9 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2485:11-2494:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2519:13-2528:13 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2541:15-2550:15 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2558:13-2567:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2569:15-2578:15 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2587:13-2596:13 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2605:13-2614:13 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2623:11-2632:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2682:13-2690:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2702:7-2712:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2756:5-2768:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2772:9-2791:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2796:7-2808:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2819:7-2826:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2913:3-2919:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2920:3-2926:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3223:13-3229:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3323:13-3329:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3347:13-3353:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3556:7-3562:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3570:5-3576:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3727:5-3733:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3734:5-3740:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3858:7-3864:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4045:9-4051:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4392:7-4401:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4411:9-4417:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4579:7-4586:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4595:5-4602:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4655:7-4662:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4674:9-4694:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4699:7-4725:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4733:9-4753:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4758:7-4784:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5034:13-5040:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5055:15-5061:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5070:11-5075:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5365:9-5374:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5394:7-5399:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5422:7-5434:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5477:3-5482:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5533:5-5545:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5549:9-5562:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5567:7-5579:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5590:7-5597:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5628:5-5640:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5644:9-5659:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5664:7-5676:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5687:7-5694:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:6949:11-6955:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7007:11-7013:11 with factor 6
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7039:5-7044:5 with factor 6
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7056:7-7061:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7068:5-7076:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7291:11-7306:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7360:7-7379:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7393:7-7398:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7516:9-7528:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7531:11-7542:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7545:11-7557:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7565:11-7582:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7585:9-7592:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7665:13-7694:13 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7699:11-7705:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7733:7-7745:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7748:9-7758:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7761:9-7773:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7781:9-7798:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7801:7-7808:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7815:11-7821:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7873:3-7879:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7904:3-7907:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8013:3-8030:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8071:7-8078:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8106:7-8121:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8369:5-8381:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8416:13-8423:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8425:13-8438:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8458:13-8465:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8467:13-8480:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8534:9-8547:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8551:9-8579:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8587:7-8599:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8603:7-8609:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8615:7-8627:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8638:7-8645:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8961:3-8967:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8970:3-8976:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8979:3-8985:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8988:3-8994:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9047:3-9057:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9096:5-9102:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9170:3-9179:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9206:5-9215:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9203:3-9228:3 with factor 1
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceLongjmp, poisonVariables, expsplit, vla"
Collected factors:
functions: 116
functionCalls: 2262
loops: 217
loopBreaks: 0
controlFlowStatements: 6574
expressions: 33311
instructions: 6889
integralVars: (10,720)
arrayVars: (8,13)
pointerVars: (23,348)

Complexity estimates:
File: 913155490
function process is recursive, disable interval and interval_set contexts
malloc wrapper: try_throw_
Total: 913155490
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8772:3-8772:66!

runtime: 00:00:00.495
vars: 541, evals: 889

|rho|=541
|stable|=480
|infl|=512
|wpoint|=0
|sides|=100
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=425
|called|=29
Found 14 contexts for 10 functions. Top 5 functions:
2	contexts for L:entry state of pthread_once (1986) on lib/libc/stub/src/pthread.c:5:1-10:1
2	contexts for L:entry state of try_create_ (4085) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2	contexts for L:entry state of multmodp (4006) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1159:1-1183:1
2	contexts for L:entry state of try_setup_ (771) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1	contexts for L:entry state of main (1939) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8327:1-8652:1

Memory statistics: total=873.93MB, max=49.62MB, minor=868.34MB, major=54.26MB, promoted=48.66MB
    minor collections=418  major collections=8 compactions=0


Fatal error: exception Failure("problem?! is ((try_t_ *)tmp___13)->env Uninitialized:\n state is ({\n             Global {\n               yarn_prefix ->   {\"pigz\", ?, NULL}\n               yarn_abort ->   {?, NULL, &cut_yarn}\n               try_key_ ->   (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))\n               g ->   {\n                        alias ->   {\"-\"}\n                        block ->   (131072,[131072,131072],{131072})\n                        comment ->   {NULL}\n                        decode ->   (0,[0,0],{0})\n                        first ->   (1,[1,1],{1})\n                        force ->   (0,[0,0],{0})\n                        form ->   (0,[0,0],{0})\n                        hcomm ->   {NULL}\n                        headis ->   (3,[3,3],{3})\n                        hname ->   {NULL}\n                        in_buf ->   (Array: Array (no part.): def_exc:0; intervals:[0,0]; enums:{0}, (32810,[32810,32810],{32810}))\n                        in_buf2 ->   (Array: Array (no part.): def_exc:0; intervals:[0,0]; enums:{0}, (32810,[32810,32810],{32810}))\n                        in_eof ->   (0,[0,0],{0})\n                        in_left ->   (0,[0,0],{0})\n                        in_len ->   (0,[0,0],{0})\n                        in_next ->   {NULL}\n                        in_short ->   (0,[0,0],{0})\n                        in_tot ->   (0,[0,0],{0})\n                        in_which ->   (-1,[-1,-1],{-1})\n                        ind ->   (0,[0,0],{0})\n                        inf ->   {NULL}\n                        inz ->   (0,[0,0],{0})\n                        keep ->   (0,[0,0],{0})\n                        level ->   (-1,[-1,-1],{-1})\n                        list ->   (0,[0,0],{0})\n                        load_state ->   {NULL}\n                        load_thread ->   {NULL}\n                        magic1 ->   (0,[0,0],{0})\n                        mtime ->   (0,[0,0],{0})\n                        name ->   {NULL}\n                        out_check ->   (0,[0,0],{0})\n                        out_tot ->   (0,[0,0],{0})\n                        outd ->   (0,[0,0],{0})\n                        outf ->   {NULL}\n                        pipeout ->   (0,[0,0],{0})\n                        procs ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n                        prog ->   {\"pigz\", ?, NULL}\n                        recurse ->   (0,[0,0],{0})\n                        ret ->   (0,[0,0],{0})\n                        rsync ->   (0,[0,0],{0})\n                        setdict ->   (1,[1,1],{1})\n                        shift ->   (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))\n                        stamp ->   (0,[0,0],{0})\n                        strategy ->   (0,[0,0],{0})\n                        sufx ->   {\".gz\"}\n                        sync ->   (0,[0,0],{0})\n                        verbosity ->   (1,[1,1],{1})\n                        zip64 ->   (0,[0,0],{0})\n                        zip_clen ->   (0,[0,0],{0})\n                        zip_crc ->   (0,[0,0],{0})\n                        zip_ulen ->   (0,[0,0],{0})\n                        zopts ->   {\n                                     blocksplitting ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n                                     blocksplittinglast ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n                                     blocksplittingmax ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n                                     numiterations ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n                                     verbose ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n                                     verbose_more ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n                                   }\n                      }\n               x2n_table ->   (Array: Array (no part.): def_exc:Not {0}([0,32]); intervals:[32768,3988292384]; enums:{32768, 8388608, 134217728, 167662735, 344797226, 366380877, 536870912, 776888047, 808857370, 838779241, 1073741824, 1117427358, 1296546528, 1319870996, 1608415822, 1680310286, 1821240772, 2069535939, 2206543119, 2295415911, 2390663536, 2683044394, 2691310871, 2829349568, 2984685714, 3134787127, 3289097936, 3303156796, 3619421802, 3963911953, 3982654894, 3988292384}, (32,[32,32],{32}))\n               in_pool ->   {\n                              have ->   {NULL}\n                              head ->   {NULL}\n                              limit ->   (0,[0,0],{0})\n                              made ->   (0,[0,0],{0})\n                              size ->   (0,[0,0],{0})\n                            }\n               out_pool ->   {\n                               have ->   {NULL}\n                               head ->   {NULL}\n                               limit ->   (0,[0,0],{0})\n                               made ->   (0,[0,0],{0})\n                               size ->   (0,[0,0],{0})\n                             }\n               dict_pool ->   {\n                                have ->   {NULL}\n                                head ->   {NULL}\n                                limit ->   (0,[0,0],{0})\n                                made ->   (0,[0,0],{0})\n                                size ->   (0,[0,0],{0})\n                              }\n               lens_pool ->   {\n                                have ->   {NULL}\n                                head ->   {NULL}\n                                limit ->   (0,[0,0],{0})\n                                made ->   (0,[0,0],{0})\n                                size ->   (0,[0,0],{0})\n                              }\n               compress_have ->   {NULL}\n               compress_head ->   {NULL}\n               compress_tail ->   {NULL}\n               write_first ->   {NULL}\n               write_head ->   {NULL}\n               cthreads ->   (0,[0,0],{0})\n               writeth ->   {NULL}\n               out_size ->   (0,[0,0],{0})\n               in ->   {NULL}\n               next ->   {NULL}\n               out ->   {NULL}\n               strm ->   {NULL}\n               out_buf ->   (Array: Array (no part.): def_exc:0; intervals:[0,0]; enums:{0}, (32768,[32768,32768],{32768}))\n               out_copy ->   (Array: Array (no part.): def_exc:0; intervals:[0,0]; enums:{0}, (32768,[32768,32768],{32768}))\n               out_len ->   (0,[0,0],{0})\n               outb_write_more ->   {NULL}\n               outb_check_more ->   {NULL}\n               wr ->   {NULL}\n               ch ->   {NULL}\n               sufs ->   (Array: Array (no part.): {(unknown string), NULL}, (12,[12,12],{12}))\n               helptext ->   (Array: Array (no part.): {(unknown string)}, (42,[42,42],{42}))\n               longopts ->   (Array: Array (no part.): (Array (no part.): {(unknown string)}, def_exc:2; intervals:[2,2]; enums:{2}), (41,[41,41],{41}))\n               get ->   (0,[0,0],{0})\n               try_once_ ->   (0,[0,0],{0})\n               my_malloc_f ->   {&malloc}\n               my_free ->   {&free}\n               threads_lock ->   {\n                                   cond ->   mutex\n                                   mutex ->   mutex\n                                   value ->   (0,[0,0],{0})\n                                 }\n               threads ->   {NULL}\n               ((alloc@sid:15493@tid:[main](#top)), /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8410:11-8410:76) ->   (Uninitialized, (Unknown int([0,64]),[0,18446744073709551615],not {} ([0,64])), true)\n             }\n             Local {\n               tmp___2 ->   {?, NULL}\n               tmp___3 ->   {?, NULL}\n               tmp___4 ->   {?, NULL}\n               tmp___5 ->   {?, NULL}\n               tmp___6 ->   {?, NULL}\n               why ->   {?, NULL, &(alloc@sid:15493@tid:[main](#top))}\n               nul ->   (Array: Array (no part.): def_exc:Unknown int([-7,7]); intervals:[-128,127]; enums:not {} ([-7,7]), (1,[1,1],{1}))\n               len ->   (Unknown int([0,64]),[0,18446744073709551615],not {} ([0,64]))\n               ap1 ->   Unknown\n               ap2 ->   Unknown\n               tmp___7 ->   (Unknown int([-31,31]),[-2147483648,2147483647],not {} ([-31,31]))\n               tmp___8 ->   {?, NULL, &(alloc@sid:15493@tid:[main](#top))}\n               tmp___9 ->   {?, NULL}\n               tmp___10 ->   {?, NULL}\n               tmp___11 ->   {?, NULL}\n               tmp___12 ->   {?, NULL}\n               tmp___13 ->   {?, NULL}\n             }\n             Parameter {\n               code ->   (22,[22,22],{22})\n               fmt ->   {\"zlib version less than 1.2.3\"}\n             }\n           }, {\n                  }, {}, {})")
