Hi,

the commit message says "The C compiler should check the cleanup attribute
in the next line anyway." But that's not the case: unknown attributes are
silently ignored, at least in Clang. The verify(__has_attribute(cleanup))
or equivalent is absolutely required here. Can we revert that commit?