http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48814
--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2011-04-29 12:03:14 UTC --- This may well be a bug, but it's the sort of case where you want an analysis not in terms of sequence points but in terms of the more precisely defined sequencing model in C++0x and C1x. Do you have such an analysis?