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
#include <stdio.h>
#include <stdlib.h>
#include "cblas.h"
int main(int argc,char *argv[])
{
cblas_daxpy(V,t3,(C1 + (s * V)),1,(B1 + (((((a * V) + b) * V) + c) * V)),1);
return 0;
}
test.cocci
Description: Binary data
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
