another BlockGraph.java

[Florian Loitsch <florian@loitsch.net>]

hi,
i found another thing that bothers me:

in BlockGraph.java (line 123):
====
    predList.add(mUnits.getPredOf(someTrap.getBeginUnit()));
    leaders.put(someTrap.getBeginUnit(), predList);
====
why do we assume, that the predecessor of a beginUnit is in the
BasicBlock-predecessor-list?

in BlockGraph.java (line 267):
====
   if(targetPred.fallsThrough())
     predecessors.add(targetPred);
====
this question is related to the "unusual traps"-question, but i don't think
in Jimple a trap-target can have a predecessor, that falls through...

mfg
 florian loitsch
-- 
People who think they know everything are very irritating to those of us who do.
- Anon.