------- Comment #4 from jason at gcc dot gnu dot org 2010-09-21 13:37 ------- Not a bug; all these testcases (should) have undefined behavior. I'm working on clarifying the standard to that end. This is related to
http://www.open-std.org/JTC1/SC22/WG21/docs/cwg_active.html#1116 and on the C side, http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_236.htm http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1409.htm -- jason at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |jason at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2010-09-20 15:27:10 |2010-09-21 13:37:32 date| | Summary|[4.6 Regression] |[DR 1116] Devirtualization |Devirtualization results in |results in wrong-code |wrong-code | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45734