Home | History | Annotate | Download | only in thread-safety
      1 #include "a.h"
      2 
      3 struct X {
      4   mutex m;
      5   int n __attribute__((guarded_by(m)));
      6 
      7   void f();
      8 };
      9