Skip to content

Commit fb6e578

Browse files
committed
C++: move IR range analysis to experimental
1 parent 38067b5 commit fb6e578

File tree

17 files changed

+4
-4
lines changed

17 files changed

+4
-4
lines changed

cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ import semmle.code.cpp.ir.IR
2020
private import semmle.code.cpp.ir.ValueNumbering
2121
private import semmle.code.cpp.ir.internal.CppType
2222
private import semmle.code.cpp.models.interfaces.Allocation
23-
private import semmle.code.cpp.rangeanalysis.RangeUtils
23+
private import experimental.semmle.code.cpp.rangeanalysis.RangeUtils
2424

2525
private newtype TLength =
2626
TZeroLength() or

cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/InBoundsPointerDeref.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313

1414
import cpp
1515
private import experimental.semmle.code.cpp.rangeanalysis.ArrayLengthAnalysis
16-
private import semmle.code.cpp.rangeanalysis.RangeAnalysis
16+
private import experimental.semmle.code.cpp.rangeanalysis.RangeAnalysis
1717

1818
/**
1919
* Gets the instruction that computes the address of memory that `i` accesses.

cpp/ql/test/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql renamed to cpp/ql/test/experimental/library-tests/rangeanalysis/rangeanalysis/RangeAnalysis.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
import semmle.code.cpp.rangeanalysis.RangeAnalysis
1+
import experimental.semmle.code.cpp.rangeanalysis.RangeAnalysis
22
import semmle.code.cpp.ir.IR
33
import semmle.code.cpp.controlflow.IRGuards
44
import semmle.code.cpp.ir.ValueNumbering

0 commit comments

Comments
 (0)