Added test case for division by zero.

[splint.git] / test / Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index a68940569c5c004314a626b4e572be3dac308173..f3d1e7a734cc9063ba2e517f87f7fb5420b01f39 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -39,7 +39,7 @@ UNITTESTS = \
   abstptr abstract alias alttypes ansireserved argorder \
   args arraydims blocks break cases cast charlit clauses commentchar compdestroy \
   constannot controldepth csyntax czechnames czechoslovaknames deadparam \
-  decl enum exports external fields flags forbody format freearray \
+  decl divzero enum exports external fields flags forbody format freearray \
   funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \
   linked lintcomments list loopexec \
   macros macrosef merge mergenull modifies modtest moduncon \
@@ -337,6 +337,10 @@ decl:
        -$(SPLINTRN) decl.c +strict -exportlocal -expect 5
        -$(SPLINTR) decl2 -expect 4
 
+.PHONY: divzero
+divzero:
+       -$(SPLINTR) divzero.c -varuse -expect 0
+
 .PHONY: enum
 enum:
        -$(SPLINTR) enum -expect 16