I confirmed all possible paths and the tiny fix is enough.
fil_node_prepare_for_io() or fil_node_complete_io() are never called after fil_space_free() from fil_delete_tablespace(), even if innodb_lazy_drop_table is enabled.
(protected by buf_page_struct::space_was_being_deleted flag enough already)
fixed directly
5.1.56 rev.225
5.5.11 rev.107
I confirmed all possible paths and the tiny fix is enough.
fil_node_ prepare_ for_io( ) or fil_node_ complete_ io() are never called after fil_space_free() from fil_delete_ tablespace( ), even if innodb_ lazy_drop_ table is enabled. struct: :space_ was_being_ deleted flag enough already)
(protected by buf_page_