1 void a(void) __attribute__((context(0,1)))
6 void r(void) __attribute__((context(1,0)))
11 void good_paired1(void)
17 void good_paired2(void)
25 void good_paired3(void)
33 void good_lock1(void) __attribute__((context(0,1)))
38 void good_lock2(void) __attribute__((context(0,1)))
45 void good_lock3(void) __attribute__((context(0,1)))
52 void good_unlock1(void) __attribute__((context(1,0)))
57 void good_unlock2(void) __attribute__((context(1,0)))
83 void warn_unlock1(void)
88 void warn_unlock2(void)
95 extern int condition
, condition2
;
145 void good_while1(void)
153 void good_while2(void)
161 void good_while3(void)
173 void good_while4(void)
184 void good_while5(void)
195 void warn_while1(void)
202 void warn_while2(void)
209 void warn_while3(void)
219 void good_goto1(void)
227 void good_goto2(void)
237 void good_goto3(void)
248 void good_goto4(void)
258 void good_goto5(void)
269 void warn_goto1(void)
278 void warn_goto2(void)
288 void warn_goto3(void)