From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kawa-return-5747-listarch-kawa=sources.redhat.com@sourceware.org>
Received: (qmail 3953 invoked by alias); 30 Dec 2014 01:19:50 -0000
Mailing-List: contact kawa-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <kawa.sourceware.org>
List-Subscribe: <mailto:kawa-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/kawa/>
List-Post: <mailto:kawa@sourceware.org>
List-Help: <mailto:kawa-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: kawa-owner@sourceware.org
Received: (qmail 3928 invoked by uid 89); 30 Dec 2014 01:19:47 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2
X-HELO: terror.hungry.com
Received: from terror.hungry.com (HELO terror.hungry.com) (199.181.107.40) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Tue, 30 Dec 2014 01:19:44 +0000
Received: from [192.168.1.64] ([23.125.129.98])  (AUTH: PLAIN alves, SSL: TLSv1/SSLv3,128bits,AES128-SHA)  by terror.hungry.com with ESMTPSA; Mon, 29 Dec 2014 17:19:32 -0800  id 000723CD.0000000054A1FDA9.000054C8
Message-ID: <54A1FDA7.7050200@hungry.com>
Date: Tue, 30 Dec 2014 01:19:00 -0000
From: Seth Alves <alves@hungry.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="=_terror.hungry.com-21704-1419902377-0001-2"
To: kawa@sourceware.org
Subject: java.lang.VerifyError exception
X-IsSubscribed: yes
X-SW-Source: 2014-q4/txt/msg00174.txt.bz2

This is a MIME-formatted message.  If you see this text it means that your
E-mail software does not support MIME-formatted messages.

--=_terror.hungry.com-21704-1419902377-0001-2
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-length: 1287

Here is a boiled-down snippet of nonsense code (it started as part of 
the snow zlib package).

     -seth

$ ./test-kawa.scm
Exception in thread "main" java.lang.VerifyError: Bad local variable type
Exception Details:
   Location:
     fuh$frame.lambda1loop()Ljava/lang/Object; @13: aload_2
   Reason:
     Type top (current frame, locals[2]) is not assignable to reference type
   Current Frame:
     bci: @13
     flags: { }
     locals: { 'fuh$frame', 'fuh$frame0' }
     stack: { }
   Bytecode:
     0000000: bb00 0459 b700 0859 2ab5 000c 4c2c 1008
     0000010: b800 124d 2b05 bd00 1459 03b2 001a 5359
     0000020: 04b2 001e 53b8 0024 b600 28b0

     at fuh.gunzipGenport(test-kawa.scm:11)
     at fuh.apply0(test-kawa.scm:11)
     at gnu.expr.ModuleMethod.apply0(ModuleMethod.java:186)
     at gnu.expr.ModuleMethod.apply(ModuleMethod.java:160)
     at gnu.mapping.CallContext.runUntilDone(CallContext.java:234)
     at test$Mnkawa.run(test-kawa.scm:34)
     at gnu.expr.ModuleExp.evalModule2(ModuleExp.java:317)
     at gnu.expr.CompiledModule.evalModule(CompiledModule.java:42)
     at gnu.expr.CompiledModule.evalModule(CompiledModule.java:61)
     at kawa.Shell.runFile(Shell.java:538)
     at kawa.Shell.runFileOrClass(Shell.java:447)
     at kawa.repl.main(repl.java:881)


--=_terror.hungry.com-21704-1419902377-0001-2
Content-Type: text/x-scheme; name="test-kawa.scm"; charset=iso-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="test-kawa.scm"
Content-length: 701

#! /bin/sh
#| -*- scheme -*-
exec /usr/local/bin/kawa $0 "$@"
|#

(define-library (fuh)
  (export gunzip-genport)
  (import (scheme base))
  (begin

    (define (gunzip-genport)

      (define bk 0) 

      (define (inflate-codes bl)
        (set! bk (+ bk 8)))

      (define (inflate-dynamic)
        (inflate-codes 7))

      (let loop ()
        (inflate-dynamic)
        (let laap ((res (vector 'return #f)))
          (let ((state (vector-ref res 0))
                (r (vector-ref res 1)))
            (case state
              ((return)
               (if r (loop) #f))
              ((flush)
               (lambda () (laap #f))))))))))

(import (scheme base)
        (fuh))
(gunzip-genport)

--=_terror.hungry.com-21704-1419902377-0001-2--