bug in generating variable names

[Florin Mateoc <fmateoc@yahoo.com>]

Hi,

This is probably a bug but I am afraid I do not know
how to fix it.

I processed soot itself with soot, producing
jimple. After this first iteration (from class to
jimple), I processed the result (from jimple to
jimple). The second iteration did not fail, (only the
fourth eventually raised an exception), but I was able
to trace the problem back to it: I found two methods
in the output file
soot.coffi.Instruction_Tableswitch.jimple - (public
void
offsetToPointer(soot.coffi.ByteCode) and public
soot.coffi.Instruction[]
branchpoints(soot.coffi.Instruction)) - in which a
variable called $cseTemp0 was declared twice (in the
first case as two different types).

The command line arguments were
 --app soot.Main -J -O -d d:\j2 --debug --src-prec
jimple 
while the class path was 
d:\j1;d:\soot-1.2.2\soot\classes;d:\jdk1.2.2\jre\lib\rt.jar;

d:\j1 contains the output of the previous pass, the
classes directory is included for the .dat files

The exact same bug existed in 1.2.1 as well

Thank you,

Florin


__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail - only $35 
a year!  http://personal.mail.yahoo.com/