> The various exceptions of the form "if an attribute is applied to the type > of a decl which can only apply to a decl, then apply it to the decl" are > there because they represent forms used by existing code.
What about this scenario? typedef int __attribute__((section("foo"))) FOOINT; FOOINT a; Would it make sense to allow this sort of thing? Would it be feasible to implement?