[Soot-list] ThrowableSet comparison with "!="

[Thomas Pilot]

Hello soot-list,

on the current master branch of soot, at the end of
soot.toolkits.graph.ExceptionalUnitGraph.buildExceptionDests(ThrowAnalysis)
two ThrowableSets are compared with "!=" multiple times.

At that point, for some reason, I managed to have an empty thrownSet
which is not  ThrowableSet.Manager.v().EMPTY. This leads to the "!="
comparison being false and the IllegalStateException in line 367 being
thrown, although the ThrowableSet's contents are equal.

I suggest implementing the equals() method in ThrowableSet and using it
for comparison at least there.

-Thomas

[1] APK = android package, so soot is able to generate android apps
[2] http://www.sable.mcgill.ca/pipermail/soot-list/2006-October/000859.html

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 535 bytes
Desc: OpenPGP digital signature
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120904/9c637208/attachment.bin