|
55 | 55 |
|
56 | 56 | <P class="ins">
|
57 | 57 | If <TT>v</TT> has type "pointer to <I>cv</I> <TT>U</TT>"
|
58 |
| -and <TT>v</TT> does not point to an object within its lifetime or |
59 |
| -within its period of construction or destruction |
60 |
| -(11.9.5 [<A href="https://wg21.link/class.cdtor">class.cdtor</A>]) whose type is similar |
61 |
| -(7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>]) to <TT>U</TT>, the behavior is undefined. |
| 58 | +and <TT>v</TT> does not point to an object whose type is similar |
| 59 | +(7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>]) to <TT>U</TT> and that is within its |
| 60 | +lifetime or within its period of construction or destruction |
| 61 | +(11.9.5 [<A href="https://wg21.link/class.cdtor">class.cdtor</A>]) , the behavior is undefined. |
62 | 62 | If <TT>v</TT> is a glvalue of type <TT>U</TT> and <TT>v</TT> does not
|
63 |
| -refer to an object within its lifetime or within its period of |
64 |
| -construction or destruction whose type is similar to <TT>U</TT>, the |
| 63 | +refer to an object whose type is similar to <TT>U</TT> within its |
| 64 | +lifetime or within its period of construction or destruction, the |
65 | 65 | behavior is undefined.
|
66 | 66 | </P>
|
67 | 67 |
|
|
84 | 84 | converted to the null pointer value of the destination type.</DEL>
|
85 | 85 | <INS>If <TT>v</TT> is a null pointer value, the result is a null
|
86 | 86 | pointer value. Otherwise, if <TT>B</TT> is a virtual base class
|
87 |
| -of <TT>D</TT> and <TT>v</TT> does not point to an object within its |
88 |
| -lifetime or within its period of construction or destruction |
89 |
| -(11.9.5 [<A href="https://wg21.link/class.cdtor">class.cdtor</A>]) whose type is similar |
90 |
| -(7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>]) to <TT>D</TT>, the behavior is |
91 |
| -undefined. Otherwise, the result is a pointer to the base class |
92 |
| -subobject of the derived class object.</INS> |
| 87 | +of <TT>D</TT> and <TT>v</TT> does not point to an object whose type is |
| 88 | +similar (7.3.6 [<A href="https://wg21.link/conv.qual">conv.qual</A>]) to <TT>D</TT> and that is within |
| 89 | +its lifetime or within its period of construction or destruction |
| 90 | +(11.9.5 [<A href="https://wg21.link/class.cdtor">class.cdtor</A>]), the behavior is undefined. Otherwise, |
| 91 | +the result is a pointer to the base class subobject of the derived |
| 92 | +class object.</INS> |
93 | 93 |
|
94 | 94 | </BLOCKQUOTE>
|
95 | 95 | </LI>
|
|
0 commit comments