http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53224
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-05-04 02:41:12 UTC --- I think you need more context than just the above code. Is *trivial_p and *constexpr_p checked when *deleted_p is true?