From ce6142e3cf9b1c1180f19da49bf2dad224b88358 Mon Sep 17 00:00:00 2001 From: Mathias Stearn Date: Tue, 25 Sep 2018 00:10:47 -0700 Subject: [PATCH] [basic.life] Remove description of impossible UB A destructor that is not called cannot produce side effects, therefore it is impossible to depend on those side effects. --- source/basic.tex | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/source/basic.tex b/source/basic.tex index 5bcccc2f84..424f39e222 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -2891,8 +2891,7 @@ occupies is reused or released; however, if there is no explicit call to the destructor or if a \grammarterm{delete-expression}\iref{expr.delete} is not used to release the storage, the destructor shall not be -implicitly called and any program that depends on the side effects -produced by the destructor has undefined behavior. +implicitly called. \pnum Before the lifetime of an object has started but after the storage which