Update configure and makefile to aclocal/automake 1.10.1 and autoconf 2.61.

[splint.git] / test / divzero.c

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