http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52178
--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-02-13 13:53:01 UTC --- > Still they are refered to globally. I'm refering to > atree__atree_private_part__node_record___is_extension___XVN > (it doesn't have any TYPE_CONTEXT though, and its TYPE_SIZE is a constant). It's a global, self-referential type. > Still variably_modified_type_p (t, NULL_TREE) returns true probaby because > DECL_QUALIFIER of one FIELD_DECL is OK, that looks like the root cause.