Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Android/dalvik/dalvik/dx/tests/031-bb-dead-code/   (Android Betriebssystem Version 17©)  Datei vom 26.5.2026 mit Größe 3 kB image not shown  

Quelle  expected.txt   Sprache: Text

 

reading blort.class...
method <init> ()V
block 0000: 0000..0004
  0000: aload_0 // 00
  0001: invokespecial method{java.lang.Object.<init>:()V}
  next 0004
block 0004: 0004..0005
  0004: return
  returns

method test_deadend1 ()V
block 0000: 0000..0001
  0000: return
  returns
dead code 0001..0002

method test_deadend2 ()V
block 0000: 0000..0001
  0000: ireturn
  returns
dead code 0001..0003

method test_deadend3 ()V
block 0000: 0000..0002
  0000: aconst_null
  0001: athrow
  returns
dead code 0002..0005

method test_dead_exception_handler ()V
block 0000: 0000..0001
  0000: return
  returns
dead code 0001..0007

method test_dead_goto ()V
block 0000: 0000..0003
  0000: goto 0004
  next 0004
dead code 0003..0004
block 0004: 0004..0005
  0004: return
  returns

method test_dead_ret ()V
block 0000: 0000..0003
  0000: ifeq 0006
  next 0003
  next 0006
block 0003: 0003..0005
  0003: ret 00
  returns
dead code 0005..0006
block 0006: 0006..0007
  0006: return
  returns

method test_dead_tableswitch ()V
block 0000: 0000..0014
  0000: tableswitch
    default: 001b
  next 001b
dead code 0014..001b
block 001b: 001b..001c
  001b: return
  returns

method test_dead_lookupswitch ()V
block 0000: 0000..001c
  0000: lookupswitch
    default: 001e
  next 001e
dead code 001c..001e
block 001e: 001e..001f
  001e: return
  returns

method test_dead_ireturn ()V
block 0000: 0000..0003
  0000: ifeq 0005
  next 0003
  next 0005
block 0003: 0003..0004
  0003: ireturn
  returns
dead code 0004..0005
block 0005: 0005..0006
  0005: return
  returns

method test_dead_lreturn ()V
block 0000: 0000..0003
  0000: ifeq 0005
  next 0003
  next 0005
block 0003: 0003..0004
  0003: lreturn
  returns
dead code 0004..0005
block 0005: 0005..0006
  0005: return
  returns

method test_dead_freturn ()V
block 0000: 0000..0003
  0000: ifeq 0005
  next 0003
  next 0005
block 0003: 0003..0004
  0003: freturn
  returns
dead code 0004..0005
block 0005: 0005..0006
  0005: return
  returns

method test_dead_dreturn ()V
block 0000: 0000..0003
  0000: ifeq 0005
  next 0003
  next 0005
block 0003: 0003..0004
  0003: dreturn
  returns
dead code 0004..0005
block 0005: 0005..0006
  0005: return
  returns

method test_dead_areturn ()V
block 0000: 0000..0003
  0000: ifeq 0005
  next 0003
  next 0005
block 0003: 0003..0004
  0003: areturn
  returns
dead code 0004..0005
block 0005: 0005..0006
  0005: return
  returns

method test_dead_return ()V
block 0000: 0000..0003
  0000: ifeq 0005
  next 0003
  next 0005
block 0003: 0003..0004
  0003: return
  returns
dead code 0004..0005
block 0005: 0005..0006
  0005: return
  returns

method test_dead_athrow ()V
block 0000: 0000..0003
  0000: ifeq 0005
  next 0003
  next 0005
block 0003: 0003..0004
  0003: athrow
  returns
dead code 0004..0005
block 0005: 0005..0006
  0005: return
  returns

method test_dead_wideret ()V
block 0000: 0000..0003
  0000: ifeq 0008
  next 0003
  next 0008
block 0003: 0003..0007
  0003: wide ret 0100
  returns
dead code 0007..0008
block 0008: 0008..0009
  0008: return
  returns

method test_dead_goto_w ()V
block 0000: 0000..0005
  0000: goto_w 00000006
  next 0006
dead code 0005..0006
block 0006: 0006..0007
  0006: return
  returns

Messung V0.5 in Prozent
C=93 H=96 G=94

¤ Dauer der Verarbeitung: 0.2 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.