./Dartagnan-SVCOMP.sh /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i


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


Exception in thread "main" java.io.IOException: 'clang' '-Xclang' '-disable-O0-optnone' '-S' '-emit-llvm' '-g' '-gcolumn-info' '-o' '/mnt/goblint-svcomp/benchexec/tools-pldi24/dartagnan/output/per-thread-array-index-race-2.ll' '-fgnu89-inline' '/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i': /mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:424:14: warning: incompatible redeclaration of library function 'malloc' [-Wincompatible-library-redeclaration]
extern void *malloc (size_t __size) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__malloc__))
             ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:424:14: note: 'malloc' is a builtin with type 'void *(unsigned long)'
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:426:14: warning: incompatible redeclaration of library function 'calloc' [-Wincompatible-library-redeclaration]
extern void *calloc (size_t __nmemb, size_t __size)
             ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:426:14: note: 'calloc' is a builtin with type 'void *(unsigned long, unsigned long)'
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:428:14: warning: incompatible redeclaration of library function 'realloc' [-Wincompatible-library-redeclaration]
extern void *realloc (void *__ptr, size_t __size)
             ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:428:14: note: 'realloc' is a builtin with type 'void *(void *, unsigned long)'
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:434:21: error: '__malloc__' attribute takes no arguments
    __attribute__ ((__malloc__ (__builtin_free, 1)));
                    ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:436:63: error: '__malloc__' attribute takes no arguments
     __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__malloc__ (reallocarray, 1)));
                                                              ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:438:14: warning: incompatible redeclaration of library function 'alloca' [-Wincompatible-library-redeclaration]
extern void *alloca (size_t __size) __attribute__ ((__nothrow__ , __leaf__));
             ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:438:14: note: 'alloca' is a builtin with type 'void *(unsigned long)'
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:444:14: warning: incompatible redeclaration of library function 'aligned_alloc' [-Wincompatible-library-redeclaration]
extern void *aligned_alloc (size_t __alignment, size_t __size)
             ^
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:444:14: note: 'aligned_alloc' is a builtin with type 'void *(unsigned long, unsigned long)'
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:519:21: warning: unknown attribute '__access__' ignored [-Wunknown-attributes]
    __attribute__ ((__access__ (__read_only__, 2)));
                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:523:19: warning: unknown attribute '__access__' ignored [-Wunknown-attributes]
  __attribute__ ((__access__ (__write_only__, 1, 3)))
                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:524:19: warning: unknown attribute '__access__' ignored [-Wunknown-attributes]
  __attribute__ ((__access__ (__read_only__, 2)));
                  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:1000:60: warning: unknown attribute '__access__' ignored [-Wunknown-attributes]
  __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__access__ (__none__, 2)));
                                                           ^~~~~~~~~~~~~~~~~~~~~~~~
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:1015:11: warning: cast to smaller integer type 'int' from 'void *' [-Wvoid-pointer-to-int-cast]
  int i = (int)arg;
          ^~~~~~~~
/mnt/goblint-svcomp/goblint-bench/bench/concrat/race-challenges/per-thread-array-index-race-2.i:1025:52: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast]
    pthread_create(&tids[i], ((void *)0), &thread, (void*)(i / 2));
                                                   ^~~~~~~~~~~~~~
11 warnings and 2 errors generated.

	at com.dat3m.dartagnan.parsers.program.utils.Compilation.runCmd(Compilation.java:71)
	at com.dat3m.dartagnan.parsers.program.utils.Compilation.compileWithClang(Compilation.java:32)
	at com.dat3m.svcomp.SVCOMPRunner.main(SVCOMPRunner.java:125)
