blob: 2f340e3e70f1795d62ced9f0937c51b69a8993f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
/* { 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" } */
|
