[clang] [LifetimeSafety] Add support for `new`/`delete` (PR #192504)

via cfe-commits cfe-commits at lists.llvm.org
Sun Apr 19 04:51:53 PDT 2026


================
@@ -301,6 +303,25 @@ class MovedOriginFact : public Fact {
             const OriginManager &OM) const override;
 };
 
+// Inner origin has been destroyed, e.g. via `delete`.
----------------
NeKon69 wrote:

Well, it’s the object being pointed to. It’s not like the memory address itself is destroyed, it’s the object stored at that address.

https://github.com/llvm/llvm-project/pull/192504


More information about the cfe-commits mailing list