私は Clang の詳細を理解しようとしていますが、「Sema」ライブラリについてはよくわかりません。コンパイラがプログラムをコンパイルするためにたどるパスのセマンティック分析ですか? それとも、プログラマーが自分のコードを分析するためにのみ使用しますか?
私が収集したものから、パーサーはASTを構築し、ASTを使用してさまざまなことを行う「ASTコンシューマー」があります。そのため、コード生成ライブラリは AST を IR に変換します。また、セマンティック分析ライブラリは AST を使用してコードを分析します。この理解は正しいですか、それともセマンティック アナライザーはコンパイルにも使用されますか?
セマンティック分析はコンパイル分析プロセスの一部であり、通常は字句解析と構文解析の後に行われます。セマンティックアナライザは、使用されているデータ型の有効性をチェックし、型キャストなどを行い、エラーがある場合はエラーを報告します。
言い換えれば、セマンティック分析に関しては、コンパイラは、プログラム（字句）で有効な単語が使用されていること、および与えられた言語の文法（構文）に従って文が正しく作成されていることをすでに確認しています。データ型、戻り値、サイズ境界、初期化されていない変数などをチェックするなど、これらの文が意味をなすかどうかをチェックするだけです。
私のコンパイルプロセスに関する知識は、Clangに固有のものではなく、より一般的なものですが、コード分析にはセマンティック分析が確実に含まれていると思います。