./goblint --conf conf/examples/large-program.json --enable ana.context.widen --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --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.
Option warning: ana.base.context.int implicitly disabled by ana.base.context.non-ptr
Option warning: ana.base.context.interval implicitly disabled by ana.base.context.int
longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceLongjmp, poisonVariables, expsplit, vla"
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.268
vars: 393, evals: 624

|rho|=393
|stable|=391
|infl|=333
|wpoint|=2
|sides|=69
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226
|called|=29
Found 14 contexts for 11 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_ (3716) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688: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 multmodp (3637) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1159:1-1183:1
1	contexts for L:entry state of x2nmodp (3639) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1193:1-1208:1

Memory statistics: total=422.90MB, max=37.52MB, minor=419.86MB, major=39.33MB, promoted=36.29MB
    minor collections=203  major collections=7 compactions=0


Fatal error: exception Failure("problem?! is ((try_t_ *)tmp___13)->env Uninitialized:\n state is ({\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:7493@tid:Top Threads(#top))}\n               nul ->   (Array: Uninitialized, (1))\n               len ->   (Unknown int([0,64]))\n               ap1 ->   Unknown\n               ap2 ->   Unknown\n               tmp___7 ->   (Unknown int([-31,31]))\n               tmp___8 ->   {?, NULL, &(alloc@sid:7493@tid:Top Threads(#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)\n               fmt ->   {\"zlib version less than 1.2.3\"}\n             }\n           }, {\n                  }, {}, ())")
