Dear Masahiro,
In message CAK7LNASsNVNj-neDO_7XT0t8RZO-EsHdP+WQGLbffxBrpR3pPg@mail.gmail.com you wrote:
Instead of removing CONFIG_USE_PRIVATE_LIBGCC, I think it is better to "select" it by Kconfig.
I think CONFIG_USE_PRIVATE_LIBGCC should remain, and be selectable by Kconfig (but only if CONFIG_HAVE_PRIVATE_LIBGCC is set, see below).
And my opinion is that CONFIG_USE_PRIVATE_LIBGCC should _not_ be set by default.
(And rename it to CONFIG_HAVE_PRIVATE_LIBGCC in order to clearly indicate it is not a user-configurable but forced configuration.)
No, that would be wrong. "HAVE" means that the capability exists. This does not include any statement if you actually use it or not. "USE" means that you actuallyuse it (and makes only sense if "HAVE" is set, as you cannot use what you don't have.
So "HAVE" and "USE" are two distinct properties.
Best regards,
Wolfgang Denk