Uncaught error compiling bad SB-ALIEN code

Bug #1742773 reported by Paul F. Dietz on 2018-01-11
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Low
Unassigned

Bug Description

(defun f66 (str encoding)
  (etypecase str
    (null (sb-alien:sap-alien (sb-sys:int-sap 0) (* (sb-alien:unsigned nil))))
    (string
     (let* ((size (length str))
            (storage (sb-alien:make-alien (sb-alien:unsigned 8) (1+ size))))
       storage)
     )))

===>

The value
  NIL
is not of type
  NUMBER
[...]
  0: (SB-ALIEN::INTEGER-TYPE=-METHOD #<SB-ALIEN-INTERNALS:ALIEN-INTEGER-TYPE (SB-ALIEN:UNSIGNED NIL)> #<SB-ALIEN-INTERNALS:ALIEN-INTEGER-TYPE (SB-ALIEN:UNSIGNED 8)>)
  1: (SB-KERNEL::ALIEN-SIMPLE-SUBTYPEP-TYPE-METHOD #<SB-KERNEL:ALIEN-TYPE-TYPE (SB-ALIEN:ALIEN (* (SB-ALIEN:UNSIGNED NIL)))> #<SB-KERNEL:ALIEN-TYPE-TYPE (SB-ALIEN:ALIEN (* (SB-ALIEN:UNSIGNED 8)))>)
  2: (SB-KERNEL:CSUBTYPEP #<SB-KERNEL:ALIEN-TYPE-TYPE (SB-ALIEN:ALIEN (* (SB-ALIEN:UNSIGNED NIL)))> #<SB-KERNEL:ALIEN-TYPE-TYPE (SB-ALIEN:ALIEN (* (SB-ALIEN:UNSIGNED 8)))>)
[...]

summary: - Uncaught error compiling bad SAP-ALIEN code
+ Uncaught error compiling bad SB-ALIEN code
Stas Boukarev (stassats) on 2018-01-11
Changed in sbcl:
status: New → Triaged
importance: Undecided → Low
tags: added: mal
tags: added: malformed-source
removed: mal
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers