From 3bbd3333360372fb5362f42dd7e5febac3048913 Mon Sep 17 00:00:00 2001 From: Robert Marsh Date: Wed, 10 Aug 2022 15:36:39 -0400 Subject: [PATCH] C++: fix missing bounds in exp range analysis --- .../semmle/code/cpp/semantic/SemanticExprSpecific.qll | 6 ------ 1 file changed, 6 deletions(-) diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll index edc73006909..f99653390c2 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/SemanticExprSpecific.qll @@ -212,12 +212,6 @@ module SemanticExprConfig { } class Bound instanceof IRBound::Bound { - Bound() { - this instanceof IRBound::ZeroBound - or - this.(IRBound::ValueNumberBound).getValueNumber().getAnInstruction() instanceof SsaVariable - } - string toString() { result = super.toString() } final Location getLocation() { result = super.getLocation() }