>> How do you think about to make it possible to check attributes for >> expressions >> in SmPL constraints? > > I tried to do this at one point, but it introduced a lot of parsing > problems, because attributes can appear in a variety of places.
Which kind of syntax had you got in mind for such a functionality? Is there a need to distinguish property checks from support for extensions from a popular compiler implementation? http://gcc.gnu.org/onlinedocs/gcc-4.8.2/gcc/Type-Attributes.html > The benefit didn't seem to be worth the risk. Can we clarify your concerns a bit more here? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
