update

Author: jensmaurer

issues/2861.html

@@ -55,11 +55,14 @@
 
 <P class="ins">
 If <TT>v</TT> has type "pointer to <I>cv</I> <TT>U</TT>"
-and <TT>v</TT> does not point to an object within its lifetime whose
-type is similar (7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>]) to <TT>U</TT>, the
-behavior is undefined.  If <TT>v</TT> is a glvalue of type <TT>U</TT>
-and <TT>v</TT> does not refer to an object within its lifetime whose
-type is similar to <TT>U</TT>, the behavior is undefined.
+and <TT>v</TT> does not point to an object within its lifetime or
+within its period of construction or destruction
+(11.9.5 [<A href="https://wg21.link/class.cdtor">class.cdtor</A>]) whose type is similar
+(7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>]) to <TT>U</TT>, the behavior is undefined.
+If <TT>v</TT> is a glvalue of type <TT>U</TT> and <TT>v</TT> does not
+refer to an object within its lifetime or within its period of
+construction or destruction whose type is similar to <TT>U</TT>, the
+behavior is undefined.
 </P>
 
 </BLOCKQUOTE>
@@ -82,9 +85,11 @@
 <INS>If <TT>v</TT> is a null pointer value, the result is a null
 pointer value.  Otherwise, if <TT>B</TT> is a virtual base class
 of <TT>D</TT> and <TT>v</TT> does not point to an object within its
-lifetime whose type is similar (7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>])
-to <TT>D</TT>, the behavior is undefined. Otherwise, the result is a
-pointer to the base class subobject of the derived class object.</INS>
+lifetime or within its period of construction or destruction
+(11.9.5 [<A href="https://wg21.link/class.cdtor">class.cdtor</A>]) whose type is similar
+(7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>]) to <TT>D</TT>, the behavior is
+undefined. Otherwise, the result is a pointer to the base class
+subobject of the derived class object.</INS>
 
 </BLOCKQUOTE>
 </LI>