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
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.
Aside from fixing the problem I mentioned, th
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
example that gets converted from a stupid but harmless program into a an
infinite loop be
