------- Comment #15 from hhinnant at apple dot com 2007-02-07 17:22 ------- (In reply to comment #14) > Unless __value comes from the list, does the standard require > __a.address(__value) to work? >
That's a good question Chris. The way I read the current draft, I believe the answer is no. This looks like another defect report to me. In the definition of "r" and "s" in [allocator.requirements] I see no reason to have the clause "obtained by the expression *p". But I'll open a DR (635) and let the LWG decide. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17012
