<div dir="ltr"><div>Hi all,</div><div><br></div><div>FYI, following the useful discussion we had in Cologne, WG14 discussed memory object model issues again in its recent Ithaca meeting.  They too seem to have a consensus to go with what appeared to the the UB group&#39;s preferred model:   provenance not via integers, with integer-to-pointer casts limited to &quot;address exposed&quot; values, and allowing roundtrip casts of one-past values.   They would, however, like to see more concrete implementation experience before actually adopting the model.  Any thoughts (or offers!) on how best to establish that would be great.<br></div><div><br></div><div>WG14 also talked about subobject provenance, where WG14 had quite mixed views for several examples.</div><div><br></div><div>We weren&#39;t able to get to this week&#39;s meeting, unfortunately, and have otherwise been mostly preoccupied with other things, but we&#39;ll be going back to subobject models.</div><div><br></div><div>best,</div><div>Peter</div><div><br></div></div>