---
** [bugs:#150] Using of unsafe function (Obj.magic) in module
ocamlutil/pretty.ml**
**Status:** open
**Group:** Bug
**Created:** Wed Dec 03, 2014 09:13 AM UTC by Ta Quang Trung
**Last Updated:** Wed Dec 03, 2014 09:13 AM UTC
**Owner:** nobody
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.
---
Sent from sourceforge.net because cil-users@lists.sourceforge.net is subscribed
to https://sourceforge.net/p/cil/bugs/
To unsubscribe from further messages, a project admin can change settings at
https://sourceforge.net/p/cil/admin/bugs/options. Or, if this is a mailing
list, you can unsubscribe from the mailing list.
------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=164703151&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
