On Fri, 16 Dec 2016, Thomas Adam wrote:
> On Fri, Dec 16, 2016 at 02:54:42PM +0100, Julia Lawall wrote: > > Could you send me the original .c file, preferably cut down to show only > > the error? > > > > For --parse-c, most of the interestingoutput is on stderr. > > Hi Julia, > > Yes -- stderr was redirected to those files anyway. > > Please see the attached .c file which just contains a sample function which > isn't being matched. For me, the attached file seems to work fine. But the function is quite big and contains many strdups. If there is one that is not getting matched, perhaps you could make a smaller example that illustrates the problem. >From the type-c output, I have the impression that it is pkg_adddep that is not getting processed. That has no type annotations at all. The other functions seem to have annotations on some variables. When Coccinelle doesn't know the type, it will put /**/. But that means that it processed the code but doesn't know the type, not that it did not process the code at all. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
