+ (error "bad note: ~A" n))))
+
+(with-test (:name :bug-721087 :fails-on :win32)
+ (assert (typep nil '(alien c-string)))
+ (assert (not (typep nil '(alien (c-string :not-null t)))))
+ (assert (eq :ok
+ (handler-case
+ (posix-getenv nil)
+ (type-error (e)
+ (when (and (null (type-error-datum e))
+ (equal (type-error-expected-type e)
+ '(alien (c-string :not-null t))))
+ :ok))))))
+
+(with-test (:name :make-alien-string)
+ (let ((alien (sb-alien::make-alien-string "This comes from lisp!")))
+ (gc :full t)
+ (assert (equal "This comes from lisp!" (cast alien c-string)))
+ (free-alien alien)))
+
+(with-test (:name :malloc-failure)
+ (assert (eq :enomem
+ (handler-case
+ (loop repeat 128
+ collect (sb-alien:make-alien char (1- array-total-size-limit)))
+ (storage-condition ()
+ :enomem)))))
+
+(with-test (:name :bug-985505)
+ ;; Check that correct octets are reported for a c-string-decoding error.
+ (assert
+ (eq :unibyte
+ (handler-case
+ (let ((c-string (coerce #(70 111 195 182 0)
+ '(vector (unsigned-byte 8)))))
+ (sb-sys:with-pinned-objects (c-string)
+ (sb-alien::c-string-to-string (sb-sys:vector-sap c-string)
+ :ascii 'character)))
+ (sb-int:c-string-decoding-error (e)
+ (assert (equalp #(195) (sb-int:character-decoding-error-octets e)))
+ :unibyte))))
+ (assert
+ (eq :multibyte-4
+ (handler-case
+ ;; KLUDGE, sort of.
+ ;;
+ ;; C-STRING decoding doesn't know how long the string is, and since this
+ ;; looks like a 4-byte sequence, it will grab 4 octets off the end.
+ ;;
+ ;; So we pad the vector for safety's sake.
+ (let ((c-string (coerce #(70 111 246 0 0 0)
+ '(vector (unsigned-byte 8)))))
+ (sb-sys:with-pinned-objects (c-string)
+ (sb-alien::c-string-to-string (sb-sys:vector-sap c-string)
+ :utf-8 'character)))
+ (sb-int:c-string-decoding-error (e)
+ (assert (equalp #(246 0 0 0)
+ (sb-int:character-decoding-error-octets e)))
+ :multibyte-4))))
+ (assert
+ (eq :multibyte-2
+ (handler-case
+ (let ((c-string (coerce #(70 195 1 182 195 182 0) '(vector (unsigned-byte 8)))))
+ (sb-sys:with-pinned-objects (c-string)
+ (sb-alien::c-string-to-string (sb-sys:vector-sap c-string)
+ :utf-8 'character)))
+ (sb-int:c-string-decoding-error (e)
+ (assert (equalp #(195 1)
+ (sb-int:character-decoding-error-octets e)))
+ :multibyte-2)))))
+
+(with-test (:name :stream-to-c-string-decoding-restart-leakage)
+ ;; Restarts for stream decoding errors didn't use to be associated with
+ ;; their conditions, so they could get confused with c-string decoding errors.
+ (assert (eq :nesting-ok
+ (catch 'out
+ (handler-bind ((sb-int:character-decoding-error
+ (lambda (stream-condition)
+ (handler-bind ((sb-int:character-decoding-error
+ (lambda (c-string-condition)
+ (throw 'out
+ (if (find-restart
+ 'sb-impl::input-replacement
+ c-string-condition)
+ :bad-restart
+ :nesting-ok)))))
+ (let ((c-string (coerce #(70 195 1 182 195 182 0)
+ '(vector (unsigned-byte 8)))))
+ (sb-sys:with-pinned-objects (c-string)
+ (sb-alien::c-string-to-string
+ (sb-sys:vector-sap c-string)
+ :utf-8 'character)))))))
+ (let ((namestring "alien.impure.tmp"))
+ (unwind-protect
+ (progn
+ (with-open-file (f namestring
+ :element-type '(unsigned-byte 8)
+ :direction :output
+ :if-exists :supersede)
+ (dolist (b '(70 195 1 182 195 182 0))
+ (write-byte b f)))
+ (with-open-file (f namestring
+ :external-format :utf-8)
+ (read-line f)))
+ (delete-file namestring))))))))