1  /* PR sanitizer/79757 */
       2  /* { dg-do run } */
       3  /* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
       4  /* { dg-options "-fsanitize=undefined" } */
       5  
       6  int
       7  main (void)
       8  {
       9    int
      10    div (int n)
      11    {
      12      __auto_type i = 5 / n;
      13      return i;
      14    }
      15  
      16    int
      17    shift (int n)
      18    {
      19      __auto_type i = 5 << n;
      20      return i;
      21    }
      22  
      23    int j = shift (100);
      24    int i = div (0);
      25    return 0;
      26  }
      27  
      28  /* { dg-output "shift exponent 100 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      29  /* { dg-output "\[^\n\r]*division by zero" } */