1 // PR sanitizer/81281
2 // { dg-do run }
3 // { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" }
4 // { dg-additional-sources "pr81281-aux.cc" }
5 
6 extern const int ci;
7 extern int i;
8 extern long long ll;
9 
10 int
foo()11 foo ()
12 {
13   int a = (int) (-2024172551 - i - (ci - ll))
14 	  - ((int) (-2024172551 - i - (ci - ll))
15 	     - (int) (-2024172551 - (long long)ci));
16   return a;
17 }
18 
19 int
main()20 main ()
21 {
22   if (__SIZEOF_INT__ * __CHAR_BIT__ == 32
23       && __SIZEOF_LONG_LONG__ * __CHAR_BIT__ == 64)
24     foo ();
25   return 0;
26 }
27