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, [email protected]
<[email protected]> wrote:
From: [email protected]
<[email protected]>
Subject: CIL-users Digest, Vol 36, Issue 6
To: [email protected]
Date: Tuesday, April 14, 2009, 8:03 PM
Send CIL-users mailing list submissions to
[email protected]
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
[email protected]
You can reach the person managing the list at
[email protected]
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 <[email protected]>
Subject: [CIL users] help to output Cabs
To: [email protected]
Message-ID: <[email protected]_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 <[email protected]>
Subject: [CIL users] Error when want to output the Cabs
To: [email protected]
Message-ID: <[email protected]_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
[email protected]
------------------------------
------------------------------------------------------------------------------
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
[email protected]
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/cil-users
