Julia, thanks for you quick answer! > > Maybe it doesn't have the required type information? You can try > > spatch -type_c yourfile.c > > and see whether it puts types on the expression of interest. >
Apparently not, I have pastbin the output: http://pastebin.com/ESriRGhT I get that, among other things: bad: p_sys->i_timescale = p_mvhd->data.p_mvhd->i_timescale; > The lack of type information generally occurs because of a header file that > is not being taken into account. The -all_includes option will try to find > all of the header files that are included directly in the file. The > -recursive_includes will additionally find header files that are included by > others. You may also need to give some include paths with -I. Neither of > these are the default because parsing header files is very time consuming. > > You'd have to check about how you can get coccigrep to pass arguments on to > spatch. > A priori it's not the problem, p_sys is a "demux_sys_t" which is defined in the same file. Best Regards, -- Frédéric _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
