Also affects Allegro (acl-8.2a-linux-x64), but does not appear to involve macro expansion of RETURN:
Test ITERATE.TEST::CODE-MOVEMENT.ELSE failed Form: (HANDLER-CASE (MACROEXPAND (QUOTE (ITERATE:ITER (ITERATE:FOR ITERATE.TEST::I ITERATE.TEST::FROM 1 ITERATE.TEST::TO 10) (LET ((ITERATE.TEST::X 3)) (ITERATE:ELSE (RETURN ITERATE.TEST::X)))))) (ERROR NIL T) (:NO-ERROR (ITERATE.TEST::F ITERATE.TEST::X) (DECLARE (IGNORE ITERATE.TEST::F ITERATE.TEST::X)) NIL)) Expected value: T Actual value: NIL.
Also affects Allegro (acl-8. 2a-linux- x64), but does not appear to involve macro expansion of RETURN:
Test ITERATE. TEST::CODE- MOVEMENT. ELSE failed TEST::X) ))))) (ERROR NIL T) (:NO-ERROR (ITERATE.TEST::F ITERATE.TEST::X) (DECLARE (IGNORE ITERATE.TEST::F ITERATE.TEST::X)) NIL))
Form: (HANDLER-CASE (MACROEXPAND (QUOTE (ITERATE:ITER (ITERATE:FOR ITERATE.TEST::I ITERATE.TEST::FROM 1 ITERATE.TEST::TO 10) (LET ((ITERATE.TEST::X 3)) (ITERATE:ELSE (RETURN ITERATE.
Expected value: T
Actual value: NIL.