GCC 4.7 のリリースノートに、新しく追加された -grecord-gcc-switches オプションを 付けると、DWARF デバッグ情報の DW_AT_producer 属性文字列にコンパイラの コマンドライン文字列が追加されるよ、と書いてあることに気付いたので、 さっそく試してみました。