This is the mail archive of the kawa@sourceware.cygnus.com mailing list for the Kawa project. See the Kawa home page for more information.

[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index] [Subject Index] [Author Index] [Thread Index]

kawa-1.6.55, unreachable basic block

Hi Per,

the following S-expr generate an unreacheable basic block:

(cond (#t) (3 4))

unreachable basic block pc [23:25]

Method public final Object run(gnu.mapping.Environment)
>> max_stack=2, max_locals=3 <<
    0 getstatic #12 <Field kawa.lang.Interpreter.trueObject:Boolean>
    3 astore_2
    4 aload_2
    5 getstatic #15 <Field kawa.lang.Interpreter.falseObject:Boolean>
    8 if_acmpeq 15
   11 aload_2
   12 goto 26
   15 getstatic #21 <Field atInteractiveLevel0.literals:Object[]>
   18 iconst_0
   19 aaload
   20 goto 26
   23 getstatic #25 <Field kawa.lang.Interpreter.voidObject:Object>
   26 areturn
Line number table:
    pc   line
     0      1
Local variable table:
  start length   slot
     0     27      0  this:atInteractiveLevel0
     0     27      1  theEnvironment:gnu.mapping.Environment
     0     26      2  GS_002e1:Object


Edouard