Opcodes.RET should be processed by visitVarInsn instead of visitInsn (#1512)

Author: Godin

org.jacoco.core.test/src/org/jacoco/core/internal/flow/LabelFlowAnalyzerTest.java

@@ -264,11 +264,6 @@ private void testInsn(int opcode, boolean expected) {
 		assertFalse(analyzer.first);
 	}
 
-	@Test(expected = AssertionError.class)
-	public void testVisitInsnNegative() {
-		analyzer.visitInsn(RET);
-	}
-
 	@Test
 	public void testIntInsn() {
 		analyzer.visitIntInsn(BIPUSH, 0);
@@ -283,6 +278,11 @@ public void testVarInsn() {
 		assertFalse(analyzer.first);
 	}
 
+	@Test(expected = AssertionError.class)
+	public void testVisitVarInsnNegative() {
+		analyzer.visitVarInsn(RET, 0);
+	}
+
 	@Test
 	public void testTypeInsn() {
 		analyzer.visitTypeInsn(NEW, "java/lang/String");

org.jacoco.core/src/org/jacoco/core/internal/flow/LabelFlowAnalyzer.java

@@ -137,8 +137,6 @@ private static void setTargetIfNotDone(final Label label) {
 	@Override
 	public void visitInsn(final int opcode) {
 		switch (opcode) {
-		case Opcodes.RET:
-			throw new AssertionError("Subroutines not supported.");
 		case Opcodes.IRETURN:
 		case Opcodes.LRETURN:
 		case Opcodes.FRETURN:
@@ -163,6 +161,9 @@ public void visitIntInsn(final int opcode, final int operand) {
 
 	@Override
 	public void visitVarInsn(final int opcode, final int var) {
+		if (Opcodes.RET == opcode) {
+			throw new AssertionError("Subroutines not supported.");
+		}
 		successor = true;
 		first = false;
 	}