C++: Improvement in Overflow.qll.

This commit is contained in:
Geoffrey White
2020-06-30 12:18:59 +01:00
parent 0ee73cce51
commit bbb9396300

View File

@@ -17,8 +17,8 @@ predicate guardedAbs(Operation e, Expr use) {
}
/**
* Gets the result of `BasicBlock.getNode`, but only on a `Stmt` (for
* performance).
* Gets the position of `stmt` in basic block `block` (this is a thin layer
* over `BasicBlock.getNode`, intended to improve performance).
*/
pragma[noinline]
private int getStmtIndexInBlock(BasicBlock block, Stmt stmt) { block.getNode(result) = stmt }