Memory fault on printing a malformed condition

[Stas Boukarev]

(error 'simple-error :format-control "" :format-arguments 8)
results in a memory fault, this boils down to

(sb-kernel::simple-condition-printer (make-condition 'simple-error :format-control "" :format-arguments 8) t)

It expects a list, but doesn't perform a type-check.

[Nikodemus Siivola (nikodemus)]

This is really curious.

For some reason XC omits the type check for the argument to VALUES-LIST here.

[Christophe Rhodes (csr21-cantab)]

Nikodemus Siivola <email address hidden> writes:

> This is really curious.
>
> For some reason XC omits the type check for the argument to VALUES-LIST
> here.

It's because simple-control-format-arguments is a known function with a
LIST return type, no?

Christophe

[Nikodemus Siivola (nikodemus)]

Yes, but that type information is lost somehow during the build, so that that function is compiled trusting that, but SIMPLE-FORMAT-ARGUMENTS itself doesn't know it's supposed to check its return type.

(My guess is to blame DEFINE-CONDITION.)

[Nikodemus Siivola (nikodemus)]

1.0.47.23.