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 00000000..0004
  0000: aload_0 // 00
  0001: invokespecial method{java.lang.Object.<init>:()V}
  next 0004
block 00040004..0005
  0004: return
  returns

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Messung V0.5 in Prozent
C=95 H=86 G=90

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-27) ¤

*© 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.