On 13.02.24 07:02, Bruce Carneal wrote: > > To reuse the value the compiler would have to prove that the memory > locations do not overlap. Not really, it only has to show that the value in the memory location has not changed since the last read.