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)
