* Julia Lawall <[email protected]>: > Try running spatch -parse_c file.c > > Then you should be able to get some information about any parsing problems > that it encounters. Perhaps there is a problem with macros or typedefs, > where it is finding information in one part of the file that is causing a > later part of the file to be parsed badly.
Thanks a lot! It looks to me like a macro problem. There are two "goto xdr_error;", but this label is defined in a macro. Best regards, Nicolas Kaiser _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
