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) {
19
19
fde .isDefinition ( )
20
20
}
21
21
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. */
23
23
private predicate hasZeroParamDecl ( Function f ) {
24
24
exists ( FunctionDeclarationEntry fde | fde = f .getADeclarationEntry ( ) |
25
25
not hasDefiniteNumberOfParameters ( fde )
26
26
)
27
27
}
28
28
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. */
30
30
private predicate isCompiledAsC ( File f ) {
31
31
f .compiledAsC ( )
32
32
or
33
33
exists ( File src | isCompiledAsC ( src ) | src .getAnIncludedFile ( ) = f )
34
34
}
35
35
36
+ /** Holds if `fc` is a call to `f` with too few arguments. */
36
37
predicate tooFewArguments ( FunctionCall fc , Function f ) {
37
38
f = fc .getTarget ( ) and
38
39
not f .isVarargs ( ) and
You can’t perform that action at this time.
0 commit comments