[ 0:01] % divine cc -o testcase.bc -c /home/xrockai/src/divine/nightly/test/pthread/div/join.c
[ 0:01] compiling /home/xrockai/src/divine/nightly/test/pthread/div/join.c
[ 0:01] /home/xrockai/src/divine/nightly/test/pthread/div/join.c:7:13: warning: incompatible integer to pointer conversion returning 'int' from a function with result type 'void *'
[ 0:01]      return 1;
[ 0:01]             ^
[ 0:01] /home/xrockai/src/divine/nightly/test/pthread/div/join.c:17:16: warning: comparison between pointer and integer ('void *' and 'int')
[ 0:01]      assert( i == 1 );
[ 0:01]              ~ ^  ~
[ 0:01] /dios/include/assert.h:20:24: note: expanded from macro 'assert'
[ 0:01] # define assert(e)  ( (e) ? (void) 0 : __assert_fail(#e, __FILE__, __LINE__, __PRETTY_FUNCTION__) )
[ 0:01]                        ^
[ 0:01] 2 warnings generated.
[ 0:01] % native-link testcase.bc
[ 0:01] setting up pass: fuse-ctors, options = 
[ 0:01] setting up pass: lowering, options = 
[ 0:01] setting up pass: recurse-annotations, options = 
[ 0:01] setting up pass: interrupt-mem, options = __dios_reschedule
[ 0:01] setting up pass: interrupt-cfl, options = __dios_suspend
[ 0:01] compiling native-0.bc
[ 0:01] compiling /dios/lib/config/native.bc
[ 0:01] warning: overriding the module target triple with x86_64-unknown-linux-gnu [-Woverride-module]
[ 0:03] 1 warning generated.
[ 0:04] /usr/bin/ld: /tmp/native-2-a15386.o: in function `__execute_main(int, int, char**, char**)':
[ 0:04] /dios/libc/sys/start.cpp:87: undefined reference to `__dios_tainted_init'
[ 0:04] /usr/bin/ld: /dios/libc/sys/start.cpp:87: undefined reference to `__dios_tainted_init'
[ 0:04] /usr/bin/ld: /dios/libc/sys/start.cpp:87: undefined reference to `__dios_tainted_init'
[ 0:04] clang-7: error: linker command failed with exit code 1 (use -v to see invocation)