runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

undefined reference to `__rvpredict_atomic_thread_fence' #1001

Closed maya-rv closed 5 years ago

maya-rv commented 6 years ago

Build the following:

#include <stdatomic.h>
int main() {
    atomic_thread_fence(memory_order_release);
    return 0;
}

$ rvpc test27.c
/tmp/test27-cad58c.o: In function `main':
/home/fly/test27.c:3: undefined reference to `__rvpredict_atomic_thread_fence'
gnuoyd commented 6 years ago

There is a fix for this on Carlton's carloon1 branch.

maya-rv commented 5 years ago

fix was merged