c言語とはずれて処理系の話ですいません。
gccで動的ライブラリ(libxxx.so)をリンクして実行ファイル作るとき、
コンパイラやリンカは何してるのでしょうか？
実際のリンクは実行時に行われると理解しているのですが、、、
型のチェックとかだけしてるのでしょうか？