1*dd55b95fSRichard Smith #include "a.h" 2*dd55b95fSRichard Smith 3*dd55b95fSRichard Smith struct X { 4*dd55b95fSRichard Smith mutex m; 5*dd55b95fSRichard Smith int n __attribute__((guarded_by(m))); 6*dd55b95fSRichard Smith 7*dd55b95fSRichard Smith void f(); 8*dd55b95fSRichard Smith }; 9