Making fixes for Microsoft Visual C++ compiler.

[splint.git] / src / stateInfo.c

diff --git a/src/stateInfo.c b/src/stateInfo.c
index 79e0049f7a9813172fa3b6b4c186c95df7e951f1..6d80a88a87d359d297309e860e3837caa40525cc 100644 (file)
--- a/src/stateInfo.c
+++ b/src/stateInfo.c
@@ -25,6 +25,15 @@
 # include "splintMacros.nf"
 # include "basic.h"
 
+# ifdef WIN32
+/*
+** Make Microsoft VC++ happy: its control checking produces too
+** many spurious warnings.
+*/
+
+# pragma warning (disable:4715) 
+# endif
+
 static /*@observer@*/ cstring stateAction_unparse (stateAction p_sa) /*@*/ ;
 
 void stateInfo_free (/*@only@*/ stateInfo a)