[C言語] 関数指定子 inline とは何か

tnozaki @tnozaki

N6を-gでビルドしようとするともう何年も lib/46163 のlibobjcでコケるの放置やのう

tnozaki @tnozaki

-gつけるとinlineで宣言されてるはずのobjc_read_*などのいくつかの関数が未定義シンボルに化けてるなぁ、何これ

tnozaki @tnozaki

全部 static inline でなく inline で宣言されてる部分か、デバッグシンボル関係でバグってんのかな

tnozaki @tnozaki

DBG=-g かつ -std=c99の場合 1. inlineの関数定義は消える 2. しかし呼んでる箇所にinlineで展開はされない 3. よって未定義シンボルになる という動作をするらしい…

tnozaki @tnozaki

まぁこの挙動を期待してるわけではないだろうから inline -> static inline に該当箇所書き換えてやりゃいいだけでlib/46163は片付くんだろうけど、upstream直ってんのかなこれ

tnozaki @tnozaki

CFLAGSに-g とか -p つけるとビルド or 動かなくなるシロモンがリリース枝という

tnozaki @tnozaki

うーんコメントみると Make sure this inline function is exported regardless of GNU89 or C99 inlining semantics as it is part of the libobjc ABI. とある

tnozaki @tnozaki

だから上でプロトタイプはexternで宣言して、関数定義でinlineとかアホなことやってんのか…libobjcェ…

tnozaki @tnozaki

仕様としてどうなんだっけこれ…

tnozaki @tnozaki

6.7.4に実例つきでOKになってるな、プロトタイプでexternあるなら外部定義は必ず作らなければならない、一方関数定義がinlineだから同じ翻訳単位での呼出はインライン展開「してもよい」だわ

tnozaki @tnozaki

ちゅーことでgccがアカンっぽいんだがどうしたらいいンゴかねぇ…

tnozaki @tnozaki

というか再現コード作っても再現しないな、もっと別の条件も必要ンゴかねぇ…

tnozaki @tnozaki

archive.cの方で関数定義でinline宣言してて未定義になるのは、これプロトタイプでexternしてるわけじゃないからstatic inlineに変えてよさげ

tnozaki @tnozaki

なのでABI的にはsendmsg.cの__objc_get_forward_imp()だけ保証してやりゃいいのか

tnozaki @tnozaki

例のjの字が、さっきのインライン関数周りで、相変わらず間違った修正してて草生える cvsweb.netbsd.org/bsdweb.cgi/src…

tnozaki @tnozaki

これでもいいけどね upstreamとconflictするのとinlineされなくなるだけで

tnozaki @tnozaki

こっちもだ cvsweb.netbsd.org/bsdweb.cgi/src…

tnozaki @tnozaki

まぁarchive.cは最新のgccでは消えてるからどうでもいい

tnozaki @tnozaki

gcc側での対応も結構行き当たりばったりやな

tnozaki @tnozaki

対症療法だけどこれでlib/46163は解決できる bitbucket.org/tnozaki/netbsd…

tnozaki @tnozaki

厳密にいえばABI破壊してるけど、そもそもヘッダに無い関数でstaticにし忘れただけなんで隠しても問題ないでしょ、libobjc.defにまでDLL EXPORTまでしてるのは単にWindowsわからんから適当に真似して書いただけと思われる

tnozaki @tnozaki

どうしても厳密にABI保証したけりゃinline -> static inlineではなく、extern inlineにすればいい

tnozaki @tnozaki

gcc4.8 でも -std=c99 -g した時の挙動は変わってないっぽい

tnozaki @tnozaki

c99の6.7.4 inline を真面目に読んでどうするのが正しいのか調べる気力が無い

tnozaki @tnozaki

頭悪いのでC99の6.7.4読みなおして更に混乱してきたゾ…