実行時まで分からないならそれで(･∀･)ｲｲ!!し
コンパイラが max が for の中では変更されないことが分かれば
最初の一回計算するだけで(･∀･)ｲｲ!!わけで
maxの値がコンパイル時に分かればさらに定数で置き換えても(･∀･)ｲｲ!!ってはなしで

じっさいどうしているかは知りません
まあ予想で言ってもしょうがない気がするけど