X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=conffile.fl;h=b375f3b5851c17a45c673ee06396d430b462fae5;hb=59230b9b9fc44453f24c6b3cf33a0f4c570a3563;hp=1747be26fb321407edeb44ed124c644c13d80ee7;hpb=f0fb73c58ef5315260164b973fcc8c3996046856;p=secnet.git

diff --git a/conffile.fl b/conffile.fl
index 1747be2..b375f3b 100644
--- a/conffile.fl
+++ b/conffile.fl
@@ -6,6 +6,8 @@
 %option never-interactive
 
 %{
+#include <assert.h>
+#include <limits.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
@@ -100,6 +102,7 @@ include			BEGIN(incl);
 	Message(M_FATAL,"config file %s line %d: %s\n",config_file,
 		config_lineno,"``include'' requires a filename");
 	BEGIN(INITIAL);
+	assert(config_lineno < INT_MAX);
 	++config_lineno;
 	++yynerrs;
 }