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

Make YieldCallTree post-order

Browse Source
This commit is contained in:
Nick Rolfe
2021-05-05 17:14:32 +01:00
parent 73b5699f32
commit 569063ca73
2 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1293,8 +1293,7 @@ module Trees {
}
}
// TODO: make post-order
private class YieldCallTree extends StandardPreOrderTree, YieldCall {
private class YieldCallTree extends StandardPostOrderTree, YieldCall {
final override ControlFlowTree getChildNode(int i) { result = this.getArgument(i) }
}
}

6
ql/test/library-tests/controlflow/graph/Cfg.expected
View File

@@ -2038,7 +2038,7 @@ cfg.rb:
#-----| -> ... != ...
# 190| enter run_block
#-----| -> yield ...
#-----| -> 42
# 190| run_block
#-----| -> self
@@ -2049,10 +2049,10 @@ cfg.rb:
#-----| -> exit run_block
# 191| yield ...
#-----| -> 42
#-----| -> exit run_block (normal)
# 191| 42
#-----| -> exit run_block (normal)
#-----| -> yield ...
# 194| call to run_block
#-----| -> exit cfg.rb (normal)