pr67662.c\ubsan\gcc.dg\testsuite\gcc - riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

index : riscv-gnu-toolchain/gcc.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/gcc/testsuite/gcc.dg/ubsan/pr67662.c

blob: 26fd00fbbe95bb29ed4fb000ff127e67e19282bf (plain)

/* { dg-do run } */
/* { dg-options "-fsanitize=undefined" } */

extern void abort (void);

int
main (void)
{
  int halfmaxval = __INT_MAX__ / 2 + 1;
  int maxval = halfmaxval - 1 + halfmaxval;
  if (maxval != __INT_MAX__)
    abort ();
  return 0;
}