gcc -D_GNUCC -E -DCIL=1 knot_comb.c -o /tmp/cil-MVpGyu2w.i
/home/jan/research/locksmith/cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-XXENolQq.cil.c --list-shared --list-guardedby /tmp/cil-MVpGyu2w.i

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


knot_comb.c:1089: Warning: assigning number to pointer

knot_comb.c:1212: Warning: assigning number to pointer
functions declared but not defined:
  __errno_location
  chdir
  sleep
  write
  atoi
  printf
  htons
  accept
  listen
  setsockopt
  bind
  socket
  pthread_attr_setdetachstate
  pthread_attr_init
  sched_yield
  strstr
  strlen
  strchr
  __assert_fail
  assert_failed
  PL_CompareValues
  PL_CompareStrings
  PL_HashString
  PL_HashTableLookup
  PL_HashTableRemove
  PL_HashTableAdd
  PL_NewHashTable
  read
  close
  __fxstat
  strdup
  perror
  snprintf
  fprintf
  open
shared: &g_cache_hits:knot_comb.c:261
        &g_cache_misses:knot_comb.c:262
        &g_cache:knot_comb.c:264
        &g_cache_tail:knot_comb.c:265
        &g_cache_cur:knot_comb.c:267
        &g_conn_open:knot_comb.c:760
        &g_conn_fail:knot_comb.c:761
        &g_conn_succeed:knot_comb.c:762
        &g_conn_active:knot_comb.c:763
        &g_bytes_sent:knot_comb.c:766
        &attr_init_done:knot_comb.c:1051
        alloc:knot_comb.c:1222
        alloc.s:knot_comb.c:1222
        alloc.id:knot_comb.c:1222
        alloc.refs:knot_comb.c:319

Warning: Possible data race: &g_cache_hits:knot_comb.c:261 is not protected!
 references:
  dereference at knot_comb.c:487
    locations possibly dereferenced: 
      &g_cache_hits:knot_comb.c:261
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:487
    locations possibly dereferenced: 
      &g_cache_hits:knot_comb.c:261
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:1251
    locations possibly dereferenced: 
      &g_cache_hits:knot_comb.c:261
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1252
    locations possibly dereferenced: 
      &g_cache_hits:knot_comb.c:261
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:487
    locations possibly dereferenced: 
      &g_cache_hits:knot_comb.c:261
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:487
    locations possibly dereferenced: 
      &g_cache_hits:knot_comb.c:261
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:487
    locations possibly dereferenced: 
      &g_cache_hits:knot_comb.c:261
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918


Warning: Possible data race: &g_cache_misses:knot_comb.c:262 is not protected!
 references:
  dereference at knot_comb.c:490
    locations possibly dereferenced: 
      &g_cache_misses:knot_comb.c:262
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:490
    locations possibly dereferenced: 
      &g_cache_misses:knot_comb.c:262
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:1253
    locations possibly dereferenced: 
      &g_cache_misses:knot_comb.c:262
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1254
    locations possibly dereferenced: 
      &g_cache_misses:knot_comb.c:262
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:490
    locations possibly dereferenced: 
      &g_cache_misses:knot_comb.c:262
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:490
    locations possibly dereferenced: 
      &g_cache_misses:knot_comb.c:262
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:490
    locations possibly dereferenced: 
      &g_cache_misses:knot_comb.c:262
    locks acquired at dereference: 
      g_cache_mutex:knot_comb.c:260
      concrete g_cache_mutex:knot_comb.c:1174
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918


Warning: Possible data race: &g_cache:knot_comb.c:264 is not protected!
 references:
  dereference at knot_comb.c:387
    locations possibly dereferenced: 
      &g_cache:knot_comb.c:264
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:387
    locations possibly dereferenced: 
      &g_cache:knot_comb.c:264
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:387
    locations possibly dereferenced: 
      &g_cache:knot_comb.c:264
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:387
    locations possibly dereferenced: 
      &g_cache:knot_comb.c:264
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:387
    locations possibly dereferenced: 
      &g_cache:knot_comb.c:264
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918


