13 void separateExpressions (int a) {  in separateExpressions()
20 void oneLongExpression (int a) {  in oneLongExpression()
28 void mixedTypes (int a) {  in mixedTypes()
43 void eq_ne (unsigned a) {  in eq_ne()
55 void mixed_eq_ne (int a) {  in mixed_eq_ne()
67 void baselineGT (unsigned a) {  in baselineGT()
74 void baselineGE (unsigned a) {  in baselineGE()
81 void baselineLT (unsigned a) {  in baselineLT()
88 void baselineLE (unsigned a) {  in baselineLE()
97 void adjustedGT (unsigned a) {  in adjustedGT()
101 void adjustedGE (unsigned a) {  in adjustedGE()
108 void adjustedLT (unsigned a) {  in adjustedLT()
112 void adjustedLE (unsigned a) {  in adjustedLE()
123 void tautologies(unsigned a) {  in tautologies()
130 void tautologiesOutside(unsigned char a) {  in tautologiesOutside()
144 void mixedWraparoundSanityCheck(int a) {  in mixedWraparoundSanityCheck()
152 void mixedWraparoundLE_GT(int a) {  in mixedWraparoundLE_GT()
161 void mixedWraparoundGE_LT(int a) {  in mixedWraparoundGE_LT()
170 void mixedWraparoundEQ_NE(int a) {  in mixedWraparoundEQ_NE()
179 void mixedSignedness(int a, unsigned b) {  in mixedSignedness()
187 void mixedSignedness2(int a) {  in mixedSignedness2()
193 void mixedSignedness3(unsigned a) {  in mixedSignedness3()