Skip to content

Commit 623e390

Browse files
committed
C++: fix ModulusAnalysis test
1 parent 267c341 commit 623e390

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ private import experimental.semmle.code.cpp.semantic.SemanticBound as SemanticBo
66
private import semmle.code.cpp.ir.IR as IR
77
private import semmle.code.cpp.Location // TODO: SemLocation?
88

9-
private module ConstantBounds implements BoundSig<FloatDelta> {
9+
module ConstantBounds implements BoundSig<FloatDelta> {
1010
class SemBound instanceof SemanticBound::SemBound {
1111
SemBound() {
1212
this instanceof SemanticBound::SemZeroBound

cpp/ql/test/library-tests/ir/modulus-analysis/ModulusAnalysis.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,12 @@ import experimental.semmle.code.cpp.semantic.Semantic
44
import experimental.semmle.code.cpp.semantic.analysis.RangeUtils
55
import experimental.semmle.code.cpp.semantic.analysis.FloatDelta
66
import experimental.semmle.code.cpp.semantic.analysis.RangeAnalysisSpecific
7-
import experimental.semmle.code.cpp.semantic.analysis.RangeAnalysis
7+
import experimental.semmle.code.cpp.semantic.analysis.RangeAnalysisImpl
88
import semmle.code.cpp.ir.IR as IR
99
import TestUtilities.InlineExpectationsTest
1010

1111
module ModulusAnalysisInstantiated =
12-
ModulusAnalysis<FloatDelta, Bounds, RangeUtil<FloatDelta, CppLangImpl>>;
12+
ModulusAnalysis<FloatDelta, ConstantBounds, RangeUtil<FloatDelta, CppLangImpl>>;
1313

1414
class ModulusAnalysisTest extends InlineExpectationsTest {
1515
ModulusAnalysisTest() { this = "ModulusAnalysisTest" }

0 commit comments

Comments
 (0)