Warning: Possible data race: &g_cache_tail:knot_comb.c:265 is not protected!
 references:
  dereference at knot_comb.c:367
    locations possibly dereferenced: 
      &g_cache_tail:knot_comb.c:265
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:367
    locations possibly dereferenced: 
      &g_cache_tail:knot_comb.c:265
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:367
    locations possibly dereferenced: 
      &g_cache_tail:knot_comb.c:265
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:367
    locations possibly dereferenced: 
      &g_cache_tail:knot_comb.c:265
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:367
    locations possibly dereferenced: 
      &g_cache_tail:knot_comb.c:265
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918


Warning: Possible data race: &g_cache_cur:knot_comb.c:267 is not protected!
 references:
  dereference at knot_comb.c:371
    locations possibly dereferenced: 
      &g_cache_cur:knot_comb.c:267
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:371
    locations possibly dereferenced: 
      &g_cache_cur:knot_comb.c:267
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:371
    locations possibly dereferenced: 
      &g_cache_cur:knot_comb.c:267
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:371
    locations possibly dereferenced: 
      &g_cache_cur:knot_comb.c:267
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918

  dereference at knot_comb.c:371
    locations possibly dereferenced: 
      &g_cache_cur:knot_comb.c:267
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918


Warning: Possible data race: &g_conn_open:knot_comb.c:760 is not protected!
 references:
  dereference at knot_comb.c:1072
    locations possibly dereferenced: 
      &g_conn_open:knot_comb.c:760
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123

  dereference at knot_comb.c:1072
    locations possibly dereferenced: 
      &g_conn_open:knot_comb.c:760
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1244
    locations possibly dereferenced: 
      &g_conn_open:knot_comb.c:760
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1245
    locations possibly dereferenced: 
      &g_conn_open:knot_comb.c:760
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1072
    locations possibly dereferenced: 
      &g_conn_open:knot_comb.c:760
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1072
    locations possibly dereferenced: 
      &g_conn_open:knot_comb.c:760
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123


Warning: Possible data race: &g_conn_fail:knot_comb.c:761 is not protected!
 references:
  dereference at knot_comb.c:1092
    locations possibly dereferenced: 
      &g_conn_fail:knot_comb.c:761
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123

  dereference at knot_comb.c:1092
    locations possibly dereferenced: 
      &g_conn_fail:knot_comb.c:761
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1248
    locations possibly dereferenced: 
      &g_conn_fail:knot_comb.c:761
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1249
    locations possibly dereferenced: 
      &g_conn_fail:knot_comb.c:761
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1092
    locations possibly dereferenced: 
      &g_conn_fail:knot_comb.c:761
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1092
    locations possibly dereferenced: 
      &g_conn_fail:knot_comb.c:761
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123

  dereference at knot_comb.c:1035
    locations possibly dereferenced: 
      &g_conn_fail:knot_comb.c:761
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044


Warning: Possible data race: &g_conn_succeed:knot_comb.c:762 is not protected!
 references:
  dereference at knot_comb.c:1010
    locations possibly dereferenced: 
      &g_conn_succeed:knot_comb.c:762
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1010
    locations possibly dereferenced: 
      &g_conn_succeed:knot_comb.c:762
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1246
    locations possibly dereferenced: 
      &g_conn_succeed:knot_comb.c:762
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1247
    locations possibly dereferenced: 
      &g_conn_succeed:knot_comb.c:762
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1010
    locations possibly dereferenced: 
      &g_conn_succeed:knot_comb.c:762
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1010
    locations possibly dereferenced: 
      &g_conn_succeed:knot_comb.c:762
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1010
    locations possibly dereferenced: 
      &g_conn_succeed:knot_comb.c:762
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044


Warning: Possible data race: &g_conn_active:knot_comb.c:763 is not protected!
 references:
  dereference at knot_comb.c:1073
    locations possibly dereferenced: 
      &g_conn_active:knot_comb.c:763
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123

  dereference at knot_comb.c:1073
    locations possibly dereferenced: 
      &g_conn_active:knot_comb.c:763
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1250
    locations possibly dereferenced: 
      &g_conn_active:knot_comb.c:763
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1073
    locations possibly dereferenced: 
      &g_conn_active:knot_comb.c:763
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1073
    locations possibly dereferenced: 
      &g_conn_active:knot_comb.c:763
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123

  dereference at knot_comb.c:1045
    locations possibly dereferenced: 
      &g_conn_active:knot_comb.c:763
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089


