From 2dfdff992d63dcf7ceea0bbfffb5d4e3187d7531 Mon Sep 17 00:00:00 2001
From: Ivan Krysak <ivan@rev.ng>
Date: Thu, 22 Feb 2024 08:45:09 +0100
Subject: [PATCH] UpcastablePointer: introduce `copy` helper

---
 include/revng/ADT/UpcastablePointer.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/revng/ADT/UpcastablePointer.h b/include/revng/ADT/UpcastablePointer.h
index 552aa4117..06b4de974 100644
--- a/include/revng/ADT/UpcastablePointer.h
+++ b/include/revng/ADT/UpcastablePointer.h
@@ -174,6 +174,10 @@ public:
     return UpcastablePointer<T>(new Q(std::forward<Args>(TheArgs)...));
   }
 
+  UpcastablePointer copy() const {
+    return UpcastablePointer(clone(Pointer.get()));
+  }
+
 public:
   UpcastablePointer &operator=(const UpcastablePointer &Other) {
     if (&Other != this) {