On Wed, 17 Aug 2011, SF Markus Elfring wrote: > > Then compile it as ocamlopt -o foo foo.ml. > > This command works. > > > > Then run it as ./foo > > Unfortunately, I get another unexpected result. (Error message > "Speicherzugriffsfehler") > > GDB: > Program received signal SIGSEGV, Segmentation fault. > 0x000000000062ee00 in strcpy@@GLIBC_2.2.5 ()
OK, it's an ocaml problem, not a coccinelle problem. Maybe the ocaml developers can help you. Perhaps you should get the source code for ocaml and recompile it. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
