The value #<BOGUS object @ #xFFFFFFF800000007> is not of the expected type (UNSIGNED-BYTE 32).
The value xFFFFFFF800000007 shows in (disassemble #'t1).
If the type declaration is removed, then there's no error. There's also no error if the nested SETELT_U32 is rewrite as 2 consecutive SETELT_U32 with the help of a temp variable.
So I guess this bug happens somewhere in the compiler's optimizer.
Minimal reproducible example:
When running t1 with simple arguments:
If I redefine error handler, I can get:
The value
xFFFFFFF800000007
shows in(disassemble #'t1)
.If the type declaration is removed, then there's no error. There's also no error if the nested
SETELT_U32
is rewrite as 2 consecutiveSETELT_U32
with the help of a temp variable.So I guess this bug happens somewhere in the compiler's optimizer.