3 static void a(void) __attribute__((context(0,1)))  in a()  argument
8 static void r(void) __attribute__((context(1,0)))  in r()  argument
16 static void good_paired1(void)  in good_paired1()  argument
22 static void good_paired2(void)  in good_paired2()  argument
30 static void good_paired3(void)  in good_paired3()  argument
38 static void good_lock1(void) __attribute__((context(0,1)))  in good_lock1()  argument
43 static void good_lock2(void) __attribute__((context(0,1)))  in good_lock2()  argument
50 static void good_lock3(void) __attribute__((context(0,1)))  in good_lock3()  argument
57 static void good_unlock1(void) __attribute__((context(1,0)))  in good_unlock1()  argument
62 static void good_unlock2(void) __attribute__((context(1,0)))  in good_unlock2()  argument
69 static void warn_lock1(void)  in warn_lock1()  argument
74 static void warn_lock2(void)  in warn_lock2()  argument
81 static void warn_lock3(void)  in warn_lock3()  argument
88 static void warn_unlock1(void)  in warn_unlock1()  argument
93 static void warn_unlock2(void)  in warn_unlock2()  argument
102 static int good_if1(void)  in good_if1()  argument
113 static void good_if2(void)  in good_if2()  argument
121 static void good_if3(void)  in good_if3()  argument
131 static int warn_if1(void)  in warn_if1()  argument
140 static int warn_if2(void)  in warn_if2()  argument
150 static void good_while1(void)  in good_while1()  argument
158 static void good_while2(void)  in good_while2()  argument
166 static void good_while3(void)  in good_while3()  argument
178 static void good_while4(void)  in good_while4()  argument
189 static void good_while5(void)  in good_while5()  argument
200 static void warn_while1(void)  in warn_while1()  argument
207 static void warn_while2(void)  in warn_while2()  argument
214 static void warn_while3(void)  in warn_while3()  argument
224 static void good_goto1(void)  in good_goto1()  argument
232 static void good_goto2(void)  in good_goto2()  argument
242 static void good_goto3(void)  in good_goto3()  argument
253 static void good_goto4(void)  in good_goto4()  argument
263 static void good_goto5(void)  in good_goto5()  argument
274 static void warn_goto1(void)  in warn_goto1()  argument
283 static void warn_goto2(void)  in warn_goto2()  argument
293 static void warn_goto3(void)  in warn_goto3()  argument
303 static void good_cond_lock1(void)  in good_cond_lock1()  argument
311 static void warn_cond_lock1(void)  in warn_cond_lock1()  argument