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. 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 ------------------------------------------------------------------------------ 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
