Skip to content

Commit d793836

Browse files
C++: Rename Chi IPA types to match classes
1 parent 5d997c7 commit d793836

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

cpp/ql/src/semmle/code/cpp/ir/implementation/MemoryAccessKind.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@ private newtype TMemoryAccessKind =
88
TEscapedMemoryAccess() or
99
TPhiMemoryAccess() or
1010
TUnmodeledMemoryAccess() or
11-
TChiOldMemoryAccess() or
12-
TChiUpdateMemoryAccess()
11+
TChiTotalMemoryAccess() or
12+
TChiPartialMemoryAccess()
1313

1414
/**
1515
* Describes the set of memory locations memory accessed by a memory operand or
@@ -84,7 +84,7 @@ class PhiMemoryAccess extends MemoryAccessKind, TPhiMemoryAccess {
8484
* The operand is a ChiTotal operand, which accesses the same memory as its
8585
* definition.
8686
*/
87-
class ChiTotalMemoryAccess extends MemoryAccessKind, TChiOldMemoryAccess {
87+
class ChiTotalMemoryAccess extends MemoryAccessKind, TChiTotalMemoryAccess {
8888
override string toString() {
8989
result = "chi(total)"
9090
}
@@ -94,7 +94,7 @@ class ChiTotalMemoryAccess extends MemoryAccessKind, TChiOldMemoryAccess {
9494
* The operand is a ChiPartial operand, which accesses the same memory as its
9595
* definition.
9696
*/
97-
class ChiPartialMemoryAccess extends MemoryAccessKind, TChiUpdateMemoryAccess {
97+
class ChiPartialMemoryAccess extends MemoryAccessKind, TChiPartialMemoryAccess {
9898
override string toString() {
9999
result = "chi(partial)"
100100
}

0 commit comments

Comments
 (0)