Array bound checks removal increasing importance

"Nordlöw" via Digitalmars-d digitalmars-d at puremagic.com
Sun Jun 1 14:32:22 PDT 2014


> For $/n VRP can't be used because it's geared toward constants, 
> not relative to variables. So VRP could inform of something 
> like "this number is between 0 and 5", not "this number is 
> between 0 and a.length". -- Andrei

That's what I thought of aswell. Are there any plans to formalize 
the structures and algorithms of such expressions and their 
propagations? I guess LLVM or GCC must have thought of these 
things, right?


More information about the Digitalmars-d mailing list