You can even (although this
is a pretty bad idea!) give the same name to different locals, and Soot
should handle it correctly. But don't count on it!
Actually, the naming business is nasty. It works most of the time, but
some of the built-in
optimizations index by name, and then break. (I seem to recall having this
difficulty with the ConstantPropagator, for instance. Fortunately, you can
run the
LocalNameStandardizer by hand to fix the names. It also doesn't work if
you write
to jimple and read back in, because jimple uses the string names for locals.