Can one mark built-in functions as potentially throwing exceptions, for exception analysis.

[cristianoc]

See e.g. #5599

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.