Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read

[splint.git] / test / divzero.c

void f (void)
{
  int x = 3 / 0;
  double d = 3.0 / 0.0;
  
}