additional buffer checking annotations

[splint.git] / src / shift.c

diff --git a/src/shift.c b/src/shift.c
index cf39fece633c4895837db129fc4d91e862e63918..7a11296a9b0e1776384384356e3e933510fdd42d 100644 (file)
--- a/src/shift.c
+++ b/src/shift.c
@@ -38,7 +38,7 @@
 # include "llbasic.h"
 # include "shift.h"
 
-/*@constant static int SHIFTMAX;@*/
+/*@constant static int SHIFTMAX=200;@*/
 # define SHIFTMAX 200
 
 static o_ltoken Shifts[SHIFTMAX];