java.lang.VerifyError with PROGN

Eric Marsden eric.marsden at
Wed Dec 18 14:00:30 UTC 2019

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).


More information about the armedbear-devel mailing list