[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