1  extern void abort (void);
       2  
       3  static inline unsigned int
       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);
      11  void func_44 (unsigned int p_45)
      12  {
      13    if (!((p_45 * -9) % mod_rhs (-9))) {
      14        abort();
      15    }
      16  }
      17  
      18  int main (void)
      19  {
      20    func_44 (2);
      21    return 0;
      22  }
      23