On Wednesday, 7 December 2016 at 06:47:56 UTC, burjui wrote:
Yes, but we should issue an error, like Andrei said. A language is only as useful as it's best implementation, so diagnostics like that are essential. Data-flow analysis shouldn't even be optional or lacking in any modern compiler.
you know, D has variable initialization with default values. that allows to skip DFA, and still be sure that variable is initialized.
also, that thing can be done in *backend*, if it is really necessary, along with eliminating needless loads. such warning/error absolutely unnecessary in frontend, it only adds more code to maintain, and slows down compiling.
