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)
