https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103053
--- Comment #4 from Simon Burge <simonb at vmware dot com> --- Thanks for the explanation Jakub. As was inferred from Andrew's comment https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103053#c2 we are using a trimmed down support library for this particular application. We'll do as suggested and add __divti3 to our support library.