minor cleanup

secure-software-engineering · Oct 21, 2024 · cc286df · cc286df
1 parent 3b2ff2d
commit cc286df
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h b/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h
@@ -63,13 +63,6 @@ template <typename N, typename D, typename L> class GenericSolverResults final {
     new (Buffer.data()) type(SR);
   }
 
-  GenericSolverResults(const GenericSolverResults &) noexcept = default;
-  GenericSolverResults &
-  operator=(const GenericSolverResults &) noexcept = default;
-  GenericSolverResults(GenericSolverResults &&) noexcept = default;
-  GenericSolverResults &operator=(GenericSolverResults &&) noexcept = default;
-  ~GenericSolverResults() = default;
-
   [[nodiscard]] l_t resultAt(ByConstRef<n_t> Stmt, ByConstRef<d_t> Node) const {
     assert(VT != nullptr);
     return VT->ResultAt(Buffer.data(), Stmt, Node);