Skip to content

Commit 8e9aa5b

Browse files
committed
C++: Switch to shared modulus analysis.
1 parent a7f3ef1 commit 8e9aa5b

File tree

2 files changed

+2
-10
lines changed

2 files changed

+2
-10
lines changed

cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/ModulusAnalysisSpecific.qll

Lines changed: 0 additions & 8 deletions
This file was deleted.

cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisImpl.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -171,8 +171,8 @@ module AllBounds implements BoundSig<SemLocation, Sem, FloatDelta> {
171171
private module ModulusAnalysisInstantiated implements ModulusAnalysisSig<Sem> {
172172
class ModBound = AllBounds::SemBound;
173173

174-
private import semmle.code.cpp.rangeanalysis.new.internal.semantic.analysis.ModulusAnalysis as MA
175-
import MA::ModulusAnalysis<FloatDelta, AllBounds, Util>
174+
private import codeql.rangeanalysis.ModulusAnalysis as MA
175+
import MA::ModulusAnalysis<SemLocation, Sem, FloatDelta, AllBounds, Util>
176176
}
177177

178178
module Util = RangeUtil<FloatDelta, CppLangImplConstant>;

0 commit comments

Comments
 (0)