hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-20 00:43:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Make CFG for TEnsure post-order

Browse Source
This commit is contained in:
Nick Rolfe
2021-05-07 17:15:10 +01:00
parent 7f6805c82f
commit 9def7c2dfe
2 changed files with 106 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ql/src/codeql_ruby/controlflow/internal/ControlFlowGraphImpl.qll
View File

@@ -1112,7 +1112,8 @@ module Trees {
this instanceof BeginBlock or
this instanceof ASTInternal::TThen or
this instanceof ASTInternal::TDo or
this instanceof ASTInternal::TElse
this instanceof ASTInternal::TElse or
this instanceof ASTInternal::TEnsure
}
final override predicate first(AstNode first) { first(this.getStmt(0), first) }
@@ -1144,7 +1145,8 @@ module Trees {
not this instanceof BeginBlock and
not this instanceof ASTInternal::TThen and
not this instanceof ASTInternal::TDo and
not this instanceof ASTInternal::TElse
not this instanceof ASTInternal::TElse and
not this instanceof ASTInternal::TEnsure
}
final override predicate propagatesAbnormal(AstNode child) { child = this.getAStmt() }