STRING-RIGHT-TRIM computing incorrect result with type declaration of parameter

Bug #2035148 reported by Paul F. Dietz
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Fix Released

Bug Description

(defun bug233 ()
  (let ((lam
          '(lambda (s)
            (declare (type (simple-array *) s))
            (string-right-trim "" s))))
    (funcall (compile nil lam) "abc")))

(bug233) ==> ""
(string-right-trim "" "abc") ==> "abc"
(typep "abc" '(simple-array *)) ==> T

x86-64, ""

description: updated
Revision history for this message
Stas Boukarev (stassats) wrote :

Can you try after 9ac1dcb65e5917ae269edf4fa7a8520ffef1bd1e ?

Revision history for this message
Paul F. Dietz (paul-f-dietz) wrote :

It seems fixed.

Stas Boukarev (stassats)
Changed in sbcl:
status: New → Fix Released
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.