diff --git a/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h b/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h index 844769998..e14162c0b 100644 --- a/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h +++ b/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h @@ -63,13 +63,6 @@ template 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 Stmt, ByConstRef Node) const { assert(VT != nullptr); return VT->ResultAt(Buffer.data(), Stmt, Node);