Proposed resolution:

Change [util.smartptr.shared.dest] p1 second bullet:

• ...
• Otherwise, if *this owns a pointer an object p and a deleter d, d(p) is called.

[ Batavia (2009-05): ]

Peter Dimov notes the analogous change has already been made to "the new nullptr_t taking constructors in [util.smartptr.shared.const] p9-13."

We agree with the proposed resolution. Move to Tentatively Ready.

[ Post Summit: ]

Recommend Review.

James Dennett, message c++std-lib-22442:

The wording below addresses one case of this, but opening an issue to address the need to sanity check uses of the term "pointer" in [util.smartptr.shared] would be a good thing.

There's one more reference, in ~shared_ptr; we can apply your suggested change to it, too. That is:

Change [util.smartptr.shared.dest]/1 second bullet from:

Otherwise, if *this owns a pointer p and a deleter d, d(p) is called.

to:

Otherwise, if *this owns an object p and a deleter d, d(p) is called.