[clang] [LifetimeSafety] Extend function handling invalidating calls (PR #195064)

Utkarsh Saxena via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 30 07:07:45 PDT 2026


================
@@ -540,6 +540,73 @@ void function_captured_ref_invalidated() {
 
 } // namespace callable_wrappers
 
+namespace manual_destruction {
+
+void explicit_destructor_invalidates_pointer() {
----------------
usx95 wrote:

At this point, I do not see us prioritising double frees, so yes.

But, in principle, double free is a temporal safety error and can be identified by extending this analysis.

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


More information about the cfe-commits mailing list