home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lclint.zip / lclint-2_3h-os2-bin.zip / test / help.expect < prev    next >
Text File  |  1997-09-03  |  42KB  |  968 lines

  1.  
  2. Source files are .c, .h and .lcl files.  If there is no suffix,
  3.    LCLint will look for <file>.c and <file>.lcl.
  4.  
  5. Use lclint -help <topic or flag name> for more information
  6.  
  7. Topics:
  8.  
  9.    annotations (describes source-code annotations)
  10.    comments (describes control comments)
  11.    flags (describes flag categories)
  12.    flags <category> (describes flags in category)
  13.    flags all (short description of all flags)
  14.    flags alpha (list all flags alphabetically)
  15.    flags full (full description of all flags)
  16.    mail (information on mailing lists)
  17.    modes (show mode settings)
  18.    parseerrors (help on handling parser errors)
  19.    prefixcodes (character codes in namespace prefixes)
  20.    references (sources for more information)
  21.    vars (environment variables)
  22.    version (information on compilation, maintainer)
  23.  
  24.  
  25. Cannot find standard library: ansi.lcd
  26.      Check LARCH_PATH environment variable.
  27. Continuing without LCL init file: lclinit.lci
  28. Continuing without LSL init file: lslinit.lsi
  29. Unable to find CTrait.syms or CTrait.lsl.  Check LARCH_PATH environment
  30. variable.
  31.  
  32. Source files are .c, .h and .lcl files.  If there is no suffix,
  33.    LCLint will look for <file>.c and <file>.lcl.
  34.  
  35. Use lclint -help <topic or flag name> for more information
  36.  
  37. Topics:
  38.  
  39.    annotations (describes source-code annotations)
  40.    comments (describes control comments)
  41.    flags (describes flag categories)
  42.    flags <category> (describes flags in category)
  43.    flags all (short description of all flags)
  44.    flags alpha (list all flags alphabetically)
  45.    flags full (full description of all flags)
  46.    mail (information on mailing lists)
  47.    modes (show mode settings)
  48.    parseerrors (help on handling parser errors)
  49.    prefixcodes (character codes in namespace prefixes)
  50.    references (sources for more information)
  51.    vars (environment variables)
  52.    version (information on compilation, maintainer)
  53.  
  54.  
  55. Unrecognized option: asdf
  56.  
  57.  
  58. Finished LCLint checking --- no code processed
  59.  
  60. Warning: setting +boolint redundant with current value
  61.  
  62. Finished LCLint checking --- no code processed
  63.  
  64.    D<initializer>              
  65.    I<directory>                
  66.    S<directory>                
  67.    U<initializer>              
  68.    abstract                    
  69.    accessall                   
  70.    accessczech                 
  71.    accessczechoslovak          
  72.    accessfile                  
  73.    accessmodule                
  74.    accessslovak                
  75.    aliasunique                 
  76.    allblock                    
  77.    allempty                    
  78.    allglobs                    
  79.    allimponly                  
  80.    allmacros                   
  81.    ansilib                     
  82.    ansilimits                  
  83.    ansireserved                
  84.    ansireservedinternal        
  85.    assignexpose                
  86.    badflag                     
  87.    bitwisesigned               
  88.    bool                        
  89.    boolcompare                 
  90.    boolfalse                   
  91.    boolint                     
  92.    boolops                     
  93.    booltrue                    
  94.    booltype                    
  95.    branchstate                 
  96.    casebreak                   
  97.    castexpose                  
  98.    castfcnptr                  
  99.    charindex                   
  100.    charint                     
  101.    charintliteral              
  102.    checkedglobalias            
  103.    checkmodglobalias           
  104.    checkstrictglobalias        
  105.    checkstrictglobs            
  106.    codeimponly                 
  107.    commentchar                 
  108.    compdef                     
  109.    compdestroy                 
  110.    compmempass                 
  111.    constmacros                 
  112.    constprefix                 
  113.    constprefixexclude          
  114.    constuse                    
  115.    continuecomment             
  116.    controlnestdepth            
  117.    cppnames                    
  118.    czech                       
  119.    czechconsts                 
  120.    czechfcns                   
  121.    czechmacros                 
  122.    czechoslovak                
  123.    czechoslovakconsts          
  124.    czechoslovakfcns            
  125.    czechoslovakmacros          
  126.    czechoslovaktypes           
  127.    czechoslovakvars            
  128.    czechtypes                  
  129.    czechvars                   
  130.    declundef                   
  131.    deepbreak                   
  132.    deparrays                   
  133.    dependenttrans              
  134.    distinctexternalnames       
  135.    distinctinternalnames       
  136.    dump                        
  137.    duplicatequals              
  138.    elseifcomplete              
  139.    enumindex                   
  140.    enumint                     
  141.    enummemuse                  
  142.    enumprefix                  
  143.    enumprefixexclude           
  144.    evalorder                   
  145.    evalorderuncon              
  146.    exitarg                     
  147.    expect                      
  148.    exportany                   
  149.    exportconst                 
  150.    exportfcn                   
  151.    exportheader                
  152.    exportheadervar             
  153.    exportiter                  
  154.    exportlocal                 
  155.    exportmacro                 
  156.    exporttype                  
  157.    exportvar                   
  158.    exposetrans                 
  159.    externalnamecaseinsensitive 
  160.    externalnamelen             
  161.    externalprefix              
  162.    externalprefixexclude       
  163.    f                           
  164.    fcnmacros                   
  165.    fcnuse                      
  166.    fielduse                    
  167.    filestaticprefix            
  168.    filestaticprefixexclude     
  169.    fixedformalarray            
  170.    floatdouble                 
  171.    forblock                    
  172.    forcehints                  
  173.    forempty                    
  174.    formalarray                 
  175.    formatcode                  
  176.    formattype                  
  177.    forwarddecl                 
  178.    freshtrans                  
  179.    fullinitblock               
  180.    globalias                   
  181.    globalprefix                
  182.    globalprefixexclude         
  183.    globimponly                 
  184.    globnoglobs                 
  185.    globs                       
  186.    globsimpmodsnothing         
  187.    globstate                   
  188.    globuse                     
  189.    gnuextensions               
  190.    hasyield                    
  191.    help                        
  192.    hints                       
  193.    i                           
  194.    ifblock                     
  195.    ifempty                     
  196.    ignorequals                 
  197.    ignoresigns                 
  198.    immediatetrans              
  199.    impabstract                 
  200.    impcheckedglobs             
  201.    impcheckedspecglobs         
  202.    impcheckedstatics           
  203.    impcheckedstrictglobs       
  204.    impcheckedstrictspecglobs   
  205.    impcheckedstrictstatics     
  206.    impcheckmodglobs            
  207.    impcheckmodinternals        
  208.    impcheckmodspecglobs        
  209.    impcheckmodstatics          
  210.    impconj                     
  211.    impouts                     
  212.    imptype                     
  213.    includenest                 
  214.    incompletetype              
  215.    incondefs                   
  216.    incondefslib                
  217.    infloops                    
  218.    infloopsuncon               
  219.    internalglobs               
  220.    internalglobsnoglobs        
  221.    internalnamecaseinsensitive 
  222.    internalnamelen             
  223.    internalnamelookalike       
  224.    iterprefix                  
  225.    iterprefixexclude           
  226.    keeptrans                   
  227.    kepttrans                   
  228.    lclexpect                   
  229.    lcs                         
  230.    lh                          
  231.    libmacros                   
  232.    likelybool                  
  233.    limit                       
  234.    linelen                     
  235.    lintcomments                
  236.    load                        
  237.    localprefix                 
  238.    localprefixexclude          
  239.    longintegral                
  240.    longsignedintegral          
  241.    longunsignedintegral        
  242.    longunsignedunsignedintegral
  243.    loopexec                    
  244.    looploopbreak               
  245.    looploopcontinue            
  246.    loopswitchbreak             
  247.    macroassign                 
  248.    macroconstdecl              
  249.    macrodecl                   
  250.    macroempty                  
  251.    macrofcndecl                
  252.    macromatchname              
  253.    macroparams                 
  254.    macroparens                 
  255.    macroredef                  
  256.    macrostmt                   
  257.    macrounrecog                
  258.    macrovarprefix              
  259.    macrovarprefixexclude       
  260.    maintype                    
  261.    matchanyintegral            
  262.    matchfields                 
  263.    mayaliasunique              
  264.    memchecks                   
  265.    memimp                      
  266.    memtrans                    
  267.    misscase                    
  268.    modfilesys                  
  269.    modglobs                    
  270.    modglobsnomods              
  271.    modglobsunchecked           
  272.    modinternalstrict           
  273.    modnomods                   
  274.    modobserver                 
  275.    modobserveruncon            
  276.    mods                        
  277.    modsimpnoglobs              
  278.    modstrictglobsnomods        
  279.    moduncon                    
  280.    modunconnomods              
  281.    modunspec                   
  282.    mustdefine                  
  283.    mustfree                    
  284.    mustmod                     
  285.    mustnotalias                
  286.    mutrep                      
  287.    namechecks                  
  288.    needspec                    
  289.    nestcomment                 
  290.    nestedextern                
  291.    neverinclude                
  292.    newdecl                     
  293.    newreftrans                 
  294.    nextlinemacros              
  295.    noaccess                    
  296.    nocomments                  
  297.    noeffect                    
  298.    noeffectuncon               
  299.    nof                         
  300.    nolib                       
  301.    noparams                    
  302.    noret                       
  303.    null                        
  304.    nullassign                  
  305.    nullderef                   
  306.    nullpass                    
  307.    nullret                     
  308.    nullstate                   
  309.    numenummembers              
  310.    numliteral                  
  311.    numstructfields             
  312.    observertrans               
  313.    oldstyle                    
  314.    onlytrans                   
  315.    onlyunqglobaltrans          
  316.    overload                    
  317.    ownedtrans                  
  318.    paramimptemp                
  319.    paramuse                    
  320.    partial                     
  321.    passunknown                 
  322.    posixlib                    
  323.    posixstrictlib              
  324.    predassign                  
  325.    predbool                    
  326.    predboolint                 
  327.    predboolothers              
  328.    predboolptr                 
  329.    protoparammatch             
  330.    protoparamname              
  331.    protoparamprefix            
  332.    protoparamprefixexclude     
  333.    ptrarith                    
  334.    ptrcompare                  
  335.    ptrnegate                   
  336.    quiet                       
  337.    readonlystrings             
  338.    readonlytrans               
  339.    realcompare                 
  340.    redecl                      
  341.    redef                       
  342.    refcounttrans               
  343.    relaxquals                  
  344.    relaxtypes                  
  345.    repeatunrecog               
  346.    repexpose                   
  347.    retalias                    
  348.    retexpose                   
  349.    retimponly                  
  350.    retval                      
  351.    retvalbool                  
  352.    retvalint                   
  353.    retvalother                 
  354.    sefparams                   
  355.    sefuncon                    
  356.    shadow                      
  357.    sharedtrans                 
  358.    shiftsigned                 
  359.    showallconjs                
  360.    showalluses                 
  361.    showcolumn                  
  362.    showfunc                    
  363.    showscan                    
  364.    showsummary                 
  365.    singleinclude               
  366.    sizeofformalarray           
  367.    sizeoftype                  
  368.    skipansiheaders             
  369.    skipposixheaders            
  370.    skipsysheaders              
  371.    slovak                      
  372.    slovakconsts                
  373.    slovakfcns                  
  374.    slovakmacros                
  375.    slovaktypes                 
  376.    slovakvars                  
  377.    specglobimponly             
  378.    specimponly                 
  379.    specmacros                  
  380.    specretimponly              
  381.    specstructimponly           
  382.    specundecl                  
  383.    specundef                   
  384.    stackref                    
  385.    staticinittrans             
  386.    statictrans                 
  387.    stats                       
  388.    strictbranchstate           
  389.    strictdestroy               
  390.    strictlib                   
  391.    strictops                   
  392.    strictusereleased           
  393.    stringliterallen            
  394.    structimponly               
  395.    supcounts                   
  396.    switchloopbreak             
  397.    switchswitchbreak           
  398.    syntax                      
  399.    sysdirerrors                
  400.    sysdirexpandmacros          
  401.    sysdirs                     
  402.    sysunrecog                  
  403.    tagprefix                   
  404.    tagprefixexclude            
  405.    temptrans                   
  406.    timedist                    
  407.    tmpcomments                 
  408.    tmpdir                      
  409.    topuse                      
  410.    trytorecover                
  411.    type                        
  412.    typeprefix                  
  413.    typeprefixexclude           
  414.    typeuse                     
  415.    uncheckedglobalias          
  416.    uncheckedmacroprefix        
  417.    uncheckedmacroprefixexclude 
  418.    uniondef                    
  419.    unixlib                     
  420.    unixstrictlib               
  421.    unqualifiedinittrans        
  422.    unqualifiedtrans            
  423.    unreachable                 
  424.    unrecog                     
  425.    unrecogcomments             
  426.    unusedspecial               
  427.    usedef                      
  428.    usereleased                 
  429.    usestderr                   
  430.    usevarargs                  
  431.    varuse                      
  432.    voidabstract                
  433.    warnflags                   
  434.    warnlintcomments            
  435.    warnmissingglobs            
  436.    warnmissingglobsnoglobs     
  437.    warnposixheaders            
  438.    warnunixlib                 
  439.    whichlib                    
  440.    whileblock                  
  441.    whileempty                  
  442.  
  443.  
  444. bool --- boolean type is abstract
  445. likelybool --- type name is probably a boolean type but does not match default
  446. boolean type name, "bool", and alternate name is not set
  447. impabstract --- assume user type definitions are abstract (unless
  448. /*@concrete@*/ is used)
  449. accessall --- set accessmodule, accessfile and accessczech
  450. accessmodule --- allow access to abstract types in definition module
  451. accessfile --- allow access to abstract types by file name convention
  452. accessczech --- allow access to abstract types by czech naming convention
  453. accessslovak --- allow access to abstract types by slovak naming convention
  454. accessczechoslovak --- allow access to abstract types by czechoslovak naming
  455. convention
  456. abstract --- data abstraction barriers
  457. mutrep --- representation of mutable type has sharing semantics
  458. globalias --- function returns with global aliasing external state (sets
  459. checkstrictglobalias, checkedglobalias, checkmodglobalias and
  460. uncheckedglobalias)
  461. checkstrictglobalias --- function returns with a checkstrict global aliasing
  462. external state
  463. checkedglobalias --- function returns with a checked global aliasing external
  464. state
  465. checkmodglobalias --- function returns with a checkmod global aliasing external
  466. state
  467. uncheckedglobalias --- function returns with an unchecked global aliasing
  468. external state
  469. aliasunique --- unique parameter is aliased
  470. mayaliasunique --- unique parameter may be aliased
  471. mustnotalias --- temp storage aliased at return point or scope exit
  472. retalias --- function returns alias to parameter or global
  473. noparams --- function declaration has no parameter list
  474. oldstyle --- old style function definition
  475. gnuextensions --- support some gnu (gcc) language extensions
  476. usevarargs --- non-standard <varargs.h> included
  477. warnposixheaders --- a POSIX header is included, but the POSIX library is not
  478. used
  479. exitarg --- argument to exit has implementation defined behavior
  480. evalorder --- code has unspecified or implementation-dependent behavior because
  481. of order of evaluation
  482. evalorderuncon --- code involving call to unspecified function has undefined or
  483. implementation-dependent behavior
  484. boolfalse --- set name of boolean false (default FALSE)
  485. booltype --- set name of boolean type (default bool)
  486. booltrue --- set name of boolean true (default TRUE)
  487. noaccess --- ignore access comments
  488. nocomments --- ignore all stylized comments
  489. unrecogcomments --- stylized comment is unrecognized
  490. continuecomment --- line continuation marker (\) in comment before */ on same
  491. line
  492. nestcomment --- comment begins inside comment
  493. tmpcomments --- interpret t comments (ignore errors in lines marked with
  494. /*@t<n>@*/
  495. lintcomments --- interpret traditional lint comments (/*FALLTHROUGH*/,
  496. /*NOTREACHED*/)
  497. warnlintcomments --- print a warning and suggest an alternative when a
  498. traditional lint comment is used
  499. declundef --- function or variable declared but never defined
  500. specundef --- function or variable specified but never defined
  501. specundecl --- function or variable specified but never declared in a source
  502. file
  503. loopexec --- assume all loops execute at least once
  504. infloops --- likely infinite loop is detected
  505. infloopsuncon --- likely infinite loop is detected (may result from
  506. unconstrained function)
  507. deepbreak --- break inside nested while or for or switch
  508. looploopbreak --- break inside nested while or for
  509. switchloopbreak --- break in loop inside switch
  510. loopswitchbreak --- break in switch inside loop
  511. switchswitchbreak --- break in switch inside switch
  512. looploopcontinue --- continue inside nested loop
  513. unreachable --- unreachable code detected
  514. whileempty --- a while statement has no body
  515. whileblock --- the body of a while statement is not a block
  516. forempty --- a for statement has no body
  517. forblock --- the body of a for statement is not a block
  518. ifempty --- an if statement has no body
  519. ifblock --- the body of an if statement is not a block
  520. allempty --- an if, while or for statement has no body (sets ifempty,
  521. whileempty and forempty
  522. allblock --- the body of an if, while or for statement is not a block (sets
  523. ifblock, whileblock and forblock)
  524. elseifcomplete --- if ... else if chains must have final else
  525. noret --- path with no return detected in non-void function
  526. casebreak --- non-empty case in a switch without preceding break
  527. misscase --- switch on enum type missing case for some value
  528. shadow --- declaration reuses name visible in outer scope
  529. incondefslib --- function, variable or constant defined in a library is
  530. redefined with inconsistent type
  531. overload --- library function overloaded
  532. nestedextern --- an extern declaration is inside a function scope
  533. redecl --- function or variable redeclared
  534. redef --- function or variable redefined
  535. incondefs --- function, variable or constant redefined with inconsistent type
  536. imptype --- variable declaration has unknown (implicitly int) type
  537. matchfields --- struct or enum type redefined with inconsistent fields or
  538. members
  539. usedef --- use before definition
  540. impouts --- pointer parameters to unspecified functions may be implicit out
  541. parameters
  542. tmpdir --- set directory for writing temp files
  543. sysdirs --- set directories for system files (default /usr/include). Separate
  544. directories with colons (e.g., "/usr/include:/usr/local/lib"). Flag settings
  545. propagate to files in a system directory. If -sysdirerrors is set, no errors
  546. are reported for files in system directories.
  547. skipansiheaders --- prevent inclusion of header files in a system directory
  548. with names that match standard ANSI headers. The symbolic information in the
  549. standard library is used instead.  Flag in effect only if a library including
  550. the ANSI library is loaded.  The ANSI headers are:
  551. assert, ctype, errno, float, limits, locale, math, setjmp, signal, stdarg,
  552. stddef, stdio, stdlib, strings, string, time, and wchar.
  553. skipposixheaders --- prevent inclusion of header files in a system directory
  554. with names that match standard POSIX headers. The symbolic information in the
  555. posix library is used instead.  The POSIX headers are:
  556. dirent, fcntl, grp, pwd, termios, sys/stat, sys/times, sys/types, sys/utsname,
  557. sys/wait, unistd, and utime.
  558. sysdirerrors --- report errors in files in system directories (set by -sysdirs)
  559. sysdirexpandmacros --- expand macros in system directories regardless of other
  560. settings, except for macros corresponding to names defined in a load library
  561. I<directory> --- add to C include path
  562. S<directory> --- add to spec path
  563. quiet --- suppress herald and error count
  564. usestderr --- send error messages to standard error (instead of standard out)
  565. showsummary --- show summary of all errors reported and suppressed
  566. showscan --- show file names are they are processed
  567. stats --- display lines processed and time
  568. timedist --- display time distribution
  569. showalluses --- show sorted list of uses of all globals
  570. noeffect --- statement with no effect
  571. noeffectuncon --- statement with no effect (except possibly through call to
  572. unconstrained function)
  573. exportany --- variable, function or type exported but not specified
  574. exportfcn --- function exported but not specified
  575. exportmacro --- expanded macro exported but not specified
  576. exporttype --- type definition exported but not specified
  577. exportvar --- variable exported but not specified
  578. exportconst --- constant exported but not specified
  579. exportiter --- constant exported but not specified
  580. repexpose --- abstract representation is exposed (sets assignexpose, retexpose,
  581. and castexpose)
  582. retexpose --- abstract representation is exposed (return values only)
  583. assignexpose --- abstract representation is exposed (assignments only)
  584. castexpose --- abstract representation is exposed through a cast
  585. linelen --- set length of messages (number of chars)
  586. showcolumn --- show column number where error is found
  587. showfunc --- show name of function containing error
  588. showallconjs --- show all possible types
  589. impconj --- make all alternate types implicit (useful for making system
  590. libraries
  591. expect --- expect <int> code errors
  592. lclexpect --- expect <int> spec errors
  593. partial --- check as partial system (-specundef, -declundef, -exportlocal,
  594. don't check macros in headers without corresponding .c files)
  595. globs --- undocumented use of a checked global variable
  596. globuse --- global listed for a function not used
  597. internalglobs --- use of internalState
  598. internalglobsnoglobs --- use of internalState (in function with no globals
  599. list)
  600. warnmissingglobs --- global variable used in modifies clause is not listed in
  601. globals list
  602. warnmissingglobsnoglobs --- global variable used in modifies clause in a
  603. function with no globals list
  604. globnoglobs --- use of checked global in a function with no globals list or
  605. specification
  606. allglobs --- report use and modification errors for globals not annotated with
  607. unchecked
  608. checkstrictglobs --- report use and modification errors for checkedstrict
  609. globals
  610. impcheckedspecglobs --- assume checked qualifier for unqualified global
  611. declarations in .lcl files
  612. impcheckmodspecglobs --- assume checkmod qualifier for unqualified global
  613. declarations in .lcl files
  614. impcheckedstrictspecglobs --- assume checkmod qualifier for unqualified global
  615. declarations in .lcl files
  616. impcheckedglobs --- assume checked qualifier for unqualified global
  617. declarations
  618. impcheckmodglobs --- assume checkmod qualifier for unqualified global
  619. declarations
  620. impcheckedstrictglobs --- assume checkedstrict qualifier for unqualified global
  621. declarations
  622. impcheckedstatics --- assume checked qualifier for unqualified file static
  623. declarations
  624. impcheckmodstatics --- assume checkmod qualifier for unqualified file static
  625. declarations
  626. impcheckmodinternals --- assume checkmod qualifier for unqualified local static
  627. declarations (for internal state modifications)
  628. impcheckedstrictstatics --- assume checkedstrict qualifier for unqualified file
  629. static declarations
  630. modglobs --- undocumented modification of a checked global variable
  631. modglobsnomods --- undocumented modification of a checked global variable in a
  632. function declared with no modifies clause
  633. modstrictglobsnomods --- undocumented modification of a strict checked global
  634. variable in a function declared with no modifies clause
  635. modglobsunchecked --- undocumented modification of an unchecked checked global
  636. variable
  637. lh --- generate .lh files
  638. lcs --- generate .lcs files
  639. singleinclude --- optimize header inclusion to eliminate redundant includes
  640. neverinclude --- optimize header inclusion to not include any header files
  641. skipsysheaders --- do not include header files in system directories (set by
  642. -sysdirs)
  643. warnflags --- warn when command line sets flag to default value in mode
  644. warnunixlib --- warn when the unix library is used
  645. badflag --- a flag is not recognized or used in an incorrect way
  646. forcehints --- provide hints for all errors reported
  647. help --- -help <flags> will describe flags
  648. hints --- provide hints on using lclint (hint only reported for first related
  649. error)
  650. retval --- return value ignored (sets retvalint, retvalbool and retvalother)
  651. retvalother --- return value of type other than bool or int ignored
  652. retvalbool --- return value of type bool ignored
  653. retvalint --- return value of type int ignored
  654. f --- load options file (default ~/.lclintrc not loaded)
  655. i --- set LCL initilization file
  656. nof --- do not read options file
  657. needspec --- information in specifications is not also included in syntactic
  658. comments
  659. newdecl --- report new global declarations in source files
  660. hasyield --- iter declaration has no yield parameters
  661. dump --- save state for merging (default suffix .lcd)
  662. load --- load state from dump file (default suffix .lcd)
  663. nolib --- do not load standard library
  664. ansilib --- use ANSI (ISO) standard library
  665. strictlib --- interpret standard library strictly
  666. unixlib --- use UNIX (sort-of) standard library
  667. unixstrictlib --- use strict version of UNIX (sort-of) library
  668. posixlib --- use POSIX standard library
  669. posixstrictlib --- use strict POSIX standard library
  670. whichlib --- show standard library filename
  671. commentchar --- set marker character for syntactic comments (default is '@')
  672. allmacros --- sets fcnmacros and constmacros
  673. libmacros --- check all macros with declarations in library as functions
  674. specmacros --- check all macros corresponding to specified functions or
  675. constants
  676. fcnmacros --- check all macros with parameter lists as functions
  677. constmacros --- check all macros without parameter lists as constants
  678. macromatchname --- macro definition does not match iter or constant declaration
  679. nextlinemacros --- the line after a constant or iter declaration must be a
  680. macro definition
  681. macrostmt --- macro definition is syntactically not equivalent to function
  682. macroempty --- macro definition for is empty
  683. macroparams --- macro parameter not used exactly once
  684. macroassign --- assignment to a macro parameter
  685. sefparams --- a parameter with side-effects is passed as a sef parameter
  686. sefuncon --- a parameter with unconstrained side-effects is passed as a sef
  687. parameter
  688. macroparens --- macro parameter used without parentheses (in potentially
  689. dangerous context)
  690. macrodecl --- macro without prototype or specification (sets macrofcndecl and
  691. macroconstdecl)
  692. macrofcndecl --- parameterized macro without prototype or specification
  693. macroconstdecl --- non-parameterized macro without prototype or specification
  694. macroredef --- macro redefined
  695. macrounrecog --- unrecognized identifier in macro
  696. stackref --- external reference to stack-allocated storage is created
  697. usereleased --- storage used after release
  698. strictusereleased --- element used after it may have been released
  699. compdef --- parameter, return value or global completely defined
  700. compmempass --- actual parameter matches alias kind of formal parameter
  701. completely 
  702. mustdefine --- out storage not defined before return or scope exit
  703. uniondef --- at least one field of a union must be defined
  704. memimp --- memory errors for unqualified storage
  705. paramimptemp --- assume unannotated parameter is temp
  706. allimponly --- sets globimponly, retimponly, structimponly, specglobimponly,
  707. specretimponly and specstructimponly
  708. codeimponly --- sets globimponly, retimponly and structimponly
  709. specimponly --- sets specglobimponly, specretimponly and specstructimponly
  710. globimponly --- assume unannotated global storage is only
  711. retimponly --- assume unannotated returned storage is only
  712. structimponly --- assume unannotated structure field is only
  713. specglobimponly --- assume unannotated global storage is only
  714. specretimponly --- assume unannotated returned storage is only
  715. specstructimponly --- assume unannotated structure field is only
  716. deparrays --- array elements are dependent storage
  717. compdestroy --- all only references derivable from void pointer out only
  718. parameter are released
  719. strictdestroy --- report complete destruction errors for array elements that
  720. may have been released
  721. mustfree --- only storage not released before return or scope exit
  722. branchstate --- storage has inconsistent states of alternate paths through a
  723. branch
  724. strictbranchstate --- storage through array fetch has inconsistent states of
  725. alternate paths through a branch
  726. memchecks --- sets all dynamic memory checking flags (memimplicit, mustfree,
  727. mustdefine, mustnotalias, null, memtrans)
  728. memtrans --- memory transfer errors (sets all *trans flags)
  729. exposetrans --- exposure transfer errors
  730. observertrans --- observer transfer errors
  731. dependenttrans --- dependent transfer errors
  732. newreftrans --- new reference transfer to reference counted reference
  733. onlytrans --- only storage transferred to non-only reference (memory leak)
  734. onlyunqglobaltrans --- only storage transferred to an unqualified global or
  735. static reference (memory leak)
  736. ownedtrans --- owned storage transferred to non-owned reference (memory leak)
  737. freshtrans --- fresh storage transferred to non-only reference (memory leak)
  738. sharedtrans --- shared storage transferred to non-shared reference
  739. temptrans --- temp storage transferred to non-temporary reference
  740. kepttrans --- kept storage transferred to non-temporary reference
  741. keeptrans --- keep storage transferred inconsistently
  742. immediatetrans --- an immediate address (result of &) is transferred
  743. inconsistently
  744. refcounttrans --- reference counted storage is transferred in an inconsistent
  745. way
  746. statictrans --- static storage is transferred in an inconsistent way
  747. unqualifiedtrans --- unqualified storage is transferred in an inconsistent way
  748. staticinittrans --- static storage is used as an initial value in an
  749. inconsistent way
  750. unqualifiedinittrans --- unqualified storage is used as an initial value in an
  751. inconsistent way
  752. readonlystrings --- string literals are read-only (error if one is modified or
  753. released)
  754. readonlytrans --- report memory transfer errors for initializations to
  755. read-only string literals
  756. passunknown --- passing a value as an un-annotated parameter clears its
  757. annotation
  758. mods --- unspecified modification of caller-visible state
  759. mustmod --- specified modification is not detected
  760. modobserver --- possible modification of observer storage
  761. modobserveruncon --- possible modification of observer storage through
  762. unconstrained call
  763. modinternalstrict --- possible modification of internal storage through
  764. function call
  765. modfilesys --- report undocumented file system modifications (applies to
  766. unspecified functions if modnomods is set)
  767. modunspec --- modification in unspecified functions (sets modnomods,
  768. modglobunspec and modstrictglobsunspec)
  769. modnomods --- modification in a function with no modifies clause
  770. moduncon --- possible modification through a call to an unconstrained function
  771. modunconnomods --- possible modification through a call to an unconstrained
  772. function in a function with no modifies clause
  773. globsimpmodsnothing --- functions declared with a globals list but no modifies
  774. clause are assumed to modify nothing
  775. modsimpnoglobs --- functions declared with a modifies clause but no globals
  776. list are assumed to use no globals
  777. namechecks --- controls name checking without changing other settings
  778. czech --- czech naming convention (sets accessczech, czechfunctions, czechvars,
  779. czechconstants, czechenums, and czechmacros)
  780. czechfcns --- czech naming convention violated in a function or iterator
  781. declaration
  782. czechvars --- czech naming convention violated in a variable declaration
  783. czechmacros --- czech naming convention violated in an expanded macro name
  784. czechconsts --- czech naming convention violated in a constant declaration
  785. czechtypes --- czech naming convention violated in a user-defined type
  786. definition
  787. slovak --- slovak naming convention violated
  788. slovakfcns --- slovak naming convention violated in a function or iterator
  789. declaration
  790. slovakmacros --- slovak naming convention violated in an expanded macro name
  791. slovakvars --- slovak naming convention violated in a variable declaration
  792. slovakconsts --- slovak naming convention violated in a constant declaration
  793. slovaktypes --- slovak naming convention violated in a use-defined type
  794. definition
  795. czechoslovak --- czech or slovak naming convention violated
  796. czechoslovakfcns --- czechoslovak naming convention violated in a function or
  797. iterator declaration
  798. czechoslovakmacros --- czechoslovak naming convention violated in an expanded
  799. macro name
  800. czechoslovakvars --- czechoslovak naming convention violated in a variable
  801. declaration
  802. czechoslovakconsts --- czechoslovak naming convention violated in a constant
  803. declaration
  804. czechoslovaktypes --- czechoslovak naming convention violated in a user-defined
  805. type definition
  806. ansireserved --- external name conflicts with name reserved for system or
  807. standard library
  808. cppnames --- external or internal name is a C++ keyword or reserved word
  809. ansireservedinternal --- internal name conflicts with name reserved for system
  810. or standard library
  811. distinctexternalnames --- external name is not distinguishable from another
  812. external name using the number of significant characters
  813. externalnamelen --- set the number of significant characters in an external
  814. name
  815. externalnamecaseinsensitive --- alphabetic comparisons for external names are
  816. case-insensitive
  817. distinctinternalnames --- internal name is not distinguishable from another
  818. internal name using the number of significant characters
  819. internalnamelen --- set the number of significant characters in an internal
  820. name
  821. internalnamecaseinsensitive --- set whether case is significant an internal
  822. names (-internalnamecaseinsensitive means case is significant)
  823. internalnamelookalike --- lookalike characters match in internal names
  824. macrovarprefix --- set namespace prefix for variables declared in a macro body
  825. macrovarprefixexclude --- the macrovarprefix may not be used for non-macro
  826. variables
  827. tagprefix --- set namespace prefix for struct, union and enum tags
  828. tagprefixexclude --- the tagprefix may not be used for non-tag identifiers
  829. enumprefix --- set namespace prefix for enum members
  830. enumprefixexclude --- the enumprefix may not be used for non-enum member
  831. identifiers
  832. filestaticprefix --- set namespace prefix for file static declarations
  833. filestaticprefixexclude --- the filestaticprefix may not be used for
  834. identifiers that are not file static
  835. globalprefix --- set namespace prefix for global variables
  836. globalprefixexclude --- the globalprefix may not be used for non-global
  837. identifiers
  838. typeprefix --- set namespace prefix for user-defined types
  839. typeprefixexclude --- the typeprefix may not be used for identifiers that are
  840. not type names
  841. externalprefix --- set namespace prefix for external identifiers
  842. externalprefixexclude --- the externalprefix may not be used for non-external
  843. identifiers
  844. localprefix --- set namespace prefix for local variables
  845. localprefixexclude --- the localprefix may not be used for non-local
  846. identifiers
  847. uncheckedmacroprefix --- set namespace prefix for unchecked macros
  848. uncheckedmacroprefixexclude --- the uncheckmacroprefix may not be used for
  849. identifiers that are not unchecked macros
  850. constprefix --- set namespace prefix for constants
  851. constprefixexclude --- the constprefix may not be used for non-constant
  852. identifiers
  853. iterprefix --- set namespace prefix for iterators
  854. iterprefixexclude --- the iterprefix may not be used for non-iter identifiers
  855. protoparamprefix --- set namespace prefix for parameters in function prototype
  856. declarations
  857. protoparamname --- a parameter in a function prototype has a name
  858. protoparammatch --- the name of a parameter in a function prototype and
  859. corresponding declaration must match (after removing the protoparamprefix
  860. protoparamprefixexclude --- the protoparamprefix may not be used for
  861. non-declaraction parameter identifiers
  862. controlnestdepth --- set maximum nesting depth of compound statements,
  863. iteration control structures, and selection control structures (ANSI minimum is
  864. 15)
  865. stringliterallen --- set maximum length of string literals (ANSI minimum is
  866. 509)
  867. numstructfields --- set maximum number of fields in a struct or union (ANSI
  868. minimum is 127)
  869. numenummembers --- set maximum number of members of an enum (ANSI minimum is
  870. 127)
  871. includenest --- set maximum number of nested #include files
  872. ansilimits --- check for violations of standard limits (controlnestdepth,
  873. stringliterallen, includenest, numstructfields, numenummembers)
  874. null --- misuses of null pointer
  875. nullderef --- possible dereferencce of null pointer
  876. nullpass --- possibly null pointer passed as formal with no null annotation
  877. nullret --- possibly null pointer returned as result with no null annotation
  878. nullstate --- possibly null pointer reachable from a reference with no null
  879. annotation
  880. nullassign --- inconsistent assignment or initialization involving null pointer
  881. boolcompare --- comparison between bools (dangerous because of multiple TRUE
  882. values)
  883. realcompare --- dangerous comparison between reals (dangerous because of
  884. inexact floating point representations)
  885. ptrarith --- arithmetic involving pointer and integer
  886. ptrcompare --- comparison between pointer and number
  887. strictops --- primitive operation does not type check strictly
  888. bitwisesigned --- a bitwise logical operator does not have unsigned operands
  889. shiftsigned --- a shift operator does not have unsigned operands
  890. boolops --- primitive operation (!, && or ||) does not has a boolean argument
  891. ptrnegate --- allow ! to be used on pointer operand
  892. sizeoftype --- sizeof operator has a type argument
  893. sizeofformalarray --- sizeof operator has an array formal parameter argument
  894. fixedformalarray --- formal parameter of type array is declared with size
  895. incompletetype --- formal parameter has an incomplete type
  896. formalarray --- formal parameter is an array
  897. predassign --- condition test (if, while or for) is an assignment
  898. predbool --- type of condition test (if, while or for) not bool (sets
  899. predboolint, predboolptr and predboolothers)
  900. predboolint --- type of condition test (if, while or for) is an integral type
  901. predboolothers --- type of condition test (if, while or for) not bool, int or
  902. pointer
  903. predboolptr --- type of condition test (if, while or for) is a pointer
  904. D<initializer> --- passed to pre-processor
  905. U<initializer> --- passed to pre-processor
  906. globstate --- returns with global in inconsistent state (null or undefined)
  907. supcounts --- The number of errors detected does not match number in
  908. /*@i<n>@*/.
  909. limit --- limit <int> consecutive repeated errors
  910. syntax --- syntax error in parsing
  911. trytorecover --- try to recover from parse error
  912. type --- type mismatch
  913. fullinitblock --- initializer sets all fields
  914. maintype --- type of main does not match expected type
  915. formattype --- type-mismatch in parameter corresponding to format code in a
  916. printf or scanf-like function
  917. formatcode --- invalid format code in format string for printf or scanf-like
  918. function
  919. forwarddecl --- forward declarations of pointers to abstract representation
  920. match abstract type
  921. voidabstract --- void * matches pointers to abstract types, casting ok
  922. (dangerous)
  923. castfcnptr --- a pointer to a function is cast to a pointer to void (or vice
  924. versa)
  925. charindex --- char can be used to index arrays
  926. enumindex --- enum can be used to index arrays
  927. boolint --- bool and int are equivalent
  928. charint --- char and int are equivalent
  929. enumint --- enum and int are equivalent
  930. floatdouble --- float and double are equivalent
  931. ignorequals --- ignore type qualifiers (long, short, unsigned)
  932. duplicatequals --- report duplicate type qualifiers (e.g., long long)
  933. ignoresigns --- ignore signs in type comparisons (unsigned matches signed)
  934. numliteral --- int literals can be reals
  935. charintliteral --- character constants (e.g., 'a') can be used as ints
  936. relaxquals --- report qualifier mismatches only if dangerous
  937. relaxtypes --- allow all numeric types to match
  938. matchanyintegral --- allow any intergral type to match an arbitrary integral
  939. type (e.g., dev_t)
  940. longunsignedintegral --- allow long unsigned type to match an arbitrary
  941. integral type (e.g., dev_t)
  942. longintegral --- allow long type to match an arbitrary integral type (e.g.,
  943. dev_t)
  944. longunsignedunsignedintegral --- allow long unsigned type to match an arbitrary
  945. unsigned integral type (e.g., size_t)
  946. longsignedintegral --- allow long type to match an arbitrary signed integral
  947. type (e.g., ssize_t)
  948. zeroptr --- 0 is treated as a pointer
  949. repeatunrecog --- do not suppress repeated unrecognized identifier messages
  950. (instead of only reporting the first error)
  951. sysunrecog --- report unrecognized identifiers with system (__) prefix
  952. unrecog --- unrecognized identifier
  953. topuse --- declaration at top level not used
  954. exportlocal --- a declaration is exported but not used outside this module
  955. exportheader --- a declaration is exported but does not appear in a header file
  956. exportheadervar --- a variable declaration is exported but does not appear in a
  957. header file
  958. fielduse --- field of structure type not used
  959. enummemuse --- member of an enum type not used
  960. constuse --- constant declared but not used
  961. fcnuse --- function declared but not used
  962. paramuse --- function parameter not used 
  963. typeuse --- type declared but not used
  964. varuse --- variable declared but not used
  965. unusedspecial --- unused declaration in special file (corresponding to .l or .y
  966. file)
  967.  
  968.