Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

coccinelle problems

Posted Jan 22, 2009 7:57 UTC (Thu) by Octavian (subscriber, #7462)
Parent article: Semantic patching with Coccinelle

I can confirm the statement that coccinelle is of beta quality currently, as it still fails on some C constructs, e. g. related to named initializers. The following patchlet always fails because of the union inside:

- struct foo my_foo[] = {
- .a = 1,
- .u.b = 42,
- }
+ FOO(1, 42)

However, after contacting Julia Lawal I can say that she was always very helpfull at fixing the issues I found.

(Log in to post comments)

coccinelle problems

Posted Jan 22, 2009 12:42 UTC (Thu) by lawall (guest, #56234) [Link]

Thanks for the bug report. I will take a look at it. Indeed, structure declarations of various sorts are not yet as well supported as they should be.

julia

coccinelle problems

Posted Jan 30, 2009 9:09 UTC (Fri) by lawall (guest, #56234) [Link]

> Indeed, structure declarations of various sorts are not yet as well supported as they should be.

Note that this refers to the support for structures in SmPL, ie the language in which semantic patches are written. The C parser supports all kinds of structures with no problem, and indeed all of C, with various extensions as used in Linux code.

julia

coccinelle problems

Posted Feb 5, 2009 8:46 UTC (Thu) by lawall (guest, #56234) [Link]

This problem has been fixed in the new release (0.1.5, Feb 5, 2009). Thanks for the bug report.

julia