1  /* PR debug/108573 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fcompare-debug" } */
       4  
       5  unsigned g;
       6  
       7  int bar (void);
       8  int baz (int);
       9  
      10  void
      11  foo (unsigned short s, long l)
      12  {
      13    unsigned u = bar ();
      14    s &= __builtin_add_overflow_p (0, u, 0);
      15    s %= g;
      16    s -= l >> s;
      17    baz (s);
      18  }