gccは翻訳時に関数を実行して定数化するオプションがあると聞いたことある。
例えば a = strlen("ABC") を a = 3 にしてしまうとか。