reading Blort.class...
method <init> ()V
first 0007
block 0000
  pred 0005
  Blort.java:17@0001: Rop{invoke-direct . <- Ljava/lang/Object; call throws <any>}(java.lang.Object.<init>:()V catch) . <- v0:NffffLBlort;
  next 0006
block 0005
  pred 0007
  Blort.java:17@0000: move-param-object(0) v0:NffffLBlort; <- .
  Blort.java:17@0000: goto . <- .
  next 0000
block 0006
  pred 0000
  Blort.java:17@0004: return-void . <- .
  returns
block 0007
  @????: goto . <- .
  next 0005

method voidFunction ()V
first 0003
block 0001
  pred 0003
  Blort.java:23@0000: move-param-object(0) v0:LBlort; <- .
  Blort.java:23@0000: goto . <- .
  next 0002
block 0002
  pred 0001
  Blort.java:23@0000: return-void . <- .
  returns
block 0003
  @????: goto . <- .
  next 0001

method edgeSplitMoveException ()V
first 0019
block 0000
  pred 0010
  Blort.java:31@0001: Rop{invoke-virtual . <- Ljava/lang/Object; call throws <any>}(java.lang.Object.hashCode:()I catch java.lang.Throwable) . <- v1:LBlort;
  next 001a
  next 0004 *
block 0004
  pred 0000
  Blort.java:32@0006: Rop{invoke-virtual . <- Ljava/lang/Object; call throws <any>}(java.lang.Object.hashCode:()I catch java.lang.Throwable) . <- v1:LBlort;
  next 001a
  next 0011 *
block 0010
  pred 0019
  Blort.java:31@0000: move-param-object(0) v1:LBlort; <- .
  Blort.java:31@0000: goto . <- .
  next 0000
block 0011
  pred 0004
  pred 001a
  Blort.java:35@000e: return-void . <- .
  returns
block 0019
  @????: goto . <- .
  next 0010
block 001a
  pred 0000
  pred 0004
  Blort.java:33@000d: Rop{move-exception Ljava/lang/Throwable; <- . flows} v0:Ljava/lang/Throwable; <- .
  @????: goto . <- .
  next 0011

method infiniteLoop ()V
first 0002
block 0000
  pred 0000
  pred 0001
  Blort.java:41@0000: goto . <- .
  next 0000
block 0001
  pred 0002
  Blort.java:41@0000: move-param-object(0) v0:LBlort; <- .
  Blort.java:41@0000: goto . <- .
  next 0000
block 0002
  @????: goto . <- .
  next 0001
