STRING/= gives incorrect result on string w. fill pointer, with declaration
Bug #1790717 reported by
Paul F. Dietz
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| SBCL |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
(defun f302 (P2)
(declare (optimize (speed 3) )
(type (array * (7)) p2))
(string/= "" p2))
(f302 (make-array '(7) :fill-pointer 0 :element-type 'base-char)) ==> 0
(string/= "" (make-array '(7) :fill-pointer 0 :element-type 'base-char)) ==> NIL
Similar failure for STRING=
| description: | updated |
Revision history for this message
| Stas Boukarev (stassats) wrote | #1 |
| Changed in sbcl: | |
| status: | New → Fix Committed |
| Changed in sbcl: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
c08c891c933058b