When I try it, I get a stack overflow. But even if that did not occur, I'm not sure it will be possible to get any useful information from the file, because I have the impression that every function is unparsable. I will look into it a bit more.
julia On Sun, 29 Aug 2010, Vasiliy Kulikov wrote: > Hi, > > That's me again ;) > > > When I try to run coccinelle on gdb 6.3 sources, it fails with core > dumped: > > $spatch -sp_file ../unsigned-less-zero.cocci ./gdb-6.3/sim/frv/sem.c > > init_defs_builtins: /usr/share/coccinelle/standard.h > HANDLING: ./gdb-6.3/sim/frv/sem.c > ÿÿÿÿÿÿÿÿÿÿÿÿ ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ (core dumped) > > $ cat ../unsigned-less-zero.cocci > @@ > type T; > unsigned T x; > @@ > > ( > * (x < 0) > | > * (0 > x) > | > * (x <= 0) > | > * (0 >= x) > | > * (0 <= x) > | > * (x >= 0) > ) > -- > > > Ubuntu 10.04 x86_64, the latest coccinelle from PPA. > > Thanks, > Vasiliy. > _______________________________________________ > Cocci mailing list > [email protected] > http://lists.diku.dk/mailman/listinfo/cocci > (Web access from inside DIKUs LAN only) >
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
