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?




Reply via email to