Skip to content

Commit 93ea6d7

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

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,8 @@ namespace psr::XTaint {
1818
ComposeEdgeFunction::ComposeEdgeFunction(BasicBlockOrdering &BBO,
1919
EdgeFunctionPtrType F,
2020
EdgeFunctionPtrType G)
21-
: EdgeFunctionBase(EFKind::Compose, BBO), F(std::move(F)), G(std::move(G)) {}
21+
: EdgeFunctionBase(EFKind::Compose, BBO), F(std::move(F)), G(std::move(G)) {
22+
}
2223

2324
auto ComposeEdgeFunction::computeTarget(l_t Source) -> l_t {
2425
return G->computeTarget(F->computeTarget(Source));

0 commit comments

Comments
 (0)