Thanks. disable paren did the job for all testcases I have. -Ajay
On Tue, Jul 26, 2011 at 2:43 AM, Julia Lawall <[email protected]> wrote: > The problem is probably the paren isomorphism. It is trying all > permutations of the parentheses being absent and present. Put disable > paren between your first @@, and then if you expect that some of the > parentheses will be missing, put special cases for them. > > julia > > > On Mon, 25 Jul 2011, Ajay Panyala wrote: > > > Hello, > > > > I have a simple code which looks like > > > > int main() > > { > > > > cblas_daxpy(V,t3,(C1 + (s * V)),1,(B1 + (((((a * V) + b) * V) + c) * > V)),1); > > > > return 0; > > } > > > > and a cocci patch file > > > > @@ > > @@ > > - cblas_daxpy(V,t3,(C1 + (s * V)),1,(B1 + (((((a * V) + b) * V) + c) * > > V)),1); > > + double device; > > > > > > When I run > > > > spatch -sp_file test.cocci test.c -o annot1.c > > > > (OR) spatch -verbose_parsing -sp_file test.cocci test.c -o annot1.c > > > > I see > > > > init_defs_builtins: /opt/tools/coccinelle/share/coccinelle/standard.h > > > > and coccinelle runs forever and never quits (killed it after an hour) > > > > Instead if I use spatch.opt I run into a segmentation fault in a few > > minutes. > > > > Any suggestions ? The .c and .cocci files are attached. > > > > Thanks a lot > > Ajay > > >
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
