We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b98d637 commit 8c610e4Copy full SHA for 8c610e4
cpp/ql/test/library-tests/sub_basic_blocks/sbb_test.qll
@@ -6,7 +6,7 @@ string subBasicBlockDebugInfo(SubBasicBlock sbb) {
6
" [line " + sbb.getStart().getLocation().getStartLine() + "-" +
7
sbb.getEnd().getLocation().getEndLine() + ", " +
8
sbb.getNumberOfNodes() + " nodes, " +
9
- "pos " + sbb.getPosInBasicBlock(_) +
+ "pos " + (sbb.getRankInBasicBlock(_) - 1) +
10
any(string s | if sbb.firstInBB() then s = " (first in BB)" else s = "") +
11
any(string s | if sbb.lastInBB() then s = " (last in BB)" else s = "") +
12
", " +
0 commit comments