http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54293
--- Comment #11 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-08-21 08:07:28 UTC --- (In reply to comment #10) > > In other words: In this case IsValid(&ref_int) will hold for the same > > reasons > > as it holds for IsValid(&ref_obj). > > That is true, and I didn't object that. I rather didn't understand how is that > particular change related to solving issues 616, 129, 240 and some others > mentioned there. Sorry, I misunderstood your comment. This particular 616 wording change was a "side-step" change that was done as part of the issue (it was recognized while discussing it), the drafting note during the Kona meeting says: "Drafting note: This change addresses core issue 240, third item in a minimally-intrusive way [..]"