On Wednesday, 28 February 2018 at 23:58:44 UTC, Jonathan M Davis
wrote:
Feel free to discuss any code-flow analysis issues with Walter,
but he's consistently been against using it for much of
anything whenever I've seen him discuss it.
I'd say massive breakage is what precludes it. Well, I like the
way default initialization works in D.
Not even stuff like VRP covers multiple lines of code, because
doing so would require code-flow analysis.
It feels like handling VRP for linear code can be simple enough,
tracking VRP across branching is more of an overkill.
