hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Optimize SubBasicBlock::getPosInBasicBlock()

Browse Source
This commit is contained in:
Jonas Jensen
2019-08-26 12:47:40 +02:00
parent d4f1cf97fd
commit 5e674825e3
1 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
cpp/ql/src/semmle/code/cpp/dataflow/internal/SubBasicBlocks.qll
View File

@@ -75,13 +75,18 @@ class SubBasicBlock extends ControlFlowNodeBase {
* `bb`, where `bb` is equal to `getBasicBlock()`.
*/
int getPosInBasicBlock(BasicBlock bb) {
exists(int nodePos, int rnk |
this = bb.getNode(nodePos) and
nodePos = rank[rnk](int i | exists(SubBasicBlock n | n = bb.getNode(i))) and
exists(int thisIndexInBB, int rnk |
thisIndexInBB = this.getIndexInBasicBlock(bb) and
thisIndexInBB = rank[rnk](int i | i = any(SubBasicBlock n).getIndexInBasicBlock(bb)) and
result = rnk - 1
)
}
pragma[noinline]
private int getIndexInBasicBlock(BasicBlock bb) {
this = bb.getNode(result)
}
/** Gets a successor in the control-flow graph of `SubBasicBlock`s. */
SubBasicBlock getASuccessor() {
this.lastInBB() and
@@ -109,10 +114,8 @@ class SubBasicBlock extends ControlFlowNodeBase {
pragma[nomagic]
private int outerPosToInnerPos(BasicBlock bb, int posInBB) {
exists(int thisPosInBB | this = bb.getNode(thisPosInBB) |
posInBB = result + thisPosInBB and
result = [ 0 .. this.getNumberOfNodes() - 1 ]
)
posInBB = result + this.getIndexInBasicBlock(bb) and
result = [ 0 .. this.getNumberOfNodes() - 1 ]
}
/** Gets a control-flow node in this `SubBasicBlock`. */