On 01/19/2015 06:06 PM, Ville Voutilainen wrote: > + return (trivial_type_p (type1) > + || (scalarish_type_p (type1) && CP_TYPE_VOLATILE_P (type1)) > + || type_code1 == REFERENCE_TYPE > || (CLASS_TYPE_P (type1) > && TYPE_HAS_TRIVIAL_DESTRUCTOR (type1))); I think we can drop the trivial_type_p check now, it's redundant. Jason