13 - (int)getInt;  method
17 - (int)getInt {  method
36   int y = [self getInt];
43   return 5/[a getInt]; // expected-warning {{Division by zero}}
49   return 5/[a getInt]; // expected-warning {{Division by zero}}
54   return 5/[a getInt]; // expected-warning {{Division by zero}}
59   return 5/[a getInt]; // no warning
102   (void)[arr[i] getInt];
107 - (id)getInt;  method
112 - (id)getInt { // expected-warning {{types are incompatible}}  method
129   // Devirtualization allows us to directly call -[EvilChild getInt], but
134   int x = 1 + [obj getInt];