Skip to content

Commit d90ba64

Browse files
committed
Fix errors introduced by merge
1 parent 2f7163e commit d90ba64

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

unittests/PhasarLLVM/DataFlow/IfdsIde/Problems/IDEFeatureTaintAnalysisTest.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -130,7 +130,7 @@ class IDEFeatureTaintAnalysisTest : public ::testing::Test {
130130

131131
IDESolver IIASolver(IIAProblem, &HA->getICFG());
132132
// IterativeIDESolver IIASolver(&IIAProblem, &HA->getICFG());
133-
IIASolver.solve();
133+
auto Results = IIASolver.solve();
134134

135135
// do the comparison
136136
for (const auto &[InstLoc, VarName, ExpectedVal] : GroundTruth) {
@@ -167,10 +167,10 @@ class IDEFeatureTaintAnalysisTest : public ::testing::Test {
167167
}
168168

169169
// See vara::PhasarTaintAnalysis::taintsForInst
170-
[[nodiscard]] inline TaintSetT
171-
taintsForInst(const llvm::Instruction *Inst,
172-
SolverResults<const llvm::Instruction *, const llvm::Value *,
173-
IDEFeatureTaintEdgeFact> SR) {
170+
[[nodiscard]] inline TaintSetT taintsForInst(
171+
const llvm::Instruction *Inst,
172+
GenericSolverResults<const llvm::Instruction *, const llvm::Value *,
173+
IDEFeatureTaintEdgeFact> SR) {
174174

175175
if (const auto *Ret = llvm::dyn_cast<llvm::ReturnInst>(Inst)) {
176176
if (Ret->getNumOperands() == 0) {

0 commit comments

Comments
 (0)