[C言語] 使用されない関数を実行ファイルに含めない

Question

( 基本的な質問なのですが ) 実行ファイルに使用しない関数のコードも含まれるためコードサイズがやや大きいということがおきています( つまり以下のようなことがおきています)。使用しない関数を実行ファイルに含めないようにするにはどのようにしたらいいのでしょうか？ gcc を使用しています。

--
つぎのような２つのC codeから実行ファイルをつくった場合に f1 のコードもそれに含まれる
func.c
void f0 () {
...
}
void f1 () {
...
}

main.c
int main() {
...
f0();
};

よろしくお願いします

Comments

[cateye]

使用しない関数を、削除もしくはコメントアウト出来ないのですか？

Answer 1

思いつく方法としては以下のようなものがあります。

内部リンケージにする

外部リンケージを持つ関数が使われるかどうかはコンパイル時にわかりませんのでコンパイラは勝手に除去することができません。 逆に言えば内部リンケージを持つ関数が使われるかどうかはコンパイル時に把握できる可能性があります。

関数定義に static を付けた上で最適化を有効にしておけばコンパイル時点でデッドコードは除去され、もちろん最終的な実行ファイルに含まれることはありません。

不要セクションの除去

リンカは不要なセクションを除去する機能を持っている場合があります。 関数が個別のセクションに配置されるようにコンパイルした上でリンク時に不要セクションを除去するオプションを付ければ不要な関数は実行ファイルに含まれることはありません。

具体的な手順は以下の URL で説明しているのを見つけたので参考にしてください。

http://blog.kmckk.com/archives/2601869.html

ただし、ターゲットによっては使えないことがあります。 例えば Windows では使えないようです。

リンク時最適化を有効にする

通常は各コンパイル単位ごとにコンパイルしてからリンクするという手順がとられますが、コンパイル時にコード生成の手前の状態にまで留めておき、全部のコンパイル単位をリンカが融合してから再びコンパイラに差し戻すという機能を GCC は持っています。

コンパイル単位をまたいだ最適化が有効になりますのでどこが使われているか把握が可能になり、デッドコードとして除去できます。

Comments

[matu]

ありがとうございます。今回は他の方がご指摘くださったarchiveを用いる方法を使おうと思っていますが、すべての方法を俯瞰できて大変参考になりました。「リンク時最適化」については追って調べてみたいと思います。

Answer 2

関数ごとに別ファイルにし、オブジェクトファイルを一つのライブラリにまとめ、
それをリンクする。

	gcc -c main.c func.c func1.c
	ar rcs libfunc.a func.o func1.o
	gcc -o main main.o libfunc.a

Comments

[matu]

ありがとうございます。不要なコードがのぞかれてコードサイズの減少を確認できました。

Answer 3

C言語の場合、実行ファイルの生成時の処理が「コンパイル」と「リンク」の2段階となっていることが要注意です。

• コンパイル時…func.cから外部エクスポートしているf0とf1は、どこかから使われるかもしれないので、コンパイル後のオブジェクトファイルに含まれる
• リンク時…オブジェクトファイルはファイル単位での取り込みとなるので、func.cから生成したオブジェクトファイルはまるごと含まれる

やり方としてはいくつか考えられます。

• f0とf1を別ファイルで定義する
• f1をfunc.c外で使わないなら、staticとして宣言する