「定数/定数がコンパイル時定数になるとは限らない」の規格的な根拠はここ

5.20 Constant expressions [expr.const]
〜
[ Note: Constant expressions can be evaluated during translation.―end note ]

"can be"であって"must be"じゃないから