On 8/4/14, 7:27 AM, Matthias Bentrup wrote: > Should this semantics extend to array bounds checking, i.e. after the > statement > > foo[5] := 0; > > can the optimizer assume that foo.length >= 6 ? Yes, definitely. -- Andrei