CFG Construction fails in a few case of methods with JSR/RETs

File: /Users/eichberg/Desktop/QualitasCorpus-20130901r/Systems/cayenne/cayenne-3.0.1/bin/cayenne-3.0.1/bin/CayenneModeler.jar
Class: ognl.OgnlParser
Method: unaryExpression

java.lang.AssertionError: assertion failed: successors and predecessors are inconsistent; e.g., BasicBlock(start=858,end=859) is a successor of BasicBlock(start=940,end=941), but does not list it as a predecessor
    at org.opalj.br.package$.assert(package.scala:86)
    at org.opalj.br.cfg.CFG.<init>(CFG.scala:146)
    at org.opalj.br.cfg.CFGFactory$.apply(CFGFactory.scala:413)
    at org.opalj.br.Code.cfg$lzycompute$1(Code.scala:490)
    at org.opalj.br.Code.org$opalj$br$Code$$cfg$1(Code.scala:490)
    at org.opalj.br.Code$$anonfun$1.apply(Code.scala:496)
    at org.opalj.br.Code$$anonfun$1.apply(Code.scala:496)
    at org.opalj.br.instructions.RET$$anonfun$nextInstructions$2.apply(RET.scala:78)
    at org.opalj.br.instructions.RET$$anonfun$nextInstructions$2.apply(RET.scala:69)
    at org.opalj.br.Code.iterate(Code.scala:699)
    at org.opalj.br.instructions.RET.nextInstructions(RET.scala:69)
    at org.opalj.br.Code.predecessorPCs(Code.scala:496)
    at org.opalj.ai.AI.continueInterpretation(AI.scala:391)
    at org.opalj.ai.AI.performInterpretation(AI.scala:372)

Comments (3)