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