Skip to content

Commit 4086a89

Browse files
dave-bartolomeodave-bartolomeo
committed
C++: Fix a couple IR-related tests to handle new directory tree
Also moved those tests under the IR test directory, so I'm less likely to forget them next time.
1 parent fce7a5f commit 4086a89

10 files changed

Lines changed: 7 additions & 7 deletions

File tree

cpp/ql/test/library-tests/aliased_ssa/constants/constants.cpp renamed to cpp/ql/test/library-tests/ir/constants/constants.cpp

File renamed without changes.

cpp/ql/test/library-tests/aliased_ssa/constants/constants.expected renamed to cpp/ql/test/library-tests/ir/constants/constants.expected

File renamed without changes.

cpp/ql/test/library-tests/aliased_ssa/constants/constants.ql renamed to cpp/ql/test/library-tests/ir/constants/constants.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
import cpp
2-
import semmle.code.cpp.ssa.internal.IntegerConstant as Ints
2+
import semmle.code.cpp.ir.internal.IntegerConstant as Ints
33

44
bindingset[n]
55
string resultString(int n) {

cpp/ql/test/library-tests/aliased_ssa/escape/escape.cpp renamed to cpp/ql/test/library-tests/ir/escape/escape.cpp

File renamed without changes.

cpp/ql/test/library-tests/aliased_ssa/escape/escape.expected renamed to cpp/ql/test/library-tests/ir/escape/escape.expected

File renamed without changes.

cpp/ql/test/library-tests/aliased_ssa/escape/escape.ql renamed to cpp/ql/test/library-tests/ir/escape/escape.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
import default
2-
import semmle.code.cpp.ssa.internal.ssa.AliasAnalysis
3-
import semmle.code.cpp.ir.IR
2+
import semmle.code.cpp.ir.implementation.unaliased_ssa.internal.AliasAnalysis
3+
import semmle.code.cpp.ir.implementation.raw.IR
44

55
predicate shouldEscape(IRAutomaticUserVariable var) {
66
exists(string name |

cpp/ql/test/library-tests/aliased_ssa/escape/points_to.expected renamed to cpp/ql/test/library-tests/ir/escape/points_to.expected

File renamed without changes.

cpp/ql/test/library-tests/aliased_ssa/escape/points_to.ql renamed to cpp/ql/test/library-tests/ir/escape/points_to.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
import default
2-
import semmle.code.cpp.ssa.internal.ssa.AliasAnalysis
3-
import semmle.code.cpp.ir.IR
2+
import semmle.code.cpp.ir.implementation.unaliased_ssa.internal.AliasAnalysis
3+
import semmle.code.cpp.ir.implementation.raw.IR
44

55
from Instruction instr, string pointsTo
66
where

cpp/ql/test/library-tests/aliased_ssa/escape/ssa_escape.expected renamed to cpp/ql/test/library-tests/ir/escape/ssa_escape.expected

File renamed without changes.

cpp/ql/test/library-tests/aliased_ssa/escape/ssa_escape.ql renamed to cpp/ql/test/library-tests/ir/escape/ssa_escape.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
import default
2-
import semmle.code.cpp.ssa.internal.aliased_ssa.AliasAnalysis
3-
import semmle.code.cpp.ssa.SSAIR
2+
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasAnalysis
3+
import semmle.code.cpp.ir.implementation.unaliased_ssa.IR
44

55
predicate shouldEscape(IRAutomaticUserVariable var) {
66
exists(string name |

0 commit comments

Comments
 (0)