[Soot-list] unreachable code in jimple files?

[Bodden, Eric]

> Hmmm, so are you actually running a transformation that evaluates the nullness information to turn checks like if(r4==null) into if(false)?

I just checked... specifically that would be soot.jimple.toolkits.annotation.nullcheck.NullCheckEliminator. Are you running this one? And it shows no effect on this code?

Cheers,
Eric
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140901/5fc65613/attachment.bin