/*******************************************************************************
* Copyright (c) 2009, 2017 Mountainminds GmbH & Co. KG and Contributors
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Evgeny Mandrikov - initial API and implementation
*
*******************************************************************************/
package org.jacoco.core.internal.analysis.filter;
import static org.junit.Assert.assertEquals;
import java.util.ArrayList;
import java.util.List;
import org.jacoco.core.internal.instr.InstrSupport;
import org.junit.Test;
import org.objectweb.asm.Label;
import org.objectweb.asm.Opcodes;
import org.objectweb.asm.tree.AbstractInsnNode;
import org.objectweb.asm.tree.MethodNode;
public class TryWithResourcesJavacFilterTest implements IFilterOutput {
private final TryWithResourcesJavacFilter filter = new TryWithResourcesJavacFilter();
private final MethodNode m = new MethodNode(InstrSupport.ASM_API_VERSION, 0,
"name", "()V", null, null);
/**
* javac 9 for
*
* <pre>
* try (r0 = open(...); r1 = new ...) {
* return ...
* } finally {
* ...
* }
* </pre>
*
* generates
*
* <pre>
* ...
* ASTORE r0
* ACONST_NULL
* ASTORE primaryExc0
*
* ...
* ASTORE r1
* ACONST_NULL
* ASTORE primaryExc1
*
* ... // body
*
* ALOAD primaryExc1
* ALOAD r1
* INVOKESTATIC $closeResource:(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V
*
* ALOAD r0
* IFNULL n
* ALOAD primaryExc0
* ALOAD r0
* INVOKESTATIC $closeResource:(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V
* n:
*
* ... // finally on normal path
* ARETURN
*
* ASTORE t
* ALOAD t
* ASTORE primaryExc1
* ALOAD t
* ATHROW
*
* ASTORE t
* ALOAD primaryExc1
* ALOAD r1
* INVOKESTATIC $closeResource:(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V
* ALOAD t
* ATHROW
*
* ASTORE t
* ALOAD t
* ASTORE primaryExc0
* ALOAD t
* ATHROW
*
* ASTORE t
* ALOAD r0
* IFNULL n
* ALOAD primaryExc0
* ALOAD r0
* INVOKESTATIC $closeResource:(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V
* n:
* ALOAD t
* ATHROW
*
* ... // additional handlers for catch blocks and finally on exceptional path
* </pre>
*/
@Test
public void javac9() {
final Range range0 = new Range();
final Range range1 = new Range();
final Range range2 = new Range();
final Range range3 = new Range();
final Label handler1 = new Label();
m.visitTryCatchBlock(handler1, handler1, handler1,
"java/lang/Throwable");
final Label handler2 = new Label();
m.visitTryCatchBlock(handler2, handler2, handler2,
"java/lang/Throwable");
// r0 = open(...)
m.visitVarInsn(Opcodes.ASTORE, 1);
// primaryExc0 = null
m.visitInsn(Opcodes.ACONST_NULL);
m.visitVarInsn(Opcodes.ASTORE, 2);
// r1 = new ..
m.visitVarInsn(Opcodes.ASTORE, 3);
// primaryExc1 = null
m.visitInsn(Opcodes.ACONST_NULL);
m.visitVarInsn(Opcodes.ASTORE, 4);
// body
m.visitInsn(Opcodes.NOP);
m.visitInsn(Opcodes.ACONST_NULL);
m.visitVarInsn(Opcodes.ASTORE, 5);
// $closeResource(primaryExc1, r1)
m.visitVarInsn(Opcodes.ALOAD, 4);
range0.fromInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitMethodInsn(Opcodes.INVOKESTATIC, "Fun", "$closeResource",
"(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V", false);
range0.toInclusive = m.instructions.getLast();
// if (r0 != null)
m.visitVarInsn(Opcodes.ALOAD, 1);
range2.fromInclusive = m.instructions.getLast();
final Label l11 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l11);
// $closeResource(primaryExc0, r0)
m.visitVarInsn(Opcodes.ALOAD, 2);
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKESTATIC, "Fun", "$closeResource",
"(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V", false);
range2.toInclusive = m.instructions.getLast();
m.visitLabel(l11);
// finally
m.visitInsn(Opcodes.NOP);
m.visitVarInsn(Opcodes.ALOAD, 5);
m.visitInsn(Opcodes.ARETURN);
// catch (Throwable t)
m.visitLabel(handler1);
range1.fromInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ASTORE, 5);
// primaryExc1 = t
m.visitVarInsn(Opcodes.ALOAD, 5);
m.visitVarInsn(Opcodes.ASTORE, 4);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 5);
m.visitInsn(Opcodes.ATHROW);
// catch (any t)
m.visitVarInsn(Opcodes.ASTORE, 6);
// $closeResource(primaryExc1, r1)
m.visitVarInsn(Opcodes.ALOAD, 4);
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitMethodInsn(Opcodes.INVOKESTATIC, "Fun", "$closeResource",
"(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V", false);
m.visitVarInsn(Opcodes.ALOAD, 6);
m.visitInsn(Opcodes.ATHROW);
range1.toInclusive = m.instructions.getLast();
// catch (Throwable t)
m.visitLabel(handler2);
range3.fromInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ASTORE, 3);
// primaryExc0 = t
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitVarInsn(Opcodes.ASTORE, 2);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitInsn(Opcodes.ATHROW);
// catch (any t)
m.visitVarInsn(Opcodes.ASTORE, 7);
// if (r0 != null)
m.visitVarInsn(Opcodes.ALOAD, 1);
final Label l14 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l14);
// $closeResource(primaryExc0, r0)
m.visitVarInsn(Opcodes.ALOAD, 2);
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKESTATIC, "Fun", "$closeResource",
"(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V", false);
m.visitLabel(l14);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 7);
m.visitInsn(Opcodes.ATHROW);
range3.toInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ASTORE, 8);
// finally
m.visitInsn(Opcodes.NOP);
m.visitVarInsn(Opcodes.ALOAD, 8);
m.visitInsn(Opcodes.ATHROW);
filter.filter("Foo", "java/lang/Object", m, this);
assertEquals(4, from.size());
assertEquals(range0.fromInclusive, from.get(0));
assertEquals(range0.toInclusive, to.get(0));
assertEquals(range1.fromInclusive, from.get(1));
assertEquals(range1.toInclusive, to.get(1));
assertEquals(range2.fromInclusive, from.get(2));
assertEquals(range2.toInclusive, to.get(2));
assertEquals(range3.fromInclusive, from.get(3));
assertEquals(range3.toInclusive, to.get(3));
}
/**
* javac 7 and 8 for
*
* <pre>
* try (r0 = ...; r1 = ...) {
* return ...
* } finally {
* ...
* }
* </pre>
*
* generate
*
* <pre>
* ...
* ASTORE r0
* ACONST_NULL
* ASTORE primaryExc0
*
* ...
* ASTORE r1
* ACONST_NULL
* ASTORE primaryExc1
*
* ... // body
*
* ALOAD r1
* IFNULL n
* ALOAD primaryExc1
* IFNULL c
* ALOAD r1
* INVOKEINTERFACE close:()V
* GOTO n
* ASTORE t
* ALOAD primaryExc1
* ALOAD t
* INVOKEVIRTUAL java/lang/Throwable.addSuppressed:(Ljava/lang/Throwable;)V
* GOTO n
* c:
* ALOAD r1
* INVOKEINTERFACE close:()V
* n:
*
* ALOAD r0
* IFNULL n
* ALOAD primaryExc0
* IFNULL c
* ALOAD r0
* INVOKEVIRTUAL close:()V
* GOTO n
* ASTORE t
* ALOAD primaryExc0
* ALOAD t
* INVOKEVIRTUAL java/lang/Throwable.addSuppressed:(Ljava/lang/Throwable;)V
* GOTO n
* c:
* ALOAD r0
* INVOKEVIRTUAL close:()V
* n:
*
* ... // finally on normal path
* ARETURN
*
* ASTORE t
* ALOAD t
* ASTORE primaryExc1
* ALOAD t
* ATHROW
*
* ASTORE t1
* ALOAD r1
* IFNULL e
* ALOAD primaryExc1
* IFNULL c
* ALOAD r1
* INVOKEINTERFACE close:()V
* GOTO e
* ASTORE t2
* ALOAD primaryExc1
* ALOAD t2
* INVOKEVIRTUAL java/lang/Throwable.addSuppressed:(Ljava/lang/Throwable;)V
* GOTO e
* c:
* ALOAD r1
* INVOKEINTERFACE close:()V
* e:
* ALOAD t1
* ATHROW
*
* ASTORE t
* ALOAD t
* ASTORE primaryExc0
* ALOAD t
* ATHROW
*
* ASTORE t1
* ALOAD r0
* IFNULL e
* ALOAD primaryExc0
* IFNULL c
* ALOAD r0
* INVOKEVIRTUAL close:()V
* GOTO e
* ASTORE t2
* ALOAD primaryExc0
* ALOAD t2
* INVOKEVIRTUAL java/lang/Throwable.addSuppressed:(Ljava/lang/Throwable;)V
* GOTO e
* c:
* ALOAD r0
* INVOKEVIRTUAL close:()V
* e:
* ALOAD t1
* ATHROW
*
* ... // additional handlers for catch blocks and finally on exceptional path
* </pre>
*/
@Test
public void javac_7_8() {
final Range range0 = new Range();
final Range range1 = new Range();
final Range range2 = new Range();
final Range range3 = new Range();
final Label handler1 = new Label();
m.visitTryCatchBlock(handler1, handler1, handler1,
"java/lang/Throwable");
final Label handler2 = new Label();
m.visitTryCatchBlock(handler2, handler2, handler2,
"java/lang/Throwable");
// r1 = ...
m.visitVarInsn(Opcodes.ASTORE, 1);
// primaryExc1 = null
m.visitInsn(Opcodes.ACONST_NULL);
m.visitVarInsn(Opcodes.ASTORE, 2);
// r2 = ...
m.visitVarInsn(Opcodes.ASTORE, 3);
// primaryExc2 = null
m.visitInsn(Opcodes.ACONST_NULL);
m.visitVarInsn(Opcodes.ASTORE, 4);
// body
m.visitInsn(Opcodes.NOP);
m.visitInsn(Opcodes.ACONST_NULL);
m.visitVarInsn(Opcodes.ASTORE, 5);
final Label l15 = new Label();
// if (r2 != null)
m.visitVarInsn(Opcodes.ALOAD, 3);
range0.fromInclusive = m.instructions.getLast();
m.visitJumpInsn(Opcodes.IFNULL, l15);
// if (primaryExc2 != null)
m.visitVarInsn(Opcodes.ALOAD, 4);
final Label l26 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l26);
// r2.close
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitMethodInsn(Opcodes.INVOKEINTERFACE, "Fun$Resource2", "close",
"()V", false);
m.visitJumpInsn(Opcodes.GOTO, l15);
m.visitVarInsn(Opcodes.ASTORE, 6);
m.visitVarInsn(Opcodes.ALOAD, 4);
m.visitVarInsn(Opcodes.ALOAD, 6);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Throwable",
"addSuppressed", "(Ljava/lang/Throwable;)V", false);
m.visitJumpInsn(Opcodes.GOTO, l15);
m.visitLabel(l26);
// r2.close
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitMethodInsn(Opcodes.INVOKEINTERFACE, "Fun$Resource2", "close",
"()V", false);
range0.toInclusive = m.instructions.getLast();
m.visitLabel(l15);
// if (r1 != null)
m.visitVarInsn(Opcodes.ALOAD, 1);
range2.fromInclusive = m.instructions.getLast();
final Label l23 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l23);
// if (primaryExc1 != null)
m.visitVarInsn(Opcodes.ALOAD, 2);
final Label l27 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l27);
// r1.close
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Fun$Resource1", "close",
"()V", false);
m.visitJumpInsn(Opcodes.GOTO, l23);
m.visitVarInsn(Opcodes.ASTORE, 6);
m.visitVarInsn(Opcodes.ALOAD, 2);
m.visitVarInsn(Opcodes.ALOAD, 6);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Throwable",
"addSuppressed", "(Ljava/lang/Throwable;)V", false);
m.visitJumpInsn(Opcodes.GOTO, l23);
m.visitLabel(l27);
// r1.close
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Fun$Resource1", "close",
"()V", false);
range2.toInclusive = m.instructions.getLast();
m.visitLabel(l23);
// finally
m.visitInsn(Opcodes.NOP);
m.visitInsn(Opcodes.ARETURN);
// catch (Throwable t)
m.visitLabel(handler1);
range1.fromInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ASTORE, 5);
// primaryExc2 = t
m.visitVarInsn(Opcodes.ALOAD, 5);
m.visitVarInsn(Opcodes.ASTORE, 4);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 5);
m.visitInsn(Opcodes.ATHROW);
// catch (any t)
m.visitVarInsn(Opcodes.ASTORE, 7);
// if (r2 != null)
m.visitVarInsn(Opcodes.ALOAD, 3);
final Label l28 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l28);
// if (primaryExc2 != null)
m.visitVarInsn(Opcodes.ALOAD, 4);
final Label l29 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l29);
// r2.close
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitMethodInsn(Opcodes.INVOKEINTERFACE, "Fun$Resource2", "close",
"()V", false);
m.visitJumpInsn(Opcodes.GOTO, l28);
m.visitVarInsn(Opcodes.ASTORE, 8);
m.visitVarInsn(Opcodes.ALOAD, 4);
m.visitVarInsn(Opcodes.ALOAD, 8);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Throwable",
"addSuppressed", "(Ljava/lang/Throwable;)V", false);
m.visitJumpInsn(Opcodes.GOTO, l28);
m.visitLabel(l29);
// r2.close
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitMethodInsn(Opcodes.INVOKEINTERFACE, "Fun$Resource2", "close",
"()V", false);
m.visitLabel(l28);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 7);
m.visitInsn(Opcodes.ATHROW);
range1.toInclusive = m.instructions.getLast();
// catch (Throwable t)
m.visitLabel(handler2);
range3.fromInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ASTORE, 3);
// primaryExc2 = t
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitVarInsn(Opcodes.ASTORE, 2);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitInsn(Opcodes.ATHROW);
// catch (any t)
m.visitVarInsn(Opcodes.ASTORE, 9);
// if (r1 != null)
m.visitVarInsn(Opcodes.ALOAD, 1);
final Label l30 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l30);
// if (primaryExc1 != null)
m.visitVarInsn(Opcodes.ALOAD, 2);
final Label l31 = new Label();
m.visitJumpInsn(Opcodes.IFNULL, l31);
// r1.close
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Fun$Resource1", "close",
"()V", false);
m.visitJumpInsn(Opcodes.GOTO, l30);
m.visitVarInsn(Opcodes.ASTORE, 10);
m.visitVarInsn(Opcodes.ALOAD, 2);
m.visitVarInsn(Opcodes.ALOAD, 10);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Throwable",
"addSuppressed", "(Ljava/lang/Throwable;)V", false);
m.visitJumpInsn(Opcodes.GOTO, l30);
m.visitLabel(l31);
// r1.close
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Fun$Resource1", "close",
"()V", false);
m.visitLabel(l30);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 9);
m.visitInsn(Opcodes.ATHROW);
range3.toInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ASTORE, 11);
// finally
m.visitInsn(Opcodes.NOP);
m.visitVarInsn(Opcodes.ALOAD, 11);
m.visitInsn(Opcodes.ATHROW);
filter.filter("Foo", "java/lang/Object", m, this);
assertEquals(4, from.size());
assertEquals(range0.fromInclusive, from.get(0));
assertEquals(range0.toInclusive, to.get(0));
assertEquals(range1.fromInclusive, from.get(1));
assertEquals(range1.toInclusive, to.get(1));
assertEquals(range2.fromInclusive, from.get(2));
assertEquals(range2.toInclusive, to.get(2));
assertEquals(range3.fromInclusive, from.get(3));
assertEquals(range3.toInclusive, to.get(3));
}
/**
* javac 9 for
*
* <pre>
* try (r = new ...) {
* ...
* } finally {
* ...
* }
* </pre>
*
* generates
*
* <pre>
* ...
* ASTORE r
* ACONST_NULL
* ASTORE primaryExc
*
* ... // body
*
* ALOAD primaryExc
* IFNULL c
* ALOAD r
* INVOKEVIRTUAL close:()V
* GOTO f
* ASTORE t
* ALOAD primaryExc
* ALOAD t
* NVOKEVIRTUAL java/lang/Throwable.addSuppressed:(Ljava/lang/Throwable;)V
* GOTO f
* c:
* ALOAD r
* INVOKEVIRTUAL close:()V
* GOTO f
*
* ASTORE t
* ALOAD t
* ASTORE primaryExc
* ALOAD t
* ATHROW
*
* ASTORE t
* ALOAD primaryExc
* IFNULL c
* ALOAD r
* INVOKEVIRTUAL close:()V
* GOTO L78
* ASTORE t2
* ALOAD primaryExc
* ALOAD t2
* INVOKEVIRTUAL java/lang/Throwable.addSuppressed:(Ljava/lang/Throwable;)V
* goto e
* c:
* ALOAD r
* INVOKEVIRTUAL close:()V
* e:
* ALOAD t
* ATHROW
*
* f:
* ... // finally on normal path
* ... // additional handlers for catch blocks and finally on exceptional path
* ...
* </pre>
*/
@Test
public void javac9_omitted_null_check() {
final Range range0 = new Range();
final Range range1 = new Range();
final Label handler = new Label();
m.visitTryCatchBlock(handler, handler, handler, "java/lang/Throwable");
// primaryExc = null
m.visitInsn(Opcodes.ACONST_NULL);
m.visitVarInsn(Opcodes.ASTORE, 1);
// r = new ...
m.visitInsn(Opcodes.NOP);
final Label end = new Label();
// "finally" on a normal path
{
// if (primaryExc != null)
m.visitVarInsn(Opcodes.ALOAD, 2);
range0.fromInclusive = m.instructions.getLast();
final Label closeLabel = new Label();
m.visitJumpInsn(Opcodes.IFNULL, closeLabel);
// r.close
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Resource", "close", "()V",
false);
m.visitJumpInsn(Opcodes.GOTO, end);
// catch (Throwable t)
m.visitVarInsn(Opcodes.ASTORE, 3);
// primaryExc.addSuppressed(t)
m.visitVarInsn(Opcodes.ALOAD, 2);
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Throwable",
"addSuppressed", "(Ljava/lang/Throwable;)V", false);
m.visitJumpInsn(Opcodes.GOTO, end);
m.visitLabel(closeLabel);
// r.close()
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Resource", "close", "()V",
false);
}
m.visitJumpInsn(Opcodes.GOTO, end);
range0.toInclusive = m.instructions.getLast();
// catch (Throwable t)
m.visitLabel(handler);
{
range1.fromInclusive = m.instructions.getLast();
m.visitVarInsn(Opcodes.ASTORE, 3);
// primaryExc = t
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitVarInsn(Opcodes.ASTORE, 2);
// throw t
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitInsn(Opcodes.ATHROW);
}
// catch (any t)
m.visitVarInsn(Opcodes.ASTORE, 4);
// "finally" on exceptional path
{
// if (primaryExc != null)
m.visitVarInsn(Opcodes.ALOAD, 2);
final Label closeLabel = new Label();
m.visitJumpInsn(Opcodes.IFNULL, closeLabel);
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Resource", "close", "()V",
false);
final Label finallyEndLabel = new Label();
m.visitJumpInsn(Opcodes.GOTO, finallyEndLabel);
// catch (Throwable t)
m.visitVarInsn(Opcodes.ASTORE, 5);
// primaryExc.addSuppressed(t)
m.visitVarInsn(Opcodes.ALOAD, 2);
m.visitVarInsn(Opcodes.ALOAD, 5);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "java/lang/Throwable",
"addSuppressed", "(Ljava/lang/Throwable;)V", false);
m.visitJumpInsn(Opcodes.GOTO, finallyEndLabel);
m.visitLabel(closeLabel);
// r.close()
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKEVIRTUAL, "Resource", "close", "()V",
false);
m.visitLabel(finallyEndLabel);
}
// throw t
m.visitVarInsn(Opcodes.ALOAD, 4);
m.visitInsn(Opcodes.ATHROW);
range1.toInclusive = m.instructions.getLast();
m.visitLabel(end);
filter.filter("Foo", "java/lang/Object", m, this);
assertEquals(2, from.size());
assertEquals(range0.fromInclusive, from.get(0));
assertEquals(range0.toInclusive, to.get(0));
assertEquals(range1.fromInclusive, from.get(1));
assertEquals(range1.toInclusive, to.get(1));
}
/**
* javac 9 for
*
* <pre>
* try (r = new ...) {
* throw ...
* }
* </pre>
*
* generates
*
* <pre>
* ...
* ASTORE r
* ACONST_NULL
* ASTORE primaryExc
*
* ...
* ATHROW
*
* ASTORE t
* ALOAD t
* ASTORE primaryExc
* ALOAD t
* ATHROW
*
* ASTORE t
* ALOAD primaryExc
* ALOAD r
* INVOKESTATIC $closeResource:(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V
* ALOAD t
* ATHROW
* </pre>
*/
@Test
public void only_exceptional_path() {
final Label start = new Label();
final Label handler = new Label();
m.visitTryCatchBlock(start, handler, handler, "java/lang/Throwable");
m.visitLabel(start);
m.visitInsn(Opcodes.ATHROW);
m.visitLabel(handler);
m.visitVarInsn(Opcodes.ASTORE, 3);
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitVarInsn(Opcodes.ASTORE, 2);
m.visitVarInsn(Opcodes.ALOAD, 3);
m.visitInsn(Opcodes.ATHROW);
m.visitVarInsn(Opcodes.ASTORE, 4);
m.visitVarInsn(Opcodes.ALOAD, 2);
m.visitVarInsn(Opcodes.ALOAD, 1);
m.visitMethodInsn(Opcodes.INVOKESTATIC, "Fun", "$closeResource",
"(Ljava/lang/Throwable;Ljava/lang/AutoCloseable;)V", false);
m.visitVarInsn(Opcodes.ALOAD, 4);
m.visitInsn(Opcodes.ATHROW);
filter.filter("Foo", "java/lang/Object", m, this);
assertEquals(0, from.size());
}
static class Range {
AbstractInsnNode fromInclusive;
AbstractInsnNode toInclusive;
}
private final List<AbstractInsnNode> from = new ArrayList<AbstractInsnNode>();
private final List<AbstractInsnNode> to = new ArrayList<AbstractInsnNode>();
public void ignore(AbstractInsnNode from, AbstractInsnNode to) {
this.from.add(from);
this.to.add(to);
}
}