Hi,
On Thu, Oct 29, 2009 at 3:20 AM, Gabriel Kerneis <kern...@pps.jussieu.fr>wrote:
> Hi,
>
> On Wed, Oct 28, 2009 at 03:43:54PM -0400, Divya Muthukumaran wrote:
> > I am encountering a strange behavior with Frontc.parse. I have an Ocaml
> > program to analyze some C code that uses CIL as a library. The very first
> > thing I do in the program is to call Frontc.parse on the .i file. But for
> > some reason this fails (basically just reaches Frontc.parse and then
> nothing
> > happens) for some of the .i files but works perfectly for others. I tried
> to
> > set the Ocaml environment variables to verbose mode to see what the
> problem
> > might be. When it reaches Frontc.parse, it just stops there and gives me
> a
> > series of "Starting a major Gc cycle" messgaes. Moreover, I created
> another
>
> This means that your program allocates a lot of memory.
>
> > program that just calls Frontc.parse on one of the .i files that failed
> > earlier and it works like a charm there. I am completely baffled by why
> it
> > fails in my program. Does anyone have any intuition about what might
> cause
> > this. I am completely new to Ocaml and CIL, so there might be something
> > obvious that I am overlooking.
>
> Does it eat 100% of your CPU? This looks like an infinite loop, but it
> is hard to tell why this would happen in the general case.
>
> It was indeed an infinite loop problem. Thank you very much.
> Could you try to reduce your program to a minimal sample exhibiting the
> bug, and then send it with the .i file (also reduced as much as
> possible)?
>
> Regards,
> --
> Gabriel Kerneis
>
Regards,
Divya
------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
