Wanted: Compile-time reporting of RETURN-FROMs that can only be (incorrectly) invoked outside the dynamic extent of the corresponding BLOCK

Bug #772039 reported by Jean-Philippe Paradis
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Triaged
Wishlist
Unassigned

Bug Description

The following currently compiles successfully silently:

(defun broken ()
  (lambda () (return-from broken)))

Since calling the result of (broken) necessarily always has undefined consequences, I think at least issuing a compile-time WARNING for the above form would be appropriate.

Revision history for this message
Nikodemus Siivola (nikodemus) wrote :
Changed in sbcl:
importance: Undecided → Wishlist
status: New → In Progress
Changed in sbcl:
status: In Progress → Triaged
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.