On Thursday, 21 July 2016 at 09:35:55 UTC, Kagamin wrote:
You can lower D to Assembler and analyze that. Assembler is simple, isn't it?
You can, and that is what C++ is mostly limited to, but you then you most likely get false positives and cannot use the analysis as part of the type-system. If you are going to use e.g. pointer analysis as part of the type system, then it has to happen at a higher level.
