From 51d626b3e904becc3eab744c933f6b984e0e03ee Mon Sep 17 00:00:00 2001 From: Krystian Date: Sun, 5 May 2019 12:49:57 -0400 Subject: [PATCH 1/2] [stmt.jump]/2 Fixed wording that does not apply to objects who's lifetime has ended --- source/statements.tex | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/source/statements.tex b/source/statements.tex index 93bb5d4f9a..654330d00f 100644 --- a/source/statements.tex +++ b/source/statements.tex @@ -736,12 +736,12 @@ \pnum \indextext{local variable!destruction of}% \indextext{scope!destructor and exit from}% -On exit from a scope (however accomplished), objects with automatic storage -duration\iref{basic.stc.auto} that have been constructed in that scope are destroyed -in the reverse order of their construction. \begin{note} For temporaries, -see~\ref{class.temporary}. \end{note} Transfer out of a loop, out of a block, or back -past -an initialized variable with automatic storage duration involves the +On exit from a scope (however accomplished), variables that refer to objects with +automatic storage duration\iref{basic.stc.auto} declared in that scope will be destroyed +in the reverse order of their declaration. If a variable does not refer to an object +and the type of the variable has a non-trivial destructor, the behavior is undefined. +\begin{note} For temporaries, see~\ref{class.temporary}. \end{note} Transfer out of a loop, out of a block, or back +past an initialized variable with automatic storage duration involves the destruction of objects with automatic storage duration that are in scope at the point transferred from but not at the point transferred to. (See~\ref{stmt.dcl} for transfers into blocks). From 9373a256eb36c4693605130fb82c706a50354840 Mon Sep 17 00:00:00 2001 From: Krystian Date: Sun, 5 May 2019 13:20:59 -0400 Subject: [PATCH 2/2] [stmt.jump]/2 Fixed whitespace --- source/statements.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/statements.tex b/source/statements.tex index 654330d00f..969d9d72b1 100644 --- a/source/statements.tex +++ b/source/statements.tex @@ -739,7 +739,7 @@ On exit from a scope (however accomplished), variables that refer to objects with automatic storage duration\iref{basic.stc.auto} declared in that scope will be destroyed in the reverse order of their declaration. If a variable does not refer to an object -and the type of the variable has a non-trivial destructor, the behavior is undefined. +and the type of the variable has a non-trivial destructor, the behavior is undefined. \begin{note} For temporaries, see~\ref{class.temporary}. \end{note} Transfer out of a loop, out of a block, or back past an initialized variable with automatic storage duration involves the destruction of objects with automatic storage duration that are in