Warning: Possible data race: &g_bytes_sent:knot_comb.c:766 is not protected!
 references:
  dereference at knot_comb.c:1022
    locations possibly dereferenced: 
      &g_bytes_sent:knot_comb.c:766
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1022
    locations possibly dereferenced: 
      &g_bytes_sent:knot_comb.c:766
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1242
    locations possibly dereferenced: 
      &g_bytes_sent:knot_comb.c:766
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1243
    locations possibly dereferenced: 
      &g_bytes_sent:knot_comb.c:766
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1022
    locations possibly dereferenced: 
      &g_bytes_sent:knot_comb.c:766
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1022
    locations possibly dereferenced: 
      &g_bytes_sent:knot_comb.c:766
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097

  dereference at knot_comb.c:1022
    locations possibly dereferenced: 
      &g_bytes_sent:knot_comb.c:766
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044


Warning: Possible data race: &attr_init_done:knot_comb.c:1051 is not protected!
 references:
  dereference at knot_comb.c:1081
    locations possibly dereferenced: 
      &attr_init_done:knot_comb.c:1051
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123

  dereference at knot_comb.c:1081
    locations possibly dereferenced: 
      &attr_init_done:knot_comb.c:1051
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1081
    locations possibly dereferenced: 
      &attr_init_done:knot_comb.c:1051
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109

  dereference at knot_comb.c:1081
    locations possibly dereferenced: 
      &attr_init_done:knot_comb.c:1051
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123


Warning: Possible data race: alloc:knot_comb.c:1222 is not protected!
 references:
  dereference at knot_comb.c:1120
    locations possibly dereferenced: 
      *targs:knot_comb.c:1141
      alloc:knot_comb.c:1222
      thread_main.arg:knot_comb.c:1228
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228

  dereference at knot_comb.c:1226
    locations possibly dereferenced: 
      *targs:knot_comb.c:1141
      alloc:knot_comb.c:1222
      thread_main.arg:knot_comb.c:1228
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1227
    locations possibly dereferenced: 
      *targs:knot_comb.c:1141
      alloc:knot_comb.c:1222
      thread_main.arg:knot_comb.c:1228
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1120
    locations possibly dereferenced: 
      *targs:knot_comb.c:1141
      alloc:knot_comb.c:1222
      thread_main.arg:knot_comb.c:1228
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228


Warning: Possible data race: alloc.s:knot_comb.c:1222 is not protected!
 references:
  dereference at knot_comb.c:1121
    locations possibly dereferenced: 
      (*targs).s:knot_comb.c:1141
      alloc.s:knot_comb.c:1222
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228

  dereference at knot_comb.c:1227
    locations possibly dereferenced: 
      (*targs).s:knot_comb.c:1141
      alloc.s:knot_comb.c:1222
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1121
    locations possibly dereferenced: 
      (*targs).s:knot_comb.c:1141
      alloc.s:knot_comb.c:1222
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228


Warning: Possible data race: alloc.id:knot_comb.c:1222 is not protected!
 references:
  dereference at knot_comb.c:1120
    locations possibly dereferenced: 
      (*targs).id:knot_comb.c:1141
      alloc.id:knot_comb.c:1222
    locks acquired at dereference: 
      <empty>
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228

  dereference at knot_comb.c:1226
    locations possibly dereferenced: 
      (*targs).id:knot_comb.c:1141
      alloc.id:knot_comb.c:1222
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268

  dereference at knot_comb.c:1120
    locations possibly dereferenced: 
      (*targs).id:knot_comb.c:1141
      alloc.id:knot_comb.c:1222
    locks acquired at dereference: 
      <empty>
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228


