pr95810.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/pr95810.c

blob: 535ace69089ff87365d686ed9b2d32472748a4b6 (plain)

/* PR middle-end/95810 */
/* { dg-do run } */
/* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */

int
main ()
{
  int x = -__INT_MAX__ - 1;
  x = (x <= 0 ? x : -x);
  if (x != -__INT_MAX__ - 1)
    __builtin_abort ();
  return 0;
}