./sv-sanitizers.py -j 4 --property /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --data-model ILP32 /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i


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


/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:141:15: warning: conflicting types for built-in function ‘strftime’; expected ‘long unsigned int(char *, long unsigned int,  const char *, const void *)’ [-Wbuiltin-declaration-mismatch]
  141 | extern size_t strftime (char *__restrict __s, size_t __maxsize,
      |               ^~~~~~~~
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:1: note: ‘strftime’ is declared in header ‘<time.h>’
    1 | typedef unsigned char __u_char;
....==================
WARNING: ThreadSanitizer: data race (pid=11)
  Read of size 4 at 0x55a9b25c1080 by thread T2:
    #0 thread /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:684 (a.out+0x1bdb)

  Previous write of size 4 at 0x55a9b25c1080 by thread T1:
    [failed to restore the stack]

  Location is global 'threads_alive' of size 4 at 0x55a9b25c1080 (a.out+0x000000004080)

  Thread T2 (tid=21, running) created by main thread at:
    #0 pthread_create ../../../../src/libsanitizer/tsan/tsan_interceptors_posix.cpp:969 (libtsan.so.0+0x605b8)
    #1 main /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:702 (a.out+0x1d3d)

  Thread T1 (tid=14, running) created by main thread at:
    #0 pthread_create ../../../../src/libsanitizer/tsan/tsan_interceptors_posix.cpp:969 (libtsan.so.0+0x605b8)
    #1 main /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:702 (a.out+0x1d3d)

SUMMARY: ThreadSanitizer: data race /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:684 in thread
==================
==================
WARNING: ThreadSanitizer: data race (pid=11)
  Read of size 4 at 0x55a9b25c10c0 by main thread:
    #0 main /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:710 (a.out+0x1dd9)

  Previous write of size 4 at 0x55a9b25c10c0 by thread T11 (mutexes: write M1):
    #0 thread /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:689 (a.out+0x1c43)

  Location is global 'data' of size 4 at 0x55a9b25c10c0 (a.out+0x0000000040c0)

  Mutex M1 (0x55a9b25c10e0) created at:
    #0 pthread_mutex_lock ../../../../src/libsanitizer/sanitizer_common/sanitizer_common_interceptors.inc:4240 (libtsan.so.0+0x53908)
    #1 thread /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:688 (a.out+0x1c28)

  Thread T11 (tid=39, finished) created by main thread at:
    #0 pthread_create ../../../../src/libsanitizer/tsan/tsan_interceptors_posix.cpp:969 (libtsan.so.0+0x605b8)
    #1 main /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:702 (a.out+0x1d3d)

SUMMARY: ThreadSanitizer: data race /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/thread-join-counter-inner-race.i:710 in main
==================
ThreadSanitizer: reported 2 warnings

SV-COMP result: false