Warning: Possible data race: alloc.refs:knot_comb.c:319 is protected by non-linear or concrete lock(s):
  cache_entry.refs_mutex:knot_comb.c:246
  cache_entry.refs_mutex:knot_comb.c:247
  cache_entry.refs_mutex:knot_comb.c:248
  cache_entry.refs_mutex:knot_comb.c:264
  cache_entry.refs_mutex:knot_comb.c:265
  cache_entry.refs_mutex:knot_comb.c:336
  cache_entry.refs_mutex:knot_comb.c:269
  (*result).refs_mutex:knot_comb.c:270
  non linear concrete result->refs_mutex:knot_comb.c:330
  cache_entry.refs_mutex:knot_comb.c:270
  cache_entry.refs_mutex:knot_comb.c:270
  cache_entry.refs_mutex:knot_comb.c:334
  cache_entry.refs_mutex:knot_comb.c:339
  cache_entry.refs_mutex:knot_comb.c:341
  cache_entry.refs_mutex:knot_comb.c:339
  cache_entry.refs_mutex:knot_comb.c:339
  cache_entry.refs_mutex:knot_comb.c:264
  cache_entry.refs_mutex:knot_comb.c:377
  cache_entry.refs_mutex:knot_comb.c:379
  cache_entry.refs_mutex:knot_comb.c:380
  cache_entry.refs_mutex:knot_comb.c:380
  cache_entry.refs_mutex:knot_comb.c:377
  cache_entry.refs_mutex:knot_comb.c:377
  cache_entry.refs_mutex:knot_comb.c:380
  cache_entry.refs_mutex:knot_comb.c:380
  cache_entry.refs_mutex:knot_comb.c:430
  cache_entry.refs_mutex:knot_comb.c:437
  cache_entry.refs_mutex:knot_comb.c:438
  cache_entry.refs_mutex:knot_comb.c:447
  cache_entry.refs_mutex:knot_comb.c:444
  cache_entry.refs_mutex:knot_comb.c:450
  cache_entry.refs_mutex:knot_comb.c:454
  cache_entry.refs_mutex:knot_comb.c:455
  cache_entry.refs_mutex:knot_comb.c:460
  cache_entry.refs_mutex:knot_comb.c:463
  cache_entry.refs_mutex:knot_comb.c:464
  cache_entry.refs_mutex:knot_comb.c:499
  cache_entry.refs_mutex:knot_comb.c:481
  cache_entry.refs_mutex:knot_comb.c:485
  cache_entry.refs_mutex:knot_comb.c:488
  cache_entry.refs_mutex:knot_comb.c:494
  cache_entry.refs_mutex:knot_comb.c:497
  cache_entry.refs_mutex:knot_comb.c:498
  cache_entry.refs_mutex:knot_comb.c:505
  cache_entry.refs_mutex:knot_comb.c:518
  cache_entry.refs_mutex:knot_comb.c:919
  cache_entry.refs_mutex:knot_comb.c:911
  cache_entry.refs_mutex:knot_comb.c:918
  cache_entry.refs_mutex:knot_comb.c:924
  cache_entry.refs_mutex:knot_comb.c:933
  cache_entry.refs_mutex:knot_comb.c:985
  cache_entry.refs_mutex:knot_comb.c:255
  cache_entry.refs_mutex:knot_comb.c:253
  non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
  non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
  non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
  non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
 references:
  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> cache_entry_release knot_comb.c:985

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1228 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> cache_entry_release knot_comb.c:985

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1212 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> cache_entry_release knot_comb.c:985

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> cache_entry_release knot_comb.c:985

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main_autospawn knot_comb.c:1212 -> accept_loop knot_comb.c:1109 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: main at knot_comb.c:1268 -> thread_main knot_comb.c:1228 -> accept_loop knot_comb.c:1123 -> process_client knot_comb.c:1097 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> cache_entry_release knot_comb.c:985

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

  dereference at knot_comb.c:525
    locations possibly dereferenced: 
      cache_entry.refs:knot_comb.c:246
      cache_entry.refs:knot_comb.c:247
      cache_entry.refs:knot_comb.c:248
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:265
      cache_entry.refs:knot_comb.c:336
      cache_entry.refs:knot_comb.c:269
      (*result).refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:270
      cache_entry.refs:knot_comb.c:334
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:341
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:339
      cache_entry.refs:knot_comb.c:264
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:379
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:377
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:380
      cache_entry.refs:knot_comb.c:430
      cache_entry.refs:knot_comb.c:437
      cache_entry.refs:knot_comb.c:438
      cache_entry.refs:knot_comb.c:447
      cache_entry.refs:knot_comb.c:444
      cache_entry.refs:knot_comb.c:450
      cache_entry.refs:knot_comb.c:454
      cache_entry.refs:knot_comb.c:455
      cache_entry.refs:knot_comb.c:460
      cache_entry.refs:knot_comb.c:463
      cache_entry.refs:knot_comb.c:464
      cache_entry.refs:knot_comb.c:499
      cache_entry.refs:knot_comb.c:481
      cache_entry.refs:knot_comb.c:485
      cache_entry.refs:knot_comb.c:488
      cache_entry.refs:knot_comb.c:494
      cache_entry.refs:knot_comb.c:497
      cache_entry.refs:knot_comb.c:498
      cache_entry.refs:knot_comb.c:505
      cache_entry.refs:knot_comb.c:518
      cache_entry.refs:knot_comb.c:919
      cache_entry.refs:knot_comb.c:911
      cache_entry.refs:knot_comb.c:918
      cache_entry.refs:knot_comb.c:924
      cache_entry.refs:knot_comb.c:933
      cache_entry.refs:knot_comb.c:985
      cache_entry.refs:knot_comb.c:255
      cache_entry.refs:knot_comb.c:253
      alloc.refs:knot_comb.c:319
    locks acquired at dereference: 
      cache_entry.refs_mutex:knot_comb.c:246
      cache_entry.refs_mutex:knot_comb.c:247
      cache_entry.refs_mutex:knot_comb.c:248
      g_cache_mutex:knot_comb.c:260
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:265
      cache_entry.refs_mutex:knot_comb.c:336
      cache_entry.refs_mutex:knot_comb.c:269
      (*result).refs_mutex:knot_comb.c:270
      non linear concrete result->refs_mutex:knot_comb.c:330
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:270
      cache_entry.refs_mutex:knot_comb.c:334
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:341
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:339
      cache_entry.refs_mutex:knot_comb.c:264
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:379
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:377
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:380
      cache_entry.refs_mutex:knot_comb.c:430
      cache_entry.refs_mutex:knot_comb.c:437
      cache_entry.refs_mutex:knot_comb.c:438
      cache_entry.refs_mutex:knot_comb.c:447
      cache_entry.refs_mutex:knot_comb.c:444
      cache_entry.refs_mutex:knot_comb.c:450
      cache_entry.refs_mutex:knot_comb.c:454
      cache_entry.refs_mutex:knot_comb.c:455
      cache_entry.refs_mutex:knot_comb.c:460
      cache_entry.refs_mutex:knot_comb.c:463
      cache_entry.refs_mutex:knot_comb.c:464
      cache_entry.refs_mutex:knot_comb.c:499
      cache_entry.refs_mutex:knot_comb.c:481
      cache_entry.refs_mutex:knot_comb.c:485
      cache_entry.refs_mutex:knot_comb.c:488
      cache_entry.refs_mutex:knot_comb.c:494
      cache_entry.refs_mutex:knot_comb.c:497
      cache_entry.refs_mutex:knot_comb.c:498
      cache_entry.refs_mutex:knot_comb.c:505
      cache_entry.refs_mutex:knot_comb.c:518
      cache_entry.refs_mutex:knot_comb.c:919
      cache_entry.refs_mutex:knot_comb.c:911
      cache_entry.refs_mutex:knot_comb.c:918
      cache_entry.refs_mutex:knot_comb.c:924
      cache_entry.refs_mutex:knot_comb.c:933
      cache_entry.refs_mutex:knot_comb.c:985
      concrete g_cache_mutex:knot_comb.c:1174
      cache_entry.refs_mutex:knot_comb.c:255
      cache_entry.refs_mutex:knot_comb.c:253
      non linear concrete result->refs_mutex::-1 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
      non linear concrete result->refs_mutex::-1 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494
    in: FORK at knot_comb.c:1089 -> thread_process_client knot_comb.c:1089 -> process_client knot_comb.c:1044 -> process_client_cache knot_comb.c:1004 -> get_request_entry knot_comb.c:933 -> cache_get knot_comb.c:918 -> cache_new knot_comb.c:494 -> pack knot_comb.c:334 -> cache_add knot_comb.c:497 -> cache_entry_release knot_comb.c:438

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

