Re: [CIL users] Problems with gotos inserted by CIL

[Elnatan Reisner]

My previous patch didn't work with GCC's locally declared labels. This one does, as far as I can tell.

-Elnatan

labels.patch
Description: Binary data

On Aug 5, 2009, at 5:55 PM, Elnatan Reisner wrote:

I have a patch for this, but I'm not sure of the right way to offer it. I'm attaching a file that I hope gets the point across. This enters all the label names within a function body into alphaTable at the beginning

of processing a function definition.


having CIL raise an error if there are duplicate label names, rather
than silently allowing them to go through.

Comments are welcome.

-Elnatan

On Mon, 2009-08-03 at 17:43 -0400, Elnatan Reisner wrote:

Aside from fixing the problem I mentioned, this also has the benefit of

CIL doesn't check the uniqueness of label names it uses when unfolding

short-circuiting boolean operators. This can lead to problems if you
already have a label named "_L" in your program. I've attached a tiny

infinite loop because of this.


handling of labels, so if someone can suggest a fix for this, I'd
appreciate it.

example that gets converted from a stupid but harmless program into a an I haven't yet managed to figure out all of the pieces involved in CIL's

------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day 
trial. Simplify your report design, integration and deployment - and focus on 
what you do best, core application coding. Discover what's new with 
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users