]> andersk Git - splint.git/blobdiff - test/help.expect
Fixes after removing -unrecogcomments flag for make splintme.
[splint.git] / test / help.expect
index f84ac2ba3de106bc05c6263087f554ceba1897a8..4fbb2dc709009d177c8e139fa4124c5480190e09 100644 (file)
@@ -22,8 +22,6 @@ Topics:
    version (information on compilation, maintainer)
 
 
-Finished checking --- no code processed
-
 Source files are .c, .h and .lcl files.  If there is no suffix,
    Splint will look for <file>.c and <file>.lcl.
 
@@ -361,6 +359,7 @@ Finished checking --- no code processed
    null                        
    nullassign                  
    nullderef                   
+   nullinit                    
    nullpass                    
    nullptrarith                
    nullret                     
@@ -369,7 +368,9 @@ Finished checking --- no code processed
    nullterminated              
    numabstract                 
    numabstractcast             
+   numabstractindex            
    numabstractlit              
+   numabstractprint            
    numenummembers              
    numliteral                  
    numstructfields             
This page took 0.064566 seconds and 4 git commands to generate.