1 #define __cond_lock(c) ((c) ? ({ __context__(1); 1; }) : 0)
3 void a(void) __attribute__((context(0,1)))
8 void r(void) __attribute__((context(1,0)))
13 extern void _ca(int fail
);
14 #define ca(fail) __cond_lock(_ca(fail))
16 void good_paired1(void)
22 void good_paired2(void)
30 void good_paired3(void)
38 void good_lock1(void) __attribute__((context(0,1)))
43 void good_lock2(void) __attribute__((context(0,1)))
50 void good_lock3(void) __attribute__((context(0,1)))
57 void good_unlock1(void) __attribute__((context(1,0)))
62 void good_unlock2(void) __attribute__((context(1,0)))
88 void warn_unlock1(void)
93 void warn_unlock2(void)
100 extern int condition
, condition2
;
150 void good_while1(void)
158 void good_while2(void)
166 void good_while3(void)
178 void good_while4(void)
189 void good_while5(void)
200 void warn_while1(void)
207 void warn_while2(void)
214 void warn_while3(void)
224 void good_goto1(void)
232 void good_goto2(void)
242 void good_goto3(void)
253 void good_goto4(void)
263 void good_goto5(void)
274 void warn_goto1(void)
283 void warn_goto2(void)
293 void warn_goto3(void)
303 void good_cond_lock1(void)
306 condition2
= 1; /* do stuff */
311 void warn_cond_lock1(void)
314 condition2
= 1; /* do stuff */