On 5/31/2014 4:06 PM, "Nordlöw" wrote:
I've looked around in DMD for a suitable place to add checks for this but haven't found the spot where range-check is injected. Help anyone?
There isn't a suitable place. To make it work, data flow analysis would have to be added to the front end. While doable, this is not a simple addition. Eventually, we'll have to do it as a lot of things become possible & better with data flow analysis, not just bounds check elimination.
