Dummy nop with two successors, invalid stmt graph #407
Description
#405 added a test for a bug in old soot (1577).
#404 fixes a stack underrun, but the body can still not be resolved due to an invalid stmt graph. The nop is a dummy nop and not part of the bytecode.
java.lang.RuntimeException: StmtGraph of <...shared-test-resources.soot-1577.g: int h(android.content.Context)> is invalid.
at de.upb.swt.soot.core.model.Body$BodyBuilder.build(Body.java:665)
at de.upb.swt.soot.java.bytecode.frontend.AsmMethodSource.resolveBody(AsmMethodSource.java:236)
at de.upb.swt.soot.core.model.SootMethod.lazyBodyInitializer(SootMethod.java:95)
at com.google.common.base.Suppliers$NonSerializableMemoizingSupplier.get(Suppliers.java:166)
at de.upb.swt.soot.core.model.SootMethod.getBody(SootMethod.java:134)
at java.base/java.lang.Iterable.forEach(Iterable.java:75)
at de.upb.swt.soot.test.java.bytecode.Soot1577.test(Soot1577.java:30)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:78)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:567)
at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:50)
at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:47)
at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:325)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:78)
at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:57)
at org.junit.runners.ParentRunner$3.run(ParentRunner.java:290)
at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:71)
at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:288)
at org.junit.runners.ParentRunner.access$000(ParentRunner.java:58)
at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:268)
at org.junit.runners.ParentRunner.run(ParentRunner.java:363)
at org.junit.runner.JUnitCore.run(JUnitCore.java:137)
at com.intellij.junit4.JUnit4IdeaTestRunner.startRunnerWithArgs(JUnit4IdeaTestRunner.java:69)
at com.intellij.rt.junit.IdeaTestRunner$Repeater.startRunnerWithArgs(IdeaTestRunner.java:33)
at com.intellij.rt.junit.JUnitStarter.prepareStreamsAndStart(JUnitStarter.java:221)
at com.intellij.rt.junit.JUnitStarter.main(JUnitStarter.java:54)
Caused by: java.lang.RuntimeException: nop: must have '1' outgoing flow but has '2'.
at de.upb.swt.soot.core.graph.StmtGraph.validateStmtConnectionsInGraph(StmtGraph.java:296)
at de.upb.swt.soot.core.model.Body$BodyBuilder.build(Body.java:663)
... 28 more