Question

我在Clang解析的C ++源文件中查找标识符。它是一个函数，它接受在源文件（不是标题）中声明的五个参数。当我试图用一个参数调用它时，Clang给出了一个适当的错误 - 甚至是函数声明的全文。但当我尝试使用API查找时，Clang坚持认为它不存在。

以下是相关代码：

llvm::LLVMContext c;
clang::CompilerInstance CI;
llvm::Module m("", c);
clang::EmitLLVMOnlyAction emit(&c);
emit.setLinkModule(&m);

std::string errors;
llvm::raw_string_ostream error_stream(errors);
clang::DiagnosticOptions diagopts;
clang::TextDiagnosticPrinter printer(error_stream, &diagopts);
llvm::IntrusiveRefCntPtr<clang::DiagnosticIDs> diagids(new clang::DiagnosticIDs);
clang::DiagnosticsEngine engine(diagids, &diagopts, &printer, false);
CI.setDiagnostics(&engine);

clang::TargetOptions target;
target.Triple = llvm::sys::getDefaultTargetTriple();
CI.setTarget(clang::TargetInfo::CreateTargetInfo(engine, &target));

CI.getLangOpts().CPlusPlus0x = true;
CI.getLangOpts().CPlusPlus = true;

clang::FrontendInputFile f("main.cpp", clang::InputKind::IK_CXX, true);
emit.BeginSourceFile(CI, f);

emit.Execute();
auto sema = CI.takeSema();
auto ast = &CI.getASTContext();
CI.resetAndLeakASTContext();
emit.EndSourceFile();

emit.takeModule();
auto identinfo = CI.getPreprocessor().getIdentifierInfo("WriteConsoleW");

auto sloc = CI.getSourceManager().getLocForEndOfFile(CI.getSourceManager().translateFile(CI.getFileManager().getFile("main.cpp")));
clang::LookupResult lr(*sema, clang::DeclarationName(identinfo), sloc, clang::Sema::LookupNameKind::LookupOrdinaryName);
auto result = sema->LookupName(lr, sema->TUScope);

我已经确认identinfo不是NULL，sloc也不是零。

为什么Clang找不到我的名字？

编辑：我已成功在全局范围内执行限定名称查找。不幸的是，这与执行非限定名称查找并不完全相同 - 例如，没有ADL。 Clang仍然坚持认为不存在不合格的函数名称。

编辑：合格的代码类似但重构以避免对前端库的依赖，因为它具有极其可疑的所有权语义，并且该操作无论如何都不能做我想要的。

clang::CompilerInstance ci;
clang::FileSystemOptions fso;
clang::FileManager fm(fso);

std::string errors;
llvm::raw_string_ostream error_stream(errors);
clang::DiagnosticOptions diagopts;

llvm::IntrusiveRefCntPtr<clang::DiagnosticIDs> diagids(new clang::DiagnosticIDs);
clang::DiagnosticsEngine engine(diagids, &diagopts, new clang::TextDiagnosticPrinter(error_stream, &diagopts), false);

clang::SourceManager sm(engine, fm);

clang::LangOptions langopts;
langopts.CPlusPlus = true;
langopts.CPlusPlus0x = true;

clang::TargetOptions target;
target.Triple = llvm::sys::getDefaultTargetTriple();
auto targetinfo = clang::TargetInfo::CreateTargetInfo(engine, &target);

auto headeropts = llvm::IntrusiveRefCntPtr<clang::HeaderSearchOptions>(new clang::HeaderSearchOptions());
clang::HeaderSearch hs(headeropts, fm, engine, langopts, targetinfo);

auto x = llvm::IntrusiveRefCntPtr<clang::PreprocessorOptions>(new clang::PreprocessorOptions());
clang::Preprocessor p(x, engine, langopts, targetinfo, sm, hs, ci);

clang::ASTContext astcon(langopts, sm, targetinfo, p.getIdentifierTable(), p.getSelectorTable(), p.getBuiltinInfo(), 1000);
clang::CodeGenOptions codegenopts;
clang::CodeGen::CodeGenModule codegen(astcon, codegenopts, m, llvm::DataLayout(&m), engine);
CodeGenConsumer consumer(&codegen);
clang::Sema sema(p, astcon, consumer, clang::TranslationUnitKind::TU_Prefix);

sm.createMainFileID(fm.getFile(filepath));
engine.getClient()->BeginSourceFile(langopts, &p);
clang::ParseAST(sema);
codegen.Release();
engine.getClient()->EndSourceFile();
    /*
for (auto it = astcon.getTranslationUnitDecl()->decls_begin(); it != astcon.getTranslationUnitDecl()->decls_end(); ++it) {
    if (auto named = llvm::dyn_cast<clang::NamedDecl>(*it)) {
        std::cout << named->getNameAsString() << "\n";
    }
}*/
clang::LookupResult lr(sema, clang::DeclarationName(p.getIdentifierInfo("f")), sm.getLocForEndOfFile(sm.translateFile(fm.getFile(filepath))), clang::Sema::LookupNameKind::LookupOrdinaryName);
auto result = sema.LookupQualifiedName(lr, astcon.getTranslationUnitDecl());

Answer 1

显然，现在已经知道这已被打破。我查看了LookupName实现，并且它没有处理这种情况。

我现在必须接受合格的查询。

无法通过Clang API找到标识符，但Clang可以在使用时找到它

1 个答案: