Java optimizer and redundant array evaluation

This is a very basic problem about Java optimization

If you have a simple for loop, iterate over the array and use array at the head of the loop Length instead of evaluating it before, then you only do it once (which is what I almost always do):

for(int i=0; i<array.length;i++) { ... }

The statement can be optimized so that the JVM knows whether the array changes over the duration of the loop so that it does not reevaluate the array every time Length?

Solution

More importantly, unless the field is mutable, the JVM will make this assumption, whether it is true or not