[PATCH] D13080: [libc++] ~unique_ptr() should not set stored pointer to null

[Marshall Clow via cfe-commits]

mclow.lists added a comment.

Please DO NOT commit this patch.

See http://cplusplus.github.io/LWG/lwg-active.html#2224 for a discussion of this code, and the (proposed) resolution is that this is undefined behavior.


http://reviews.llvm.org/D13080