Skip to content

Commit 16bc584

Browse files
authored
Merge pull request #13294 from MathiasVP/better-test-for-range-analysis
C++: Change range-analysis test to not use `getAst`
2 parents db4e82e + 9828af4 commit 16bc584

File tree

3 files changed

+64
-71
lines changed

3 files changed

+64
-71
lines changed

cpp/ql/test/library-tests/ir/range-analysis/RangeAnalysis.ql

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -40,14 +40,7 @@ bindingset[delta]
4040
private string getBoundString(SemBound b, float delta) {
4141
b instanceof SemZeroBound and result = delta.toString()
4242
or
43-
result =
44-
strictconcat(b.(SemSsaBound)
45-
.getAVariable()
46-
.(SemanticExprConfig::SsaVariable)
47-
.asInstruction()
48-
.getAst()
49-
.toString(), ":"
50-
) + getOffsetString(delta)
43+
result = strictconcat(b.(SemSsaBound).getAVariable().toString(), " | ") + getOffsetString(delta)
5144
}
5245

5346
private string getARangeString(SemExpr e) {

0 commit comments

Comments
 (0)