Fixed #6328: Use isAttributeNoreturn() whereever we also check Library::isnoreturn().