From: drl7x <drl7x>
Date: Fri, 28 Feb 2003 10:09:06 +0000 (+0000)
Subject: Got rid of [look into this ] messages in null.expect and  outglob.expect
X-Git-Tag: splint-3_1_0~56
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/4fab1d8aadad5dcf9d016c8f99655a7abab65845

Got rid of [look into this ] messages in null.expect and  outglob.expect
---

diff --git a/doc/manual.doc b/doc/manual.doc
index a2e05f1..8fc9c30 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ
diff --git a/src/fileTable.c b/src/fileTable.c
index c4dfb49..f570e12 100644
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -229,6 +229,7 @@ fileTable_create ()
   return (ft);
 }
 
+/*@-bounds@*/
 static void
 fileTable_grow (fileTable ft)
 {
@@ -249,7 +250,7 @@ fileTable_grow (fileTable ft)
   sfree (ft->elements);
   ft->elements = newent;
 }
-
+/*@=bounds@*/
 static void
 fileTable_growOpen (fileTable ft)
 {
diff --git a/test/help.expect b/test/help.expect
index 86c6a6e..f84ac2b 100644
--- a/test/help.expect
+++ b/test/help.expect
@@ -47,15 +47,13 @@ Topics:
    version (information on compilation, maintainer)
 
 
-
-Command Line: Unrecognized option: asdf
+Command Line: Unrecognized option: -asdf
   A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
   warning)
 
 Finished checking --- no code processed
 
-Warning: setting +boolint redundant with current value
-
+Command Line: Setting +boolint redundant with current value
 Finished checking --- no code processed
 
    D<initializer>              
@@ -63,6 +61,7 @@ Finished checking --- no code processed
    S<directory>                
    U<initializer>              
    abstract                    
+   abstractcompare             
    accessall                   
    accessczech                 
    accessczechoslovak          
@@ -96,6 +95,7 @@ Finished checking --- no code processed
    bufferoverflowhigh          
    bugslimit                   
    casebreak                   
+   caseinsensitivefilenames    
    castexpose                  
    castfcnptr                  
    charindex                   
@@ -120,6 +120,8 @@ Finished checking --- no code processed
    continuecomment             
    controlnestdepth            
    cppnames                    
+   csv                         
+   csvoverwrite                
    czech                       
    czechconsts                 
    czechfcns                   
@@ -143,13 +145,16 @@ Finished checking --- no code processed
    duplicatecases              
    duplicatequals              
    elseifcomplete              
-   emptyreturn                 
+   emptyret                    
    enumindex                   
    enumint                     
    enummembers                 
    enummemuse                  
    enumprefix                  
    enumprefixexclude           
+   errorstream                 
+   errorstreamstderr           
+   errorstreamstdout           
    evalorder                   
    evalorderuncon              
    exitarg                     
@@ -206,6 +211,7 @@ Finished checking --- no code processed
    hasyield                    
    help                        
    hints                       
+   htmlfileformat              
    i                           
    ifblock                     
    ifempty                     
@@ -266,13 +272,18 @@ Finished checking --- no code processed
    legacy                      
    lh                          
    libmacros                   
+   likely-boundsread           
+   likely-boundswrite          
    likelybool                  
+   likelybounds                
    limit                       
    linelen                     
    lintcomments                
    load                        
    localprefix                 
    localprefixexclude          
+   locindentspaces             
+   longint                     
    longintegral                
    longsignedintegral          
    longunsignedintegral        
@@ -302,6 +313,9 @@ Finished checking --- no code processed
    memchecks                   
    memimp                      
    memtrans                    
+   messagestream               
+   messagestreamstderr         
+   messagestreamstdout         
    misplacedsharequal          
    misscase                    
    modfilesys                  
@@ -353,6 +367,9 @@ Finished checking --- no code processed
    nullstate                   
    nullterminated              
    nullterminated              
+   numabstract                 
+   numabstractcast             
+   numabstractlit              
    numenummembers              
    numliteral                  
    numstructfields             
@@ -411,12 +428,15 @@ Finished checking --- no code processed
    sharedtrans                 
    shiftimplementation         
    shiftnegative               
+   shortint                    
    showallconjs                
    showalluses                 
    showcolumn                  
    showconstraintlocation      
    showconstraintparens        
+   showdeephistory             
    showfunc                    
+   showloadloc                 
    showscan                    
    showsourceloc               
    showsummary                 
@@ -446,6 +466,7 @@ Finished checking --- no code processed
    staticinittrans             
    statictrans                 
    stats                       
+   streamoverwrite             
    strictbranchstate           
    strictdestroy               
    strictlib                   
@@ -497,11 +518,13 @@ Finished checking --- no code processed
    unusedspecial               
    usedef                      
    usereleased                 
-   usestderr                   
    usevarargs                  
    varuse                      
    voidabstract                
    warnflags                   
+   warningstream               
+   warningstreamstderr         
+   warningstreamstdout         
    warnlintcomments            
    warnmissingglobs            
    warnmissingglobsnoglobs     
@@ -515,4 +538,3 @@ Finished checking --- no code processed
    whileempty                  
    whileloopexec               
    zerobool                    
-
diff --git a/test/null.expect b/test/null.expect
index e621ac2..4ea76d2 100644
--- a/test/null.expect
+++ b/test/null.expect
@@ -83,7 +83,7 @@ null3.c:53:3: Only storage gip (type int *) not released before assignment (z
    null3.c:5:17: Storage gip becomes only
 null3.c:55:3: Only storage gnip (type nip) not released before assignment:
                  gnip = aip
-   ??? null3.c:53:3: Storage gnip becomes kept [[[ look into this one, seems odd ]]]
+   null3.c:53:3: Storage gnip becomes kept
 null3.c:60:14: Returned storage y not completely defined (*y is undefined): y
    null3.c:24:42: Storage *y allocated
 null3.c:60:16: Function returns with non-null global gip referencing null
diff --git a/test/outglob.expect b/test/outglob.expect
index e9ae294..f1126c5 100644
--- a/test/outglob.expect
+++ b/test/outglob.expect
@@ -11,7 +11,7 @@ outglob.c:21:10: Undef global x1 used before definition
 outglob.c:22:10: Global x2 used by function undefined before call: g
 outglob.c:27:10: Undef global x3 used before definition
 outglob.c:37:14: Function returns with global x3 undefined
-   outglob.c:5:20: Storage x3 defined [[[ error - look into this ]]]
+   outglob.c:5:20: Storage x3 defined
 outglob.c:41:13: Function returns with global x2 undefined
    outglob.c:1:12: Storage x2 defined
 outglob.c:41:13: Function returns with global x3 undefined