hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

[CPP-340] Minor formatting tweaks

Browse Source
This commit is contained in:
Ziemowit Laski
2019-04-19 11:46:54 -07:00
parent 62b030d27f
commit 36b2c14f88
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/src/Likely Bugs/Underspecified Functions/ArgumentsToImplicit.ql
View File

@@ -1,7 +1,7 @@
/**
* @name Call with arguments to an implicitly declared function
* @description A function call passed arguments even though the
* function in question is only implicitly declared (and
* function in question is only implicitly declared (and
* hence accepting no arguments). This may indicate
* that the code does not follow the author's intent.
* @kind problem
@@ -16,9 +16,7 @@ import cpp
// True if there is no explicit definition of the function
predicate hasNoExplicitDecl(Function f) {
not exists(FunctionDeclarationEntry fde | fde = f.getADeclarationEntry() |
not fde.isImplicit()
)
not exists(FunctionDeclarationEntry fde | fde = f.getADeclarationEntry() | not fde.isImplicit())
}
// True if this file (or header) was compiled as a C file