Re: java.lang.VerifyError with PROGN

somewhat-functional-programmer <[email protected]> Wed, 18 Dec 2019 23:29:33 +0000
Newsgroups gmane.editors.j.devel
Message-ID <nzVU7InNOgKUJ1O_9EO8SFr9xbwySV4W_-TXoFfRWsNsm0SvVpbjxRvvLsoKBM1xp-TgsNHsVQBtIZBLliIHMMadSaCRhUKQOm1TaThwXJY=__17324.0145015129$1576711812$gmane$org@protonmail.com>
Glad to hear it, I appreciate you trying it again.  I'll try to go through the building of SBCL myself too -- it's really a blessing to have these types of existing resources already available to help test (the ansi-test suite is also fantastic).

Again, sorry for the trouble,

-Mark

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Wednesday, December 18, 2019 2:00 PM, Eric Marsden <[email protected]> wrote:

> On 18/12/2019 02:17, somewhat-functional-programmer wrote:
>
> > Patch attached that should fix this issue. Root cause: when I added the with-operand-accumulation forms for opstack safety (to fix the stack inconsistency bug reported in #69 [0]), I had incorrect types specified in some of the p2-ash code paths. The form (ash 1343225879 (- 1)) also was not being compiled as a constant, and took a code path to actually calculate the shift based on the -1 constant.
>
> Thanks, I can confirm that this fixes the problem, and in fact with this
> patch ABCL can build current SBCL (tested on Linux/AMD64).
>
> Eric