http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52178
--- Comment #19 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-02-13 14:21:57 UTC --- > Which should avoid the issue. But I suppose that variably_modified_type_p > wrongly checks > > if (TREE_CODE (type) == QUAL_UNION_TYPE) > RETURN_TRUE_IF_VAR (DECL_QUALIFIER (t)); > > ? It seems it should not look at DECL_QUALIFIER at all. I wouldn't disagree, but I think we should only tweak free_lang_data and subsequent passes for 4.7.