[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Soot bugs when first Unit is a target



Archie Cobbs wrote:
> There is a rare (?) but plausible situation where the first Jimple
> statement in a body is also a target of a branch. This causes
> problems because there is some code that assumes that for targets,
> target.getPredOf() always returns non-null, which of course is not
> the case when the target is also the first Unit.

Apparently this only happens after method inlining. Not sure why.

In any case, the attached program demonstrates the problem.
Any help is greatly appreciated.

Thanks,
-Archie

__________________________________________________________________________
Archie Cobbs      *        CTO, Awarix        *      http://www.awarix.com

Attachment: SootBug.java.gz
Description: Binary data