This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 113d. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-04-05

735. Missing case in specification of safely-derived pointers

[Voted into WP at October, 2009 meeting.]

The bullets in _N4885_6.7.5.5.4 [basic.stc.dynamic.safety] paragraph 2 do not appear to cover the following example:

   int& i = *new int(5);
   // do something with i
   delete &i;

Should &i be a safely-derived pointer value?

Proposed resolution (September, 2009):

Change _N4885_6.7.5.5.4 [basic.stc.dynamic.safety] paragraph 2, bullet 2, as follows:

• the result of taking the address of a subobject of an lvalue an object (or one of its subobjects) designated by an lvalue resulting from dereferencing a safely-derived pointer value;