Jan Hubicka <hubicka <at> ucw.cz> writes:
> > > > How does the C++ frontend handle this? > > See logic in cgraph_function_body_availability. When function is weak (that is effect > of make_decl_one_only) it will be inlinable only if it is declared inline. This happens > to be the case of C++ weaks because of the implicit inline scheme. That's interesting. D has nothing similar to inline functions but it should be fine to mark all functions as DECL_DECLARED_INLINE_P. > > I suppose we need a flag on DECL saying that declaration is overwritable but > all copies of the functions must be semantically equivalent per ABI > specification. In that case the function should return AVAIABLE same way as > it > is doing for DECL_EXTERNAL stuff already. Isn't that basically the same as DECL_ONE_ONLY?