#150 Using of unsafe function (Obj.magic) in module ocamlutil/pretty.ml

[Ta Quang Trung]

Hello,

Recently, I met a bug with CIL (v1.5.1) that makes cilly always goes into a loop when parse a C file.

This happen when compiling CIL by the newest OCaml (4.02.1)

I reported this problem to OCaml developers and they pointed out that the module ocamlutil/pretty.ml used an unsafe function in line 643:
let format = (Obj.magic format : string) in

They suggested to fix it like below:
let format = string_of_format format in

I checked and saw that this bug still occurs in the newest CIL (v1.7.3)

Maybe you want to apply the patch to this problem?

Detail information can be found here: http://caml.inria.fr/mantis/view.php?id=6687

Best regards,
Quang Trung.

[Gabriel Kerneis]

This is fixed in git already.

Thanks for the report though.

Gabriel