I believe so, it is certainly true for C++. I attach a documentation patch, explaining such, ok? My question was whether the optimizers currently take advantage of that fact.