/* { dg-do run } */
/* { dg-options "-fsanitize=undefined" } */

#include <stdio.h>

__attribute__((noinline, noclone)) unsigned long long
foo (unsigned int x, unsigned long int y, unsigned long long int z, __UINTMAX_TYPE__ w)
{
  unsigned long long ret = 0;
  fprintf (stderr, "FOO MARKER1\n");
  ret += __builtin_ctz (x);
  ret += __builtin_ctzl (y);
  ret += __builtin_ctzll (z);
  ret += __builtin_ctzimax (w);
  fprintf (stderr, "FOO MARKER2\n");
  ret += __builtin_clz (x);
  ret += __builtin_clzl (y);
  ret += __builtin_clzll (z);
  ret += __builtin_clzimax (w);
  fprintf (stderr, "FOO MARKER3\n");
  return ret;
}

int
main ()
{
  volatile __UINTMAX_TYPE__ t = 0;
  t = foo (t, t, t, t);
  return 0;
}

/* { dg-output "FOO MARKER1(\n|\r\n|\r)" } */
/* { dg-output "(\[^\n\r]*runtime error: passing zero to ctz\\\(\\\), which is not a valid argument\[^\n\r]*(\n|\r\n|\r)){4}" } */
/* { dg-output "FOO MARKER2(\n|\r\n|\r)" } */
/* { dg-output "(\[^\n\r]*runtime error: passing zero to clz\\\(\\\), which is not a valid argument\[^\n\r]*(\n|\r\n|\r)){4}" } */
/* { dg-output "FOO MARKER3" } */