On Fri, Aug 03, 2012 at 03:15:32PM +0200, Arie Middelkoop wrote:
> But I expect that the problem lies elsewhere. It crashes in the
> lexer while it is concatenating many single-character ocaml strings
> while lexing a C string-constant. The other problem is related to
> array indexing in the size of the file.
>
> Now, we compile the native spatch with the "-unsafe" flag to ocamlc,
> which turns off string/array bounds checking for faster code. You
> could try and remove the flag from Makefile.config{.in}, and do a
> clean build to see if that gives some runtime error...
> (then again, if this was an issue, then the bytecode version should
> have crashed too.)
No, it's the same error even without -unsafe.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine. Supports Linux and Windows.
http://et.redhat.com/~rjones/virt-df/
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
