6 void err_eq(int x) {  in err_eq()
11 void err_eq2(int x) {  in err_eq2()
16 void err_ne(int x) {  in err_ne()
21 void err_ge(int x) {  in err_ge()
26 void err_le(int x) {  in err_le()
31 void err_yes(int x) {  in err_yes()
35 void err_not(int x) {  in err_not()
40 void err_pnot(int x) {  in err_pnot()
46 void err_pnot2(int x) {  in err_pnot2()
52 void err_ppnot(int x) {  in err_ppnot()
59 void err_orig_checker(int x) {  in err_orig_checker()
66 void ok_other(int x, int y) {  in ok_other()
72 void ok_assign(int x) {  in ok_assign()
79 void ok_assign2(int x) {  in ok_assign2()
86 void ok_dec(int x) {  in ok_dec()
93 void ok_inc(int x) {  in ok_inc()
101 void ok_callfunc_ptr(int x) {  in ok_callfunc_ptr()
109 void nok_callfunc(int x) {  in nok_callfunc()
115 void ok_if(int x) {  in ok_if()
122 void ok_if2(int x) {  in ok_if2()
129 void ok_pif(int x) {  in ok_pif()
141   int x = getValue(&isPositive);  in foo()  local
152   int x = getValue2();  in foo2()  local
159 void ok_while(int x) {  in ok_while()
166 void err_not2(int x, int y) {  in err_not2()
177 inline void inline_func(int x) {  in inline_func()
182 void err_inline(int x) {  in err_inline()
189 inline void inline_func2(int x) {}  in inline_func2()
191 void err_inline2(int x) {  in err_inline2()
197 inline void inline_func3(int x) {  in inline_func3()
200 void ok_inline(int x) {  in ok_inline()