https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82072
--- Comment #10 from Vittorio Zecca <zeccav at gmail dot com> --- A related issue is the following: /* UB sanitizer should detect undefined negation of LLONG_MIN */ /* must be compiled with -fsanitize=undefined and run */ #include <limits.h> int main() { long long int llnum=LLONG_MIN; unsigned int unum; unum = - llnum;/*negation of -9223372036854775808 cannot be represented in type 'long long int'*/ return 0; } Or should I open a new bug?