Work around for the MaxSet(c) >= sizeof c -1 simplification.

[splint.git] / src / flex.reset

diff --git a/src/flex.reset b/src/flex.reset
index 0ef79dec91392b7fefa6893c9209b792b7c63696..f0b2b288f03957af2d0b57d646c5d4ac5d56c032 100644 (file)
--- a/src/flex.reset
+++ b/src/flex.reset
@@ -50,6 +50,11 @@
 /*@=redecl@*/
 /*@=retvalother@*/
 
+
+/*drl added 11/27/2001*/
+/*@=arraybounds@*/
+/*@=arrayboundsread@*/
+
 # ifdef OSF
 # define __GNUC__
 # endif