Is there a reason the defaultCilPrinterClass doesn't print line
directives before gotos? Not printing them makes the line numbers of the
output not quite agree with the original source. For example, CIL
converts:
int main() { goto L; L: return 0; }
into
#line 1 "file.c"
int main(void)
{
{
Thank you, this is indeed what I needed.
However, I still believe the isCompleteType method needs to be
modifed. Using the 'cdefined' field, bellow is what I use now. I think
it's correct.
--- src/cil.ml.orig 2009-04-06 15:16:20.0 +0200
+++ src/cil.ml 2009-04-07 13:00:14.0 +020
