OK, thanks. I see that it doesn't cause a crash, but the function is ignored, even with a space before the K&R declaration. I will see if anything can be done about it.
julia On Thu, 20 May 2010, Arnaud Lacombe wrote: > Hi, > > On Thu, May 20, 2010 at 4:36 PM, Julia Lawall <[email protected]> wrote: > > You don't have an example that provokes the TODO? > > > I do: > > void > g(pps) > register struct s **pps; > { > struct r *pr; > > pr = (struct r *)*pps + h(pps); > } > > produces: > > init_defs_builtins: /data/opt/coccinelle/share/coccinelle/standard.h > > PARSING: route.c > (ONCE) CPP-TYPEDEF: promoting: pps > SEMANTIC:parameter name omitted, but I continue > TYPEDEF CONFLICT:pps > TODO:typedef now used as an identifier > > > As long as there is no code you care about in f0 > > > This is the point, there was code I cared about, but it can be > trivially to fixed by hand :) > > - Arnaud > _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
