Fixed problem with NULL being changed.

[splint.git] / test / divzero.c

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