[ub] launder and aliasing

Gabriel Dos Reis gdr at microsoft.com
Sat Feb 27 00:29:27 CET 2016


Will do.

From: ub-bounces at open-std.org [mailto:ub-bounces at open-std.org] On Behalf Of Jeffrey Yasskin
Sent: Friday, February 26, 2016 2:45 PM
To: WG21 UB study group <ub at open-std.org>
Subject: Re: [ub] launder and aliasing

On Fri, Feb 26, 2016 at 1:55 PM, Gabriel Dos Reis <gdr at microsoft.com<mailto:gdr at microsoft.com>> wrote:
| Gaby had a paper that would guarantee that memcpy can be used to reinterpret
| the bytes of an object of one type as a value of another type; that would seem
| to fit the bill here. And you can use that to build higher-level operations, such as
| this:

I was meaning to update that paper for Jacksonville, because it has to go in C++17, but life happened.
This that paper is the consensus of SG12 (as we reviewed it in Kona), I will make sure it gets honorable mention in Jacksonville and we have a full wording in the post-Jacksonville mailing for consideration for C++17 in Oulu.

Argh. Jacksonville is the last meeting to get things through EWG if they're going into C++17. Is it at all possible for you to get the paper into a state that EWG could approve, and get it onto Ville's agenda? If the existing paper if SG12's consensus, maybe that's enough. Post-Jacksonville should be fine for the full wording, since CWG will still be processing C++17 topics in Oulu.

Jeffrey
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.open-std.org/pipermail/ub/attachments/20160226/4706c791/attachment-0001.html 


More information about the ub mailing list