Skip to content

Commit 17753d8

Browse files
committed
C++ Remove remains of UninitializedGroup and GroupedMemoryAccess
1 parent 0c0ac1d commit 17753d8

File tree

2 files changed

+1
-11
lines changed

2 files changed

+1
-11
lines changed

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

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,7 @@ private newtype TMemoryAccessKind =
1313
TPhiMemoryAccess() or
1414
TUnmodeledMemoryAccess() or
1515
TChiTotalMemoryAccess() or
16-
TChiPartialMemoryAccess() or
17-
TGroupedMemoryAccess()
16+
TChiPartialMemoryAccess()
1817

1918
/**
2019
* Describes the set of memory locations memory accessed by a memory operand or
@@ -100,11 +99,3 @@ class ChiTotalMemoryAccess extends MemoryAccessKind, TChiTotalMemoryAccess {
10099
class ChiPartialMemoryAccess extends MemoryAccessKind, TChiPartialMemoryAccess {
101100
override string toString() { result = "chi(partial)" }
102101
}
103-
104-
/**
105-
* The result of an `UninitializedGroup` instruction, which initializes a set of
106-
* allocations that are each assigned the same virtual variable.
107-
*/
108-
class GroupedMemoryAccess extends MemoryAccessKind, TGroupedMemoryAccess {
109-
override string toString() { result = "group" }
110-
}

cpp/ql/lib/semmle/code/cpp/ir/implementation/Opcode.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -90,7 +90,6 @@ private newtype TOpcode =
9090
TSizedBufferMayWriteSideEffect() or
9191
TInitializeDynamicAllocation() or
9292
TChi() or
93-
TUninitializedGroup() or
9493
TInlineAsm() or
9594
TUnreached() or
9695
TNewObj() or

0 commit comments

Comments
 (0)