File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed
cpp/ql/src/Likely Bugs/Underspecified Functions Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -19,20 +19,21 @@ private predicate hasDefiniteNumberOfParameters(FunctionDeclarationEntry fde) {
1919 fde .isDefinition ( )
2020}
2121
22- // True if function was ()-declared, but not (void)-declared or K&R-defined
22+ /* Holds if function was ()-declared, but not (void)-declared or K&R-defined. */
2323private predicate hasZeroParamDecl ( Function f ) {
2424 exists ( FunctionDeclarationEntry fde | fde = f .getADeclarationEntry ( ) |
2525 not hasDefiniteNumberOfParameters ( fde )
2626 )
2727}
2828
29- // True if this file (or header) was compiled as a C file
29+ /* Holds if this file (or header) was compiled as a C file. */
3030private predicate isCompiledAsC ( File f ) {
3131 f .compiledAsC ( )
3232 or
3333 exists ( File src | isCompiledAsC ( src ) | src .getAnIncludedFile ( ) = f )
3434}
3535
36+ /** Holds if `fc` is a call to `f` with too few arguments. */
3637predicate tooFewArguments ( FunctionCall fc , Function f ) {
3738 f = fc .getTarget ( ) and
3839 not f .isVarargs ( ) and
You can’t perform that action at this time.
0 commit comments