On Mon, 7 Apr 2014, SF Markus Elfring wrote:
> > Coccinelle makes an effort to infer types. YOu may need to use eg > > --recursive-includes and --relax-include-path to get the most possible > > type information. > > 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. The benefit didn't seem to be worth the risk. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
