Update include/phasar/PhasarLLVM/DataFlowSolver/WPDS/JoinLatticeToSemiRingElem.h

vulder · github-actions[bot] · web-flow · commit fdd47ef18c3f · 2021-12-24T13:42:29.000+01:00
Co-authored-by: github-actions[bot] &lt;41898282+github-actions[bot]@users.noreply.github.com&gt;
diff --git a/include/phasar/PhasarLLVM/DataFlowSolver/WPDS/JoinLatticeToSemiRingElem.h b/include/phasar/PhasarLLVM/DataFlowSolver/WPDS/JoinLatticeToSemiRingElem.h
@@ -60,7 +60,8 @@ template <typename V> class JoinLatticeToSemiRingElem : public wali::SemElem {
     auto ThisF = static_cast<JoinLatticeToSemiRingElem *>(this);
     auto ThatF = static_cast<JoinLatticeToSemiRingElem *>(SE);
     return wali::ref_ptr<JoinLatticeToSemiRingElem<V>>(
-        new JoinLatticeToSemiRingElem(ThisF->F->composeWith(ThatF->F), Lattice));
+        new JoinLatticeToSemiRingElem(ThisF->F->composeWith(ThatF->F),
+                                      Lattice));
   }
 
   [[nodiscard]] wali::sem_elem_t combine(SemElem *SE) override {

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,8 @@ template <typename V> class JoinLatticeToSemiRingElem : public wali::SemElem {`
`60`	`60`	`auto ThisF = static_cast<JoinLatticeToSemiRingElem *>(this);`
`61`	`61`	`auto ThatF = static_cast<JoinLatticeToSemiRingElem *>(SE);`
`62`	`62`	`return wali::ref_ptr<JoinLatticeToSemiRingElem<V>>(`
`63`		`- new JoinLatticeToSemiRingElem(ThisF->F->composeWith(ThatF->F), Lattice));`
	`63`	`+ new JoinLatticeToSemiRingElem(ThisF->F->composeWith(ThatF->F),`
	`64`	`+ Lattice));`
`64`	`65`	`}`
`65`	`66`
`66`	`67`	`[[nodiscard]] wali::sem_elem_t combine(SemElem *SE) override {`