view gcc/testsuite/gcc.dg/divbyzero.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

/* Copyright (C) 2001 Free Software Foundation, Inc.  */

/* { dg-do compile } */

/* Source: Neil Booth, Oct 22 2001.  PR 150 - warn about division by
   zero.  */

#define ZERO (4 - 6 + 2)

int main (int argc, char *argv[])
{
  int w = argc % ZERO;		/* { dg-warning "division by zero" } */
  int x = argc / 0;		/* { dg-warning "division by zero" } */
  int y = argc / ZERO;		/* { dg-warning "division by zero" } */

  double z = 0.0 / 0.0	;	/* { dg-bogus "division by zero" } */
  w = (ZERO ? y / ZERO : x);	/* { dg-bogus "division by zero" } */
  x = (ZERO ? argc % ZERO: x);  /* { dg-bogus "division by zero" } */

  return 0;
}