Bugs item #3534428, was opened at 2012-06-11 13:28
Message generated for change (Comment added) made by kerneis
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=742140&aid=3534428&group_id=138953

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Closed
>Resolution: Fixed
Priority: 5
Private: No
Submitted By: Ed Schwartz (edmcman)
Assigned to: Nobody/Anonymous (nobody)
Summary: newTempVar called outside a function

Initial Comment:
One of the gnulib tests used in coreutils triggers a CIL bug:

  CC       test-stdbool.o
gcc -D_GNUCC -E -MT test-stdbool.o -MD -MP -MF .deps/test-stdbool.Tpo -I. 
-I../lib -DIN_COREUTILS_GNULIB_TESTS=1 -I. -I. -I.. -I./.. -I../lib -I./../lib 
-g -O2 -DCIL=1 test-stdbool.c -o ./test-stdbool.i
/home/ed/f11/decompiler-transformer/vendor/cil/1.4.0/obj/x86_LINUX/cilly.asm.exe
 --out ./test-stdbool.cil.c ./test-stdbool.i
test-stdbool.c:63: Bug: newTempVar called outside a function
test-stdbool.c:63: Error: doPureExp: not pure
Fatal error: exception Errormsg.Error
make[3]: *** [test-stdbool.o] Error 2

I am uploading test-stdbool.i

----------------------------------------------------------------------

>Comment By: Gabriel Kerneis (kerneis)
Date: 2012-06-14 03:34

Message:
I merged the Question feature into develop.

----------------------------------------------------------------------

Comment By: Gabriel Kerneis (kerneis)
Date: 2012-06-12 01:15

Message:
This is because CIL tries to fold the ternary operator ?: but is unable to
fold floats. I added your file to the test suite.

A work-around is to use the feature-question branch:
http://github.com/kerneis/cil/commits/feature-question
I have just rebased it against develop, and your test works in that case
(with the --use-logical-operators flag). I used to be reluctant to merge it
because it would change the CIL AST, breaking existing code; I might
change my mind if people have a strong need for it.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=742140&aid=3534428&group_id=138953

------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to