Skip to content

Commit 3bbd333

Browse files
committed
C++: fix missing bounds in exp range analysis
1 parent e6aa2de commit 3bbd333

File tree

1 file changed

+0
-6
lines changed

1 file changed

+0
-6
lines changed

cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -212,12 +212,6 @@ module SemanticExprConfig {
212212
}
213213

214214
class Bound instanceof IRBound::Bound {
215-
Bound() {
216-
this instanceof IRBound::ZeroBound
217-
or
218-
this.(IRBound::ValueNumberBound).getValueNumber().getAnInstruction() instanceof SsaVariable
219-
}
220-
221215
string toString() { result = super.toString() }
222216

223217
final Location getLocation() { result = super.getLocation() }

0 commit comments

Comments
 (0)