[Soot-list] problem by labeling i soot

[Eric Bodden]

Well, this is resolved by the pretty printer only but obviously one
should not rely on String comparison anyway.

Eric

On 26/06/07, Chris Pickett <chris.pickett at mail.mcgill.ca> wrote:
> Eric Bodden wrote:
> > So what's the problem?
>
> >> i3 = i3 + 1
> >> goto [?= (branch)]
>
> >> i1 = i1 + 1
> >> goto [?= (branch)]
>
> Where do these branch to?
>
> Chris
>


-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada