> どっちにせよ"変数の値" みたいな実行時に
> 変化するものをコンパイルラーに検出してもうこと自体おかしい

は? 「変化する」かどうかを決めるのはコードのロジックだろうが!
コンパイラーがチェックするのはあたりまえ。