http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48531
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-04-14 17:55:43 UTC --- Thanks Jason. Now Daniel we have to figure out which other bug (ie, possibly prepare a reduced testcase for Jason) prevents us from getting rid completely of the special casing for default_constructible in <type_traits>: I quickly tried and got the ICE in build_value_init_noctor, at cp/init.c:455