================
@@ -395,6 +427,44 @@ its elements.
*p = 10;
}
+The analysis also treats explicit destruction as invalidation. Explicit
+destructor calls and ``std::destroy_at`` invalidate pointers, references and
+views into the destroyed object. Placement ``new`` is checked against the
+lifetime of the storage passed to it, so the returned pointer must not outlive
+that storage.
----------------
usx95 wrote:
nit: I would remove special mention of placement `new`.
The purpose of this documentation is to give high level overview of the core
capabilities of the analysis and not the detailed C++ coverage which changes
much more quickly than the core capabilities.
https://github.com/llvm/llvm-project/pull/196790
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
