gcc/testsuite/gcc.dg/pr38934.c

/* PR middle-end/38934 */
/* { dg-do compile } */
/* { dg-options "-O2 -std=gnu99 -w" } */

/* This variable needed only to work around earlier optimizations than VRP.  */
unsigned char g;

extern void abort ();

void
f (long long int p)
{
  g = 255;
  if (p >= -9223372036854775808LL - (signed char) g)
    p = 1;

  if (p)
    abort ();
}