From d7ca55383f3839e1da067f81255a8de0a653b703 Mon Sep 17 00:00:00 2001
From: DeaDDooMER <deaddoomer@deadsoftware.ru>
Date: Tue, 29 Sep 2015 21:04:20 +0300
Subject: [PATCH] Fix preverification error on jvm when used procedure types
---
gpcp/JavaMaker.cp | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gpcp/JavaMaker.cp b/gpcp/JavaMaker.cp
index 23abf98..0a9d699 100644
--- a/gpcp/JavaMaker.cp
+++ b/gpcp/JavaMaker.cp
@@ -385,6 +385,7 @@ MODULE JavaMaker;
VAR pType : Ty.Procedure; (* The procedure type that is being emitted *)
proxy : Ty.Record; (* The record that stands for the proc-type *)
invoke : Id.MthId; (* The abstract invoke method for this *)
+ junk : INTEGER;
BEGIN
pType := this.prcT;
proxy := pType.hostClass;
@@ -396,6 +397,11 @@ MODULE JavaMaker;
out.RecMakeInit(proxy, NIL);
out.CallSuperCtor(proxy, NIL);
out.VoidTail();
+
+ out.CopyProcHead(proxy);
+ junk := out.newLocal();
+ junk := out.newLocal();
+ out.VoidTail();
(* Emit the abstract Invoke method *)
invoke := Ju.getProcVarInvoke(pType);
--
2.29.2