Update include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h

MMory · fabianbs96 · web-flow · commit 86984b37d133 · 2021-12-24T01:03:40.000+01:00
Co-authored-by: fabianbs96 &lt;52407375+fabianbs96@users.noreply.github.com&gt;
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h b/include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/FlowFunctions.h
@@ -274,7 +274,7 @@ class KillMultiple : public FlowFunction<D, Container> {
   KillMultiple(std::set<D> KillValues) : KillValues(std::move(KillValues)) {}
   ~KillMultiple() override = default;
   container_type computeTargets(D Source) override {
-    if (KillValues.find(Source) != KillValues.end()) {
+    if (KillValues.count(Source)) {
       return {};
     }
     return {Source};

Original file line number	Diff line number	Diff line change
`@@ -274,7 +274,7 @@ class KillMultiple : public FlowFunction<D, Container> {`
`274`	`274`	`KillMultiple(std::set<D> KillValues) : KillValues(std::move(KillValues)) {}`
`275`	`275`	`~KillMultiple() override = default;`
`276`	`276`	`container_type computeTargets(D Source) override {`
`277`		`- if (KillValues.find(Source) != KillValues.end()) {`
	`277`	`+ if (KillValues.count(Source)) {`
`278`	`278`	`return {};`
`279`	`279`	`}`
`280`	`280`	`return {Source};`