1/* PR sanitizer/60613 */
2/* { dg-do run } */
3/* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */
4
5long long y;
6
7__attribute__((noinline, noclone)) long long
8foo (long long x)
9{
10  asm ("");
11  if (x >= 0 || x < -2040)
12    return 23;
13  x += 2040;
14  return x - y;
15}
16
17__attribute__((noinline, noclone)) long long
18bar (long long x)
19{
20  asm ("");
21  return 8LL - x;
22}
23
24int
25main ()
26{
27  y = 1;
28  if (foo (8 - 2040) != 8 - 1)
29    __builtin_abort ();
30  if (bar (1) != 8 - 1)
31    __builtin_abort ();
32  return 0;
33}
34