Object file questions

[Mike via D.gnu]

On Saturday, 16 August 2014 at 09:59:03 UTC, Artur Skawina via 
D.gnu wrote:
>
> Taking the address of an always_inline function is allowed.
>

It may be allowed, but it probably shouldn't be.  Always-inlining 
a function and taking the address of that function is 
contradictory.

But this situation demonstrates why having an intelligent linker 
is a better solution than decorating with attributes.  The linker 
should know if you took an address of an always-inlined function 
or not and decide whether or not to remove it from the binary.

Mike