http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56660 --- Comment #4 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2013-05-05 00:37:10 UTC --- Fixed on trunk. Shall we close this? The type extension bug, PR56117 remains.