Skip to content

Commit 57beb73

Browse files
committed
C++: Update for the dataflow hasLocationInfo -> getLocation change made on main.
1 parent f1ead25 commit 57beb73

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplSpecific as Data
1111
private import semmle.code.cpp.dataflow.ExternalFlow
1212
private import semmle.code.cpp.ir.IR
1313

14-
module Input implements InputSig<DataFlowImplSpecific::CppDataFlow> {
14+
module Input implements InputSig<Location, DataFlowImplSpecific::CppDataFlow> {
1515
class SummarizedCallableBase = Function;
1616

1717
ArgumentPosition callbackSelfParameterPosition() { result = TDirectPosition(-1) }
@@ -99,7 +99,7 @@ module Input implements InputSig<DataFlowImplSpecific::CppDataFlow> {
9999
}
100100
}
101101

102-
private import Make<DataFlowImplSpecific::CppDataFlow, Input> as Impl
102+
private import Make<Location, DataFlowImplSpecific::CppDataFlow, Input> as Impl
103103

104104
private module StepsInput implements Impl::Private::StepsInputSig {
105105
DataFlowCall getACall(Public::SummarizedCallable sc) {
@@ -108,7 +108,7 @@ private module StepsInput implements Impl::Private::StepsInputSig {
108108
}
109109

110110
module SourceSinkInterpretationInput implements
111-
Impl::Private::External::SourceSinkInterpretationInputSig<Location>
111+
Impl::Private::External::SourceSinkInterpretationInputSig
112112
{
113113
class Element = Cpp::Element;
114114

@@ -239,7 +239,7 @@ module Private {
239239

240240
module External {
241241
import Impl::Private::External
242-
import Impl::Private::External::SourceSinkInterpretation<Location, SourceSinkInterpretationInput>
242+
import Impl::Private::External::SourceSinkInterpretation<SourceSinkInterpretationInput>
243243
}
244244

245245
/**

0 commit comments

Comments
 (0)