]> andersk Git - splint.git/blobdiff - test/help.expect
noexpand always false.
[splint.git] / test / help.expect
index 456dda1fc8d99760d681a9b1680ee5c3a4dfdf8a..a0863bb5f11d032c4dd585c0c07687597ed0b002 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.
 
@@ -74,6 +72,7 @@ Finished checking --- no code processed
    allglobs                    
    allimponly                  
    allmacros                   
+   allocmismatch               
    alwaysexits                 
    annotationerror             
    ansi89limits                
@@ -219,6 +218,7 @@ Finished checking --- no code processed
    ignoresigns                 
    immediatetrans              
    impabstract                 
+   impboundsconstraints        
    impcheckedglobs             
    impcheckedspecglobs         
    impcheckedstatics           
@@ -231,7 +231,6 @@ Finished checking --- no code processed
    impcheckmodstatics          
    impconj                     
    implementationoptional      
-   implictconstraint           
    impouts                     
    imptype                     
    includenest                 
@@ -272,10 +271,10 @@ Finished checking --- no code processed
    legacy                      
    lh                          
    libmacros                   
-   likely-boundsread           
-   likely-boundswrite          
    likelybool                  
    likelybounds                
+   likelyboundsread            
+   likelyboundswrite           
    limit                       
    linelen                     
    lintcomments                
@@ -294,6 +293,7 @@ Finished checking --- no code processed
    loopswitchbreak             
    macroassign                 
    macroconstdecl              
+   macroconstdistance          
    macrodecl                   
    macroempty                  
    macrofcndecl                
@@ -301,7 +301,7 @@ Finished checking --- no code processed
    macroparams                 
    macroparens                 
    macroredef                  
-   macroreturn                 
+   macroret                    
    macrostmt                   
    macrounrecog                
    macrovarprefix              
@@ -367,7 +367,6 @@ Finished checking --- no code processed
    nullret                     
    nullstate                   
    nullterminated              
-   nullterminated              
    numabstract                 
    numabstractcast             
    numabstractindex            
@@ -409,6 +408,7 @@ Finished checking --- no code processed
    readonlystrings             
    readonlytrans               
    realcompare                 
+   realrelatecompare           
    redecl                      
    redef                       
    redundantconstraints        
This page took 0.027058 seconds and 4 git commands to generate.