hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-23 12:16:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: exclude ZeroBounds in relative stage

Browse Source
This commit is contained in:
Robert Marsh
2023-03-14 10:41:50 -04:00
parent b4b7507fe4
commit 267c341965
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisImpl.qll
View File

@@ -30,6 +30,10 @@ private module ConstantBounds implements BoundSig<FloatDelta> {
private module RelativeBounds implements BoundSig<FloatDelta> {
class SemBound instanceof SemanticBound::SemBound {
SemBound() {
not this instanceof SemanticBound::SemZeroBound
}
string toString() { result = super.toString() }
Location getLocation() { result = super.getLocation() }