LockSmith run for: 1.690000 seconds

gcc -D_GNUCC -E /tmp/cil-XXENolQq.cil.c -o /tmp/cil-vqx68HjJ.cil.i
gcc -D_GNUCC -c -o /tmp/cil-2Sv2YG1Y.o /tmp/cil-vqx68HjJ.cil.i
knot_comb.c:224: warning: ‘__unique__’ attribute directive ignored
knot_comb.c: In function ‘cache_new’:
knot_comb.c:270: warning: ‘__packed__’ attribute ignored
gcc -D_GNUCC -o a.out /tmp/cil-2Sv2YG1Y.o
/tmp/cil-2Sv2YG1Y.o: In function `cache_new':
cil-XXENolQq.cil.c:(.text+0xce): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x1d7): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x20e): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x273): undefined reference to `pack'
/tmp/cil-2Sv2YG1Y.o: In function `cache_add':
cil-XXENolQq.cil.c:(.text+0x2d5): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x2ed): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x2fb): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x31e): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x341): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x364): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x372): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x393): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x3a1): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x3b8): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x3df): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x40d): undefined reference to `PL_HashTableAdd'
cil-XXENolQq.cil.c:(.text+0x41b): undefined reference to `end_unpack'
/tmp/cil-2Sv2YG1Y.o: In function `cache_remove':
cil-XXENolQq.cil.c:(.text+0x439): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x447): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x469): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x4df): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x500): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x534): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x54d): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x56e): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x588): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x5a9): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x5c3): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x5ef): undefined reference to `PL_HashTableRemove'
cil-XXENolQq.cil.c:(.text+0x5fd): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x60b): undefined reference to `end_unpack'
/tmp/cil-2Sv2YG1Y.o: In function `cache_evict':
cil-XXENolQq.cil.c:(.text+0x64c): undefined reference to `assert_failed'
/tmp/cil-2Sv2YG1Y.o: In function `cache_find':
cil-XXENolQq.cil.c:(.text+0x686): undefined reference to `PL_HashTableLookup'
/tmp/cil-2Sv2YG1Y.o: In function `cache_init':
cil-XXENolQq.cil.c:(.text+0x6fe): undefined reference to `PL_CompareValues'
cil-XXENolQq.cil.c:(.text+0x703): undefined reference to `PL_CompareStrings'
cil-XXENolQq.cil.c:(.text+0x708): undefined reference to `PL_HashString'
cil-XXENolQq.cil.c:(.text+0x70f): undefined reference to `PL_NewHashTable'
cil-XXENolQq.cil.c:(.text+0x739): undefined reference to `assert_failed'
/tmp/cil-2Sv2YG1Y.o: In function `cache_entry_addref':
cil-XXENolQq.cil.c:(.text+0x81d): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x85e): undefined reference to `end_unpack'
/tmp/cil-2Sv2YG1Y.o: In function `cache_entry_release':
cil-XXENolQq.cil.c:(.text+0x885): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x90a): undefined reference to `end_unpack'
cil-XXENolQq.cil.c:(.text+0x92f): undefined reference to `end_unpack'
/tmp/cil-2Sv2YG1Y.o: In function `get_request_filename':
cil-XXENolQq.cil.c:(.text+0x1008): undefined reference to `assert_failed'
/tmp/cil-2Sv2YG1Y.o: In function `process_client_cache':
cil-XXENolQq.cil.c:(.text+0x12b4): undefined reference to `start_unpack'
cil-XXENolQq.cil.c:(.text+0x1331): undefined reference to `end_unpack'
/tmp/cil-2Sv2YG1Y.o: In function `accept_loop':
cil-XXENolQq.cil.c:(.text+0x160c): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x1631): undefined reference to `pthread_create'
/tmp/cil-2Sv2YG1Y.o: In function `main':
cil-XXENolQq.cil.c:(.text+0x19c6): undefined reference to `pthread_create'
cil-XXENolQq.cil.c:(.text+0x1a47): undefined reference to `assert_failed'
cil-XXENolQq.cil.c:(.text+0x1a71): undefined reference to `pthread_create'
collect2: ld returned 1 exit status
