Should (buffer-list) ever return killed buffers?

[Sergey Organov]

Hello!

I'm trying to fix a problem where `desktop-clear` errors-out because
(buffer-list) contains killed buffer.

Somehow it happens when `desktop-clear` is called from a timer and there
is *Info* buffer out there, and apparently the one that is killed is

"#<buffer  *info tag table*>"

I'd like to know if this is a bug in `destop-clear`, `buffer-list`,
info, or elsewhere?

Thanks,
-- Sergey Organov