1 extern void abort (void);
2 
3 static inline unsigned int
mod_rhs(int rhs)4 mod_rhs(int rhs)
5 {
6   if (rhs == 0) return 1;
7   return rhs;
8 }
9 
10 void func_44 (unsigned int p_45);
func_44(unsigned int p_45)11 void func_44 (unsigned int p_45)
12 {
13   if (!((p_45 * -9) % mod_rhs (-9))) {
14       abort();
15   }
16 }
17 
main(void)18 int main (void)
19 {
20   func_44 (2);
21   return 0;
22 }
23 
24