>>874
＞プログラムに必要なソースコードをグローバルな視点ですべて解析してから
＞コード生成を開始するならテンプレートな仮想関数どころか
＞もっととんでもない事が可能かも知れんが

あーそれかなり無理
任意のプログラムに対して有限停止問題が解けるというのと多分同義