hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Autoformat.

Browse Source
This commit is contained in:
Geoffrey White
2019-10-24 17:24:42 +01:00
parent 2fa846d1a6
commit e8139c0f31
1 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpp/ql/src/jsf/4.13 Functions/AV Rule 114.ql
View File

@@ -31,13 +31,11 @@ predicate functionsMissingReturnStmt(Function f, ControlFlowNode blame) {
exists(ReturnStmt s |
f.getAPredecessor() = s and
(
(
blame = s.getAPredecessor() and
count(blame.getASuccessor()) = 1
) or (
blame = s and
exists(ControlFlowNode pred | pred = s.getAPredecessor() | count(pred.getASuccessor()) != 1)
)
blame = s.getAPredecessor() and
count(blame.getASuccessor()) = 1
or
blame = s and
exists(ControlFlowNode pred | pred = s.getAPredecessor() | count(pred.getASuccessor()) != 1)
)
)
}