This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: Prefix attributes vs. grammar



> type.  Unfortunately, various parts of the compiler check
> TREE_THIS_VOLATILE on decls, rather than TYPE_VOLATILE on their types (or
> better a well-defined TYPE_NORETURN macro), and those types don't get
> TYPE_VOLATILE set in decl_attributes - similar to the problem you fixed
> with how ordinary type qualifiers work on decls.)

Lovely.
>
> For target attributes, targetm.comp_type_attributes says whether the types
> are compatible.  For other attributes, they make random changes to a decl
> or type that may get checked by the generic type comparison code, but
> don't yet get stored with the decl or type to which they attach (hence the
> broken usage of DECL_ASSEMBLER_NAME in format checking).

Doubly lovely.  What a nice mess.

-- 
Mark Mitchell                mark@codesourcery.com
CodeSourcery, LLC            http://www.codesourcery.com


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]