/* { dg-do run } */ /* { dg-options "-fsanitize=undefined" } */ #include __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" } */