>> 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.