Skip to content

Commit 70e11da

Browse files
Update lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.cpp
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
1 parent 93ea6d7 commit 70e11da

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/ExtendedTaintAnalysis/JoinEdgeFunction.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,8 @@ namespace psr::XTaint {
2323
JoinEdgeFunction::JoinEdgeFunction(BasicBlockOrdering &BBO,
2424
SubEdgeFuctionsTy &&SubEF,
2525
const EdgeDomain &Seed)
26-
: EdgeFunctionBase(EFKind::Join, BBO), SubEF(std::move(SubEF)), Seed(Seed) {}
26+
: EdgeFunctionBase(EFKind::Join, BBO), SubEF(std::move(SubEF)), Seed(Seed) {
27+
}
2728
JoinEdgeFunction::JoinEdgeFunction(
2829
BasicBlockOrdering &BBO, std::initializer_list<EdgeFunctionPtrType> SubEF,
2930
const EdgeDomain &Seed)

0 commit comments

Comments
 (0)