./locksmith /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c


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


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c -o /tmp/cil-870sCZIa.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-4hC98lLb.cil.c /tmp/cil-870sCZIa.i

************************* STARTING *************************

/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224: Warning: subtyping incompatible types:
void
int
functions declared and used but not defined:
  __assert_fail
  __sync_fetch_and_add
  atoi
  fclose
  fgets
  fopen
  fprintf
  fputs
  pthread_cond_broadcast
  pthread_cond_destroy
  pthread_cond_init
  pthread_cond_signal
  pthread_cond_wait
  pthread_join
  strdup
  strlen
Warning: Possible data race: alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 is not protected!
 references:
  dereference of step:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:614 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:622 at worker_for /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => step:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:614
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:296
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252

  dereference of s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:661
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:662
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:666
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:676
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:675
                                                                          => s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:677
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:675
                                                                          => s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:675
                                                                          => s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:675
                                                                          => s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:675
                                                                          => s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:682
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651 => tmp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:643
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:652
                                                                          => s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:675
                                                                          => s___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:646
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519


Warning: Possible data race: alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:653 is not protected!
 references:
  dereference of *step.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:614 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:653 => tmp___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:644
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654
                                                                          => *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
                                                                          => *step.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:614 at worker_for /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:296
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252

  dereference of *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:653 => tmp___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:644
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654
                                                                          => *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:653 => tmp___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:644
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654
                                                                          => *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:653 => tmp___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:644
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654
                                                                          => *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519

  dereference of *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681
    alloc:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:653 => tmp___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:644
                                                                          => cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654
                                                                          => *s.lines:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:642
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519


Warning: Possible data race: alloc.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 is not protected!
 references:
  dereference of *(w->t).func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245
    alloc.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                               => *(w->t).func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of *(w->t).func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252
    alloc.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                               => *(w->t).func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of t.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:268
    alloc.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671


Warning: Possible data race: alloc.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 is not protected!
 references:
  dereference of *(w->t).data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245
    alloc.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                               => *(w->t).data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of *(w->t).data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252
    alloc.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                               => *(w->t).data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of t.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:269
    alloc.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671


Warning: Possible data race: alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 is not protected!
 references:
  dereference of *t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                            => *(w->t).w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
                                                                            => *t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at steal_work /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248

  dereference of *t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                            => *(w->t).w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
                                                                            => *t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at steal_work /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248

  dereference of *t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                            => *(w->t).w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
                                                                            => *t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at steal_work /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248

  dereference of *(w->t).w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                            => *(w->t).w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of *(w->t).w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                            => *(w->t).w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671

  dereference of t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671

  dereference of t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671

  dereference of t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
    alloc.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.w:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671


Warning: Possible data race: alloc.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 is not protected!
 references:
  dereference of *t.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:225
    alloc.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                            => *(w->t).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
                                                                            => *t.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at steal_work /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248

  dereference of *(w->t).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242
    alloc.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                            => *(w->t).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of t.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:271
    alloc.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671


Warning: Possible data race: alloc.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 is not protected!
 references:
  dereference of *t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:217
    alloc.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                                    => *(w->t).n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
                                                                                    => *t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at steal_work /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248

  dereference of *t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224
    alloc.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                                    => *(w->t).n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
                                                                                    => *t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205 at steal_work /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248

  dereference of *(w->t).n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241
    alloc.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
                                                                                    => *(w->t).n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:235 at ktf_worker /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284

  dereference of t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:270
    alloc.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260 => t.n_threads:/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260
  locks acquired:
    <empty>
  in: main at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:687 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519 -> /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671


*************************** DONE ***************************

LockSmith run for: 0.106191 seconds

gcc -D_GNUCC -E /tmp/cil-4hC98lLb.cil.c -o /tmp/cil-ZT2owUgl.cil.i
