New subject: [armedbear-devel] BUG: Stack inconsistency (java.lang.VerifyError)

5 Sep 2011


      Hi,
Attempting to use ABCL to build a current development checkout of SBCL on Linux/i686, I encountered the following error. 
ABCL builds SBCL on Linux/AMD64 correctly, with the same openjdk version.
------------------ file foo.lisp ------------------------------------------
(in-package :cl-user)
(defun symbolicate (&rest things)
    (let* ((length (reduce #'+ things
                           :key (lambda (x) (length (string x)))))
           (name (make-array length :element-type 'character)))
      (let ((index 0))
        (dolist (thing things (values (intern name)))
          (let* ((x (string thing))
                 (len (length x)))
            (replace name x :start1 index)
            (incf index len))))))
(macrolet ((def (name &optional variant)
             `(defun ,(if variant (symbolicate name "/" variant) name)
                  (function mutex)
                (declare (function function))
                (flet ((%call-with-system-mutex ()
                         (dx-let (got-it)
                           (unwind-protect
                                (when (setf got-it (get-mutex mutex))
                                  (funcall function))
                             (when got-it
                               (release-mutex mutex))))))
                  (declare (inline %call-with-system-mutex))
                  ,(ecase variant
                     (:without-gcing
                       `(without-gcing (%call-with-system-mutex)))
                     (:allow-with-interrupts
                       `(without-interrupts
                          (allow-with-interrupts (%call-with-system-mutex))))
                     ((nil)
                      `(without-interrupts (%call-with-system-mutex))))))))
  (def call-with-system-mutex)
  (def call-with-system-mutex :without-gcing)
  (def call-with-system-mutex :allow-with-interrupts))
----------------------
Armed Bear Common Lisp 0.13.0-dev
Java 1.6.0_23 Sun Microsystems Inc.
OpenJDK Server VM
Low-level initialization completed in 0.344 seconds.
Startup completed in 1.453 seconds.
Type ":help" for a list of available commands.
CL-USER(1): (compile-file "/tmp/foo")
; Compiling /tmp/foo.lisp ...
; (IN-PACKAGE :CL-USER)
; (DEF CALL-WITH-SYSTEM-MUTEX)
; in (MACROLET (#) ...)
; Caught STYLE-WARNING:
;   Undefined variable: GOT-IT
Stack inconsistency at index 63: found 3, expected 1.
java.lang.VerifyError: (class: org/armedbear/lisp/foo_1, method: execute signature: (Lorg/armedbear/lisp/LispObject;Lorg/armedbear/lisp/LispObject;)Lorg/armedbear/lisp/LispObject;) Inconsistent stack height 1 != 3
    at java.lang.Class.getDeclaredConstructors0(Native Method)
    at java.lang.Class.privateGetDeclaredConstructors(Class.java:2406)
    at java.lang.Class.getConstructor0(Class.java:2716)
    at java.lang.Class.getConstructor(Class.java:1674)
    at org.armedbear.lisp.Lisp.loadCompiledFunction(Lisp.java:1147)
    at org.armedbear.lisp.Lisp.loadCompiledFunction(Lisp.java:1074)
    at org.armedbear.lisp.CompiledFunction$1.execute(CompiledFunction.java:186)
    at org.armedbear.lisp.Symbol.execute(Symbol.java:720)
    at org.armedbear.lisp.LispThread.execute(LispThread.java:638)
    at org.armedbear.lisp.compile_file_4.execute(compile-file.lisp:63)
    at org.armedbear.lisp.Symbol.execute(Symbol.java:720)
    at org.armedbear.lisp.LispThread.execute(LispThread.java:638)
    at org.armedbear.lisp.compile_file_8.execute(compile-file.lisp:103)
    at org.armedbear.lisp.LispThread.execute(LispThread.java:680)
Eric