Skip to content

Commit 2d7470f

Browse files
committed
C++: Follow-up changes
1 parent e608c53 commit 2d7470f

File tree

2 files changed

+0
-36
lines changed

2 files changed

+0
-36
lines changed

cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll

Lines changed: 0 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -148,12 +148,6 @@ class Content extends TContent {
148148
predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
149149
path = "" and sl = 0 and sc = 0 and el = 0 and ec = 0
150150
}
151-
152-
/** Gets the type of the object containing this content. */
153-
abstract Type getContainerType();
154-
155-
/** Gets the type of this content. */
156-
abstract Type getType();
157151
}
158152

159153
private class FieldContent extends Content, TFieldContent {
@@ -168,26 +162,14 @@ private class FieldContent extends Content, TFieldContent {
168162
override predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
169163
f.getLocation().hasLocationInfo(path, sl, sc, el, ec)
170164
}
171-
172-
override Type getContainerType() { result = f.getDeclaringType() }
173-
174-
override Type getType() { result = f.getType() }
175165
}
176166

177167
private class CollectionContent extends Content, TCollectionContent {
178168
override string toString() { result = "collection" }
179-
180-
override Type getContainerType() { none() }
181-
182-
override Type getType() { none() }
183169
}
184170

185171
private class ArrayContent extends Content, TArrayContent {
186172
override string toString() { result = "array" }
187-
188-
override Type getContainerType() { none() }
189-
190-
override Type getType() { none() }
191173
}
192174

193175
/**

cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

Lines changed: 0 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -138,12 +138,6 @@ class Content extends TContent {
138138
predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
139139
path = "" and sl = 0 and sc = 0 and el = 0 and ec = 0
140140
}
141-
142-
/** Gets the type of the object containing this content. */
143-
abstract Type getContainerType();
144-
145-
/** Gets the type of this content. */
146-
abstract Type getType();
147141
}
148142

149143
private class FieldContent extends Content, TFieldContent {
@@ -158,26 +152,14 @@ private class FieldContent extends Content, TFieldContent {
158152
override predicate hasLocationInfo(string path, int sl, int sc, int el, int ec) {
159153
f.getLocation().hasLocationInfo(path, sl, sc, el, ec)
160154
}
161-
162-
override Type getContainerType() { result = f.getDeclaringType() }
163-
164-
override Type getType() { result = f.getType() }
165155
}
166156

167157
private class CollectionContent extends Content, TCollectionContent {
168158
override string toString() { result = "collection" }
169-
170-
override Type getContainerType() { none() }
171-
172-
override Type getType() { none() }
173159
}
174160

175161
private class ArrayContent extends Content, TArrayContent {
176162
override string toString() { result = "array" }
177-
178-
override Type getContainerType() { none() }
179-
180-
override Type getType() { none() }
181163
}
182164

183165
private predicate storeStepNoChi(Node node1, Content f, PostUpdateNode node2) {

0 commit comments

Comments
 (0)