------- Comment #7 from bstarynk at gcc dot gnu dot org 2009-11-04 18:37 ------- With gcc trunk rev 153897 Simon Baldwin's demo.c file typedef long intnat; typedef intnat value; void caml_darken (value v, value *p) { } is passing ok.
But ocaml-trunk is still crashing the gcc-trunk. And it is not related to the incompatible type warning. This has been fixed in ocaml trunk rev 9410, and gcc-trunk still crashes when compiling it. It is indeed related to passing both -flto -O2 & -O to the compiler. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932