[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