On Mon, 7 Apr 2014, SF Markus Elfring wrote:
> >> 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? To my recollection, there were problems of ambiguity in the parser. Also, I think it made the abstract syntax tree unwieldy, because attributes had to be taken into account in many positions. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
