@ctfeonly

[meppl]

On Thursday, 7 December 2017 at 03:43:42 UTC, Nicholas Wilson 
wrote:
> ...
>
> Do you have any other ideas about how to achieve this other 
> than an attribute?
> Having an attribute seems the most simple and straightforward.

llvm has "Aggressive Dead Code Elimination"- and "Dead Code 
Elimination"-switches, who I find interesting.
https://llvm.org/docs/Passes.html#transform-passes

I remember once I actually stripped off kinda 99% of a statically 
linked phobos-library with that and I got a small executable who 
was still working