> >> The real question is why check_function_bodies doesn't cover this;
> >> there's a comment in fmgr_c_validator that this is deliberate, but it's
> >> rather unclear what the advantage is supposed to be:
> Tom> Error detection, ie did you spell the C symbol name correctly.
> Right, but surely restoring a dump is not the place to be doing that
> error check?
Similar check also happens on pg_upgrade in link mode. It would be more
useful to get it to attempt to upgrade the extension if there is absent
function or absent library error.