Add boundsread annotations throughout, enable +bounds checking.

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

1 files changed, 2 insertions, 0 deletions

diff --git a/test1.c b/test1.c
index d1bbc47..8d84144 100644
--- a/test1.c
+++ b/test1.c
@@ -254,6 +254,7 @@ int main(int argc, const char ** argv)
     if (singleDash)
 	fprintf(stdout, " -");
 
+/*@-boundsread@*/
     rest = poptGetArgs(optCon);
     if (rest) {
 	fprintf(stdout, " rest:");
@@ -262,6 +263,7 @@ int main(int argc, const char ** argv)
 	    rest++;
 	}
     }
+/*@=boundsread@*/
 
     fprintf(stdout, "\n");