Skip to content

Commit 5dcd314

Browse files
C++: Update to conform to new API naming
1 parent 6553544 commit 5dcd314

File tree

3 files changed

+11
-11
lines changed

3 files changed

+11
-11
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -35,8 +35,8 @@ private newtype TMemoryLocation =
3535
hasOperandMemoryAccess(_, var, type, startBitOffset, endBitOffset)
3636
}
3737
or
38-
TUnknownMemoryLocation(IRFunction funcIR) or
39-
TUnknownVirtualVariable(IRFunction funcIR)
38+
TUnknownMemoryLocation(IRFunction irFunc) or
39+
TUnknownVirtualVariable(IRFunction irFunc)
4040

4141
/**
4242
* Represents the memory location accessed by a memory operand or memory result. In this implementation, the location is
@@ -130,18 +130,18 @@ class VariableVirtualVariable extends VariableMemoryLocation, VirtualVariable {
130130
* An access to memory that is not known to be confined to a specific `IRVariable`.
131131
*/
132132
class UnknownMemoryLocation extends TUnknownMemoryLocation, MemoryLocation {
133-
IRFunction funcIR;
133+
IRFunction irFunc;
134134

135135
UnknownMemoryLocation() {
136-
this = TUnknownMemoryLocation(funcIR)
136+
this = TUnknownMemoryLocation(irFunc)
137137
}
138138

139139
override final string toString() {
140140
result = "{Unknown}"
141141
}
142142

143143
override final VirtualVariable getVirtualVariable() {
144-
result = TUnknownVirtualVariable(funcIR)
144+
result = TUnknownVirtualVariable(irFunc)
145145
}
146146

147147
override final Type getType() {
@@ -157,10 +157,10 @@ class UnknownMemoryLocation extends TUnknownMemoryLocation, MemoryLocation {
157157
* An access to all aliased memory.
158158
*/
159159
class UnknownVirtualVariable extends TUnknownVirtualVariable, VirtualVariable {
160-
IRFunction funcIR;
160+
IRFunction irFunc;
161161

162162
UnknownVirtualVariable() {
163-
this = TUnknownVirtualVariable(funcIR)
163+
this = TUnknownVirtualVariable(irFunc)
164164
}
165165

166166
override final string toString() {

cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@ cached private module Cached {
1616
}
1717

1818
cached predicate functionHasIR(Function func) {
19-
exists(OldIR::IRFunction funcIR |
20-
funcIR.getFunction() = func
19+
exists(OldIR::IRFunction irFunc |
20+
irFunc.getFunction() = func
2121
)
2222
}
2323

cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@ cached private module Cached {
1616
}
1717

1818
cached predicate functionHasIR(Function func) {
19-
exists(OldIR::IRFunction funcIR |
20-
funcIR.getFunction() = func
19+
exists(OldIR::IRFunction irFunc |
20+
irFunc.getFunction() = func
2121
)
2222
}
2323

0 commit comments

Comments
 (0)