On Saturday, 3 October 2020 at 22:38:45 UTC, Iain Buclaw wrote:
> And the infrastructure present is zero.  The compiler is a producer of assembly, not a consumer.  It doesn't understand assembly constructs, and all the better if it remains that way.

Gdc should for obvious reasons do whatever gcc does, don't get me wrong.

(There are provers that do can make inference from machine language at the bit level, but that is expensive to maintain. Not very open source friendly.)