1/* { dg-do run } */
2/* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */
3
4int
5foo (int x, int y)
6{
7  const int z = 2;
8  if (z & 1)
9    return x << y;
10  return 0;
11}
12
13int
14bar (int x, int y)
15{
16  return x + y;
17}
18
19int
20main (void)
21{
22  foo (3, 2);
23  bar (12, 42);
24  return 0;
25}
26