Added test case for division by zero.

[splint.git] / test / divzero.c

diff --git a/test/divzero.c b/test/divzero.c
new file mode 100644 (file)
index 0000000..3a0ce5d
--- /dev/null
+++ b/test/divzero.c
@@ -0,0 +1,6 @@
+void f (void)
+{
+  int x = 3 / 0;
+  double d = 3.0 / 0.0;
+  
+}