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