I noticed that there are three symbols in libgcc with no leading __: isinfd32, isinfd64, isinfd128. Is there any reason for that? As far as I can see GCC will never generate calls to those functions (especially because PR 43374 means that the isinf macro doesn't currently work for decimal floating point numbers). It seems to me that libgcc shouldn't be in the business of providing general purpose decimal floating point functions (and just providing those three isn't too useful anyhow). Should these be changed to have leading underscores? Should they simply be removed?
Ian
