gcc/testsuite/c-c++-common/ubsan/shift-7.c


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

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

unsigned long long int __attribute__ ((noinline, noclone))
foo (unsigned long long int i, unsigned long long int j)
{
  asm ("");
  return i >> j;
}

unsigned long long int __attribute__ ((noinline, noclone))
bar (unsigned long long int i, unsigned long long int j)
{
  asm ("");
  return i << j;
}

int
main ()
{
  foo (1ULL, 0x100000000ULL);
  bar (1ULL, 0x100000000ULL);
}

/* { dg-output "shift exponent 4294967296 is too large for \[^\n\r]*-bit type 'long long unsigned int'\[^\n\r]*(\n|\r\n|\r)" } */
/* { dg-output "\[^\n\r]*shift exponent 4294967296 is too large for \[^\n\r]*-bit type 'long long unsigned int'" } */