view gcc/testsuite/g++.dg/ubsan/div-by-zero-1.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
line wrap: on
line source

/* { dg-do compile } */
/* { dg-options "-fsanitize=integer-divide-by-zero" } */

void
foo (int i)
{
  switch (i)
  case 0 * (1 / 0): /* { dg-warning "division by zero" } */
    ;  /* { dg-error "is not a constant.expression" "" { target *-*-* } .-1 } */
}