1 /* Adapted from: https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c/pthread/fib_bench_true-unreach-call.c */
6 #include "libinterface.h"
8 /* volatile */ int i, j;
18 store_32(&i, t1 + t2);
32 store_32(&j, t1 + t2);
40 int user_main(int argc, char **argv)
47 thrd_create(&a, t1, NULL);
48 thrd_create(&b, t2, NULL);