Add boundsread annotations throughout, enable +bounds checking.

Start narrowing the scope of bounds annotations by adding more annotations.

CVS patchset: 5537
CVS date: 2002/07/02 23:54:35

1 files changed, 2 insertions, 0 deletions

diff --git a/build.c b/build.c
index 04208d5e6..4a00cb532 100644
--- a/build.c
+++ b/build.c
@@ -85,9 +85,11 @@ static int isSpecFile(const char * specfile)
 	case ':':
 	    checking = 0;
 	    /*@switchbreak@*/ break;
+/*@-boundsread@*/
 	default:
 	    if (checking && !(isprint(*s) || isspace(*s))) return 0;
 	    /*@switchbreak@*/ break;
+/*@=boundsread@*/
 	}
     }
     return 1;