| // PR sanitizer/81281 | |
| // { dg-do run } | |
| // { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } | |
| // { dg-additional-sources "pr81281-aux.cc" } | |
| extern const int ci; | |
| extern int i; | |
| extern long long ll; | |
| int | |
| foo () | |
| { | |
| int a = (int) (-2024172551 - i - (ci - ll)) | |
| - ((int) (-2024172551 - i - (ci - ll)) | |
| - (int) (-2024172551 - (long long)ci)); | |
| return a; | |
| } | |
| int | |
| main () | |
| { | |
| if (__SIZEOF_INT__ * __CHAR_BIT__ == 32 | |
| && __SIZEOF_LONG_LONG__ * __CHAR_BIT__ == 64) | |
| foo (); | |
| return 0; | |
| } |