gcc/testsuite/gcc.dg/ubsan/pr79757-4.c

/* PR sanitizer/79757 */
/* { dg-do run } */
/* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
/* { dg-options "-fsanitize=undefined" } */

int
main (void)
{
  int
  div (int n)
  {
    int i = 5 / n;
    return i;
  }

  int
  shift (int n)
  {
    int i = 5 << n;
    return i;
  }

  int j = shift (100);
  int i = div (0);
  return 0;
}

/* { dg-output "shift exponent 100 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*division by zero" } */