Changeset 11853 for trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp

Timestamp:

05/10/09 21:21:44 (15 years ago)

Author:

ehuelsmann

Message:

Restore closure variables from their saved values,
in case of a non-local transfer of control (ie,
a Java exception), such as GO or RETURN-FROM in
the callee.

File:

• trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp (modified) (3 diffs)

trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp

@@ -3021 +3021 @@
          (local-function (find-local-function op))
          (*register* *register*)
-         (saved-vars '()))
+         (saved-vars '())
+         (label-START (gensym))
+         (label-END (gensym))
+         (label-EXIT (gensym)))
     (cond ((local-function-variable local-function)
            ;; LABELS
@@ -3032 +3035 @@
                                     *visible-variables*))))
 ;;            (emit 'var-ref (local-function-variable local-function) 'stack)
+           (when saved-vars
+             (label label-START))
            (compile-var-ref (make-var-ref (local-function-variable local-function)) 'stack nil))
           (t
@@ -3050 +3055 @@
     (emit-move-from-stack target representation)
     (when saved-vars
-      (restore-variables saved-vars)))
+      (emit 'goto label-EXIT)
+      (label label-END)
+      (restore-variables saved-vars)
+      (emit 'athrow)
+      (label label-EXIT)
+      (restore-variables saved-vars)
+      (push (make-handler :from label-START
+                          :to label-END
+                          :code label-END
+                          :catch-type 0) *handlers*)))
   t)