------- Comment #8 from aph at gcc dot gnu dot org 2007-04-10 16:47 ------- I don't have an Alpha to test, but I can see read_barrier() in HEAD:
inline static void read_barrier() { __asm__ __volatile__("mb" : : : "memory"); } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30424