I'm afraid the code has to be recompiled to fix it.
In my attempt to print CABS, I add "Whitetrack.enabled := true" in main.ml.
--- On Tue, 4/14/09, cil-users-requ...@lists.sourceforge.net
<cil-users-requ...@lists.sourceforge.net> wrote:
From: cil-users-requ...@lists.sourceforge.net
<cil-users-requ...@lists.sourceforge.net>
Subject: CIL-users Digest, Vol 36, Issue 6
To: cil-users@lists.sourceforge.net
Date: Tuesday, April 14, 2009, 8:03 PM
Send CIL-users mailing list submissions to
cil-users@lists.sourceforge.net
To subscribe or unsubscribe via the World Wide Web, visit
https://lists.sourceforge.net/lists/listinfo/cil-users
or, via email, send a message with subject or body 'help' to
cil-users-requ...@lists.sourceforge.net
You can reach the person managing the list at
cil-users-ow...@lists.sourceforge.net
When replying, please edit your Subject line so it is more specific
than "Re: Contents of CIL-users digest..."
Today's Topics:
1. help to output Cabs (pengwen)
2. Error when want to output the Cabs (pengwen)
----------------------------------------------------------------------
Message: 1
Date: Mon, 13 Apr 2009 21:37:22 +0800
From: pengwen <peng...@ustc.edu>
Subject: [CIL users] help to output Cabs
To: cil-users@lists.sourceforge.net
Message-ID: <1239629842.8693.10.ca...@debian.sun_ustc>
Content-Type: text/plain
Hi all
I am new to CIL, and try to pint the Cabs in order to find the
difference between Cabs and CIL.
So I use the parameter "--cabsonly" to define the Cabs output file
name. But the project exit with error "Fatal error: exception
Invalid_argument("index out of bounds")".
The command I use is "./bin/cilly --save-temps=./output hello.c
--cabsonly=hello.cabs -o ./output/hello",and the exit messages is
gcc -D_GNUCC -E -DCIL=1 hello.c -o output/hello.i
/home/pengwen/parlang/proj/cilproj/cil/obj/x86_LINUX/cilly.asm.exe
--out output/hello.cil.c --verbose --cabsonly hello.cabs output/hello.i
Frontc is parsing output/hello.i
Fatal error: exception Invalid_argument("index out of bounds")
Thank you very much if you can help me to fix the problem.
with best regards.
------------------------------
Message: 2
Date: Mon, 13 Apr 2009 21:09:24 +0800
From: pengwen <peng...@ustc.edu>
Subject: [CIL users] Error when want to output the Cabs
To: cil-users@lists.sourceforge.net
Message-ID: <1239628164.3904.5.ca...@debian.sun_ustc>
Content-Type: text/plain
Hi all
When I use the output option "--cabsonly",the program break and exit
with error.
The command is "./bin/cilly --save-temps=./output hello.c
--cabsonly=hello.cabs -o ./output/hello"
The error is:
gcc -D_GNUCC -E -DCIL=1 hello.c -o output/hello.i
/home/pengwen/parlang/proj/cilproj/cil/obj/x86_LINUX/cilly.asm.exe
--out output/hello.cil.c --verbose --cabsonly hello.cabs output/hello.i
Frontc is parsing output/hello.i
Fatal error: exception Invalid_argument("index out of bounds")
Could you help me to find how the error happens? Or how to print the
Cabs into a file?
thanks!
Wen.Peng
peng...@ustc.edu
------------------------------
------------------------------------------------------------------------------
This SF.net email is sponsored by:
High Quality Requirements in a Collaborative Environment.
Download a free trial of Rational Requirements Composer Now!
http://p.sf.net/sfu/www-ibm-com
------------------------------
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
End of CIL-users Digest, Vol 36, Issue 6
****************************************
------------------------------------------------------------------------------
This SF.net email is sponsored by:
High Quality Requirements in a Collaborative Environment.
Download a free trial of Rational Requirements Composer Now!
http://p.sf.net/sfu/www-ibm-com
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
