Steel Bank Common Lisp

missing compiler warnings for type-errors

Reported by Nikodemus Siivola on 2008-12-17
2
Affects Status Importance Assigned to Milestone
SBCL
Medium
Unassigned

Bug Description

Compiler does not emit warnings for

  (lambda () (svref (make-array 8 :adjustable t) 1))

and

 (lambda (x)
    (declare (optimize (debug 0)))
    (declare (type vector x))
    (list (fill-pointer x) (svref x 1)))

description: updated
Changed in sbcl:
importance: Undecided → Medium
status: New → Confirmed
Nikodemus Siivola (nikodemus) wrote :

Fix in my pending tree, committing after freeze.

Changed in sbcl:
assignee: nobody → Nikodemus Siivola (nikodemus)
status: Confirmed → In Progress
Nikodemus Siivola (nikodemus) wrote :

Fixed in 1.0.43.1

Changed in sbcl:
assignee: Nikodemus Siivola (nikodemus) → nobody
status: In Progress → Fix Committed
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers