1 //===-- ClangExpressionDeclMap.cpp -----------------------------*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "ClangExpressionDeclMap.h"
12 #include "ASTDumper.h"
13 #include "ClangASTSource.h"
14 #include "ClangModulesDeclVendor.h"
15 #include "ClangPersistentVariables.h"
17 #include "lldb/Core/Address.h"
18 #include "lldb/Core/Error.h"
19 #include "lldb/Core/Log.h"
20 #include "lldb/Core/Module.h"
21 #include "lldb/Core/ModuleSpec.h"
22 #include "lldb/Core/RegisterValue.h"
23 #include "lldb/Core/ValueObjectConstResult.h"
24 #include "lldb/Core/ValueObjectVariable.h"
25 #include "lldb/Expression/Materializer.h"
26 #include "lldb/Host/Endian.h"
27 #include "lldb/Symbol/ClangASTContext.h"
28 #include "lldb/Symbol/CompileUnit.h"
29 #include "lldb/Symbol/CompilerDecl.h"
30 #include "lldb/Symbol/CompilerDeclContext.h"
31 #include "lldb/Symbol/Function.h"
32 #include "lldb/Symbol/ObjectFile.h"
33 #include "lldb/Symbol/SymbolContext.h"
34 #include "lldb/Symbol/SymbolFile.h"
35 #include "lldb/Symbol/SymbolVendor.h"
36 #include "lldb/Symbol/Type.h"
37 #include "lldb/Symbol/TypeList.h"
38 #include "lldb/Symbol/Variable.h"
39 #include "lldb/Symbol/VariableList.h"
40 #include "lldb/Target/CPPLanguageRuntime.h"
41 #include "lldb/Target/ExecutionContext.h"
42 #include "lldb/Target/ObjCLanguageRuntime.h"
43 #include "lldb/Target/Process.h"
44 #include "lldb/Target/RegisterContext.h"
45 #include "lldb/Target/StackFrame.h"
46 #include "lldb/Target/Target.h"
47 #include "lldb/Target/Thread.h"
48 #include "lldb/lldb-private.h"
49 #include "clang/AST/ASTConsumer.h"
50 #include "clang/AST/ASTContext.h"
51 #include "clang/AST/Decl.h"
52 #include "clang/AST/DeclarationName.h"
54 #include "Plugins/Language/CPlusPlus/CPlusPlusLanguage.h"
57 using namespace lldb_private;
58 using namespace clang;
61 const char *g_lldb_local_vars_namespace_cstr = "$__lldb_local_vars";
62 } // anonymous namespace
64 ClangExpressionDeclMap::ClangExpressionDeclMap(
65 bool keep_result_in_memory,
66 Materializer::PersistentVariableDelegate *result_delegate,
67 ExecutionContext &exe_ctx)
68 : ClangASTSource(exe_ctx.GetTargetSP()), m_found_entities(),
69 m_struct_members(), m_keep_result_in_memory(keep_result_in_memory),
70 m_result_delegate(result_delegate), m_parser_vars(), m_struct_vars() {
74 ClangExpressionDeclMap::~ClangExpressionDeclMap() {
75 // Note: The model is now that the parser's AST context and all associated
76 // data does not vanish until the expression has been executed. This means
77 // that valuable lookup data (like namespaces) doesn't vanish, but
83 bool ClangExpressionDeclMap::WillParse(ExecutionContext &exe_ctx,
84 Materializer *materializer) {
85 ClangASTMetrics::ClearLocalCounters();
88 m_parser_vars->m_exe_ctx = exe_ctx;
90 Target *target = exe_ctx.GetTargetPtr();
91 if (exe_ctx.GetFramePtr())
92 m_parser_vars->m_sym_ctx =
93 exe_ctx.GetFramePtr()->GetSymbolContext(lldb::eSymbolContextEverything);
94 else if (exe_ctx.GetThreadPtr() &&
95 exe_ctx.GetThreadPtr()->GetStackFrameAtIndex(0))
96 m_parser_vars->m_sym_ctx =
97 exe_ctx.GetThreadPtr()->GetStackFrameAtIndex(0)->GetSymbolContext(
98 lldb::eSymbolContextEverything);
99 else if (exe_ctx.GetProcessPtr()) {
100 m_parser_vars->m_sym_ctx.Clear(true);
101 m_parser_vars->m_sym_ctx.target_sp = exe_ctx.GetTargetSP();
103 m_parser_vars->m_sym_ctx.Clear(true);
104 m_parser_vars->m_sym_ctx.target_sp = exe_ctx.GetTargetSP();
108 m_parser_vars->m_persistent_vars = llvm::cast<ClangPersistentVariables>(
109 target->GetPersistentExpressionStateForLanguage(eLanguageTypeC));
111 if (!target->GetScratchClangASTContext())
115 m_parser_vars->m_target_info = GetTargetInfo();
116 m_parser_vars->m_materializer = materializer;
121 void ClangExpressionDeclMap::InstallCodeGenerator(
122 clang::ASTConsumer *code_gen) {
123 assert(m_parser_vars);
124 m_parser_vars->m_code_gen = code_gen;
127 void ClangExpressionDeclMap::DidParse() {
128 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
131 ClangASTMetrics::DumpCounters(log);
133 if (m_parser_vars.get()) {
134 for (size_t entity_index = 0, num_entities = m_found_entities.GetSize();
135 entity_index < num_entities; ++entity_index) {
136 ExpressionVariableSP var_sp(
137 m_found_entities.GetVariableAtIndex(entity_index));
139 llvm::cast<ClangExpressionVariable>(var_sp.get())
140 ->DisableParserVars(GetParserID());
143 for (size_t pvar_index = 0,
144 num_pvars = m_parser_vars->m_persistent_vars->GetSize();
145 pvar_index < num_pvars; ++pvar_index) {
146 ExpressionVariableSP pvar_sp(
147 m_parser_vars->m_persistent_vars->GetVariableAtIndex(pvar_index));
148 if (ClangExpressionVariable *clang_var =
149 llvm::dyn_cast<ClangExpressionVariable>(pvar_sp.get()))
150 clang_var->DisableParserVars(GetParserID());
157 // Interface for IRForTarget
159 ClangExpressionDeclMap::TargetInfo ClangExpressionDeclMap::GetTargetInfo() {
160 assert(m_parser_vars.get());
164 ExecutionContext &exe_ctx = m_parser_vars->m_exe_ctx;
166 Process *process = exe_ctx.GetProcessPtr();
168 ret.byte_order = process->GetByteOrder();
169 ret.address_byte_size = process->GetAddressByteSize();
171 Target *target = exe_ctx.GetTargetPtr();
173 ret.byte_order = target->GetArchitecture().GetByteOrder();
174 ret.address_byte_size = target->GetArchitecture().GetAddressByteSize();
181 bool ClangExpressionDeclMap::AddPersistentVariable(const NamedDecl *decl,
182 const ConstString &name,
183 TypeFromParser parser_type,
186 assert(m_parser_vars.get());
188 ClangASTContext *ast =
189 llvm::dyn_cast_or_null<ClangASTContext>(parser_type.GetTypeSystem());
193 if (m_parser_vars->m_materializer && is_result) {
196 ExecutionContext &exe_ctx = m_parser_vars->m_exe_ctx;
197 Target *target = exe_ctx.GetTargetPtr();
198 if (target == nullptr)
201 ClangASTContext *context(target->GetScratchClangASTContext());
203 TypeFromUser user_type(m_ast_importer_sp->DeportType(
204 context->getASTContext(), ast->getASTContext(),
205 parser_type.GetOpaqueQualType()),
208 uint32_t offset = m_parser_vars->m_materializer->AddResultVariable(
209 user_type, is_lvalue, m_keep_result_in_memory, m_result_delegate, err);
211 ClangExpressionVariable *var = new ClangExpressionVariable(
212 exe_ctx.GetBestExecutionContextScope(), name, user_type,
213 m_parser_vars->m_target_info.byte_order,
214 m_parser_vars->m_target_info.address_byte_size);
216 m_found_entities.AddNewlyConstructedVariable(var);
218 var->EnableParserVars(GetParserID());
220 ClangExpressionVariable::ParserVars *parser_vars =
221 var->GetParserVars(GetParserID());
223 parser_vars->m_named_decl = decl;
224 parser_vars->m_parser_type = parser_type;
226 var->EnableJITVars(GetParserID());
228 ClangExpressionVariable::JITVars *jit_vars = var->GetJITVars(GetParserID());
230 jit_vars->m_offset = offset;
235 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
236 ExecutionContext &exe_ctx = m_parser_vars->m_exe_ctx;
237 Target *target = exe_ctx.GetTargetPtr();
241 ClangASTContext *context(target->GetScratchClangASTContext());
243 TypeFromUser user_type(m_ast_importer_sp->DeportType(
244 context->getASTContext(), ast->getASTContext(),
245 parser_type.GetOpaqueQualType()),
248 if (!user_type.GetOpaqueQualType()) {
250 log->Printf("Persistent variable's type wasn't copied successfully");
254 if (!m_parser_vars->m_target_info.IsValid())
257 ClangExpressionVariable *var = llvm::cast<ClangExpressionVariable>(
258 m_parser_vars->m_persistent_vars
259 ->CreatePersistentVariable(
260 exe_ctx.GetBestExecutionContextScope(), name, user_type,
261 m_parser_vars->m_target_info.byte_order,
262 m_parser_vars->m_target_info.address_byte_size)
268 var->m_frozen_sp->SetHasCompleteType();
271 var->m_flags |= ClangExpressionVariable::EVNeedsFreezeDry;
274 ClangExpressionVariable::EVKeepInTarget; // explicitly-declared
275 // persistent variables should
279 var->m_flags |= ClangExpressionVariable::EVIsProgramReference;
281 var->m_flags |= ClangExpressionVariable::EVIsLLDBAllocated;
282 var->m_flags |= ClangExpressionVariable::EVNeedsAllocation;
285 if (m_keep_result_in_memory) {
286 var->m_flags |= ClangExpressionVariable::EVKeepInTarget;
290 log->Printf("Created persistent variable with flags 0x%hx", var->m_flags);
292 var->EnableParserVars(GetParserID());
294 ClangExpressionVariable::ParserVars *parser_vars =
295 var->GetParserVars(GetParserID());
297 parser_vars->m_named_decl = decl;
298 parser_vars->m_parser_type = parser_type;
303 bool ClangExpressionDeclMap::AddValueToStruct(const NamedDecl *decl,
304 const ConstString &name,
305 llvm::Value *value, size_t size,
306 lldb::offset_t alignment) {
307 assert(m_struct_vars.get());
308 assert(m_parser_vars.get());
310 bool is_persistent_variable = false;
312 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
314 m_struct_vars->m_struct_laid_out = false;
316 if (ClangExpressionVariable::FindVariableInList(m_struct_members, decl,
320 ClangExpressionVariable *var(ClangExpressionVariable::FindVariableInList(
321 m_found_entities, decl, GetParserID()));
324 var = ClangExpressionVariable::FindVariableInList(
325 *m_parser_vars->m_persistent_vars, decl, GetParserID());
326 is_persistent_variable = true;
333 log->Printf("Adding value for (NamedDecl*)%p [%s - %s] to the structure",
334 static_cast<const void *>(decl), name.GetCString(),
335 var->GetName().GetCString());
337 // We know entity->m_parser_vars is valid because we used a parser variable
340 ClangExpressionVariable::ParserVars *parser_vars =
341 llvm::cast<ClangExpressionVariable>(var)->GetParserVars(GetParserID());
343 parser_vars->m_llvm_value = value;
345 if (ClangExpressionVariable::JITVars *jit_vars =
346 llvm::cast<ClangExpressionVariable>(var)->GetJITVars(GetParserID())) {
347 // We already laid this out; do not touch
350 log->Printf("Already placed at 0x%llx",
351 (unsigned long long)jit_vars->m_offset);
354 llvm::cast<ClangExpressionVariable>(var)->EnableJITVars(GetParserID());
356 ClangExpressionVariable::JITVars *jit_vars =
357 llvm::cast<ClangExpressionVariable>(var)->GetJITVars(GetParserID());
359 jit_vars->m_alignment = alignment;
360 jit_vars->m_size = size;
362 m_struct_members.AddVariable(var->shared_from_this());
364 if (m_parser_vars->m_materializer) {
369 if (is_persistent_variable) {
370 ExpressionVariableSP var_sp(var->shared_from_this());
371 offset = m_parser_vars->m_materializer->AddPersistentVariable(
372 var_sp, nullptr, err);
374 if (const lldb_private::Symbol *sym = parser_vars->m_lldb_sym)
375 offset = m_parser_vars->m_materializer->AddSymbol(*sym, err);
376 else if (const RegisterInfo *reg_info = var->GetRegisterInfo())
377 offset = m_parser_vars->m_materializer->AddRegister(*reg_info, err);
378 else if (parser_vars->m_lldb_var)
379 offset = m_parser_vars->m_materializer->AddVariable(
380 parser_vars->m_lldb_var, err);
387 log->Printf("Placed at 0x%llx", (unsigned long long)offset);
390 offset; // TODO DoStructLayout() should not change this.
396 bool ClangExpressionDeclMap::DoStructLayout() {
397 assert(m_struct_vars.get());
399 if (m_struct_vars->m_struct_laid_out)
402 if (!m_parser_vars->m_materializer)
405 m_struct_vars->m_struct_alignment =
406 m_parser_vars->m_materializer->GetStructAlignment();
407 m_struct_vars->m_struct_size =
408 m_parser_vars->m_materializer->GetStructByteSize();
409 m_struct_vars->m_struct_laid_out = true;
413 bool ClangExpressionDeclMap::GetStructInfo(uint32_t &num_elements, size_t &size,
414 lldb::offset_t &alignment) {
415 assert(m_struct_vars.get());
417 if (!m_struct_vars->m_struct_laid_out)
420 num_elements = m_struct_members.GetSize();
421 size = m_struct_vars->m_struct_size;
422 alignment = m_struct_vars->m_struct_alignment;
427 bool ClangExpressionDeclMap::GetStructElement(const NamedDecl *&decl,
429 lldb::offset_t &offset,
432 assert(m_struct_vars.get());
434 if (!m_struct_vars->m_struct_laid_out)
437 if (index >= m_struct_members.GetSize())
440 ExpressionVariableSP member_sp(m_struct_members.GetVariableAtIndex(index));
445 ClangExpressionVariable::ParserVars *parser_vars =
446 llvm::cast<ClangExpressionVariable>(member_sp.get())
447 ->GetParserVars(GetParserID());
448 ClangExpressionVariable::JITVars *jit_vars =
449 llvm::cast<ClangExpressionVariable>(member_sp.get())
450 ->GetJITVars(GetParserID());
452 if (!parser_vars || !jit_vars || !member_sp->GetValueObject())
455 decl = parser_vars->m_named_decl;
456 value = parser_vars->m_llvm_value;
457 offset = jit_vars->m_offset;
458 name = member_sp->GetName();
463 bool ClangExpressionDeclMap::GetFunctionInfo(const NamedDecl *decl,
465 ClangExpressionVariable *entity(ClangExpressionVariable::FindVariableInList(
466 m_found_entities, decl, GetParserID()));
471 // We know m_parser_vars is valid since we searched for the variable by
474 ClangExpressionVariable::ParserVars *parser_vars =
475 entity->GetParserVars(GetParserID());
477 ptr = parser_vars->m_lldb_value.GetScalar().ULongLong();
482 addr_t ClangExpressionDeclMap::GetSymbolAddress(Target &target,
484 const ConstString &name,
485 lldb::SymbolType symbol_type,
486 lldb_private::Module *module) {
487 SymbolContextList sc_list;
490 module->FindSymbolsWithNameAndType(name, symbol_type, sc_list);
492 target.GetImages().FindSymbolsWithNameAndType(name, symbol_type, sc_list);
494 const uint32_t num_matches = sc_list.GetSize();
495 addr_t symbol_load_addr = LLDB_INVALID_ADDRESS;
499 (symbol_load_addr == 0 || symbol_load_addr == LLDB_INVALID_ADDRESS);
501 SymbolContext sym_ctx;
502 sc_list.GetContextAtIndex(i, sym_ctx);
504 const Address sym_address = sym_ctx.symbol->GetAddress();
506 if (!sym_address.IsValid())
509 switch (sym_ctx.symbol->GetType()) {
510 case eSymbolTypeCode:
511 case eSymbolTypeTrampoline:
512 symbol_load_addr = sym_address.GetCallableLoadAddress(&target);
515 case eSymbolTypeResolver:
516 symbol_load_addr = sym_address.GetCallableLoadAddress(&target, true);
519 case eSymbolTypeReExported: {
520 ConstString reexport_name = sym_ctx.symbol->GetReExportedSymbolName();
522 ModuleSP reexport_module_sp;
523 ModuleSpec reexport_module_spec;
524 reexport_module_spec.GetPlatformFileSpec() =
525 sym_ctx.symbol->GetReExportedSymbolSharedLibrary();
526 if (reexport_module_spec.GetPlatformFileSpec()) {
528 target.GetImages().FindFirstModule(reexport_module_spec);
529 if (!reexport_module_sp) {
530 reexport_module_spec.GetPlatformFileSpec().GetDirectory().Clear();
532 target.GetImages().FindFirstModule(reexport_module_spec);
535 symbol_load_addr = GetSymbolAddress(
536 target, process, sym_ctx.symbol->GetReExportedSymbolName(),
537 symbol_type, reexport_module_sp.get());
541 case eSymbolTypeData:
542 case eSymbolTypeRuntime:
543 case eSymbolTypeVariable:
544 case eSymbolTypeLocal:
545 case eSymbolTypeParam:
546 case eSymbolTypeInvalid:
547 case eSymbolTypeAbsolute:
548 case eSymbolTypeException:
549 case eSymbolTypeSourceFile:
550 case eSymbolTypeHeaderFile:
551 case eSymbolTypeObjectFile:
552 case eSymbolTypeCommonBlock:
553 case eSymbolTypeBlock:
554 case eSymbolTypeVariableType:
555 case eSymbolTypeLineEntry:
556 case eSymbolTypeLineHeader:
557 case eSymbolTypeScopeBegin:
558 case eSymbolTypeScopeEnd:
559 case eSymbolTypeAdditional:
560 case eSymbolTypeCompiler:
561 case eSymbolTypeInstrumentation:
562 case eSymbolTypeUndefined:
563 case eSymbolTypeObjCClass:
564 case eSymbolTypeObjCMetaClass:
565 case eSymbolTypeObjCIVar:
566 symbol_load_addr = sym_address.GetLoadAddress(&target);
571 if (symbol_load_addr == LLDB_INVALID_ADDRESS && process) {
572 ObjCLanguageRuntime *runtime = process->GetObjCLanguageRuntime();
575 symbol_load_addr = runtime->LookupRuntimeSymbol(name);
579 return symbol_load_addr;
582 addr_t ClangExpressionDeclMap::GetSymbolAddress(const ConstString &name,
583 lldb::SymbolType symbol_type) {
584 assert(m_parser_vars.get());
586 if (!m_parser_vars->m_exe_ctx.GetTargetPtr())
589 return GetSymbolAddress(m_parser_vars->m_exe_ctx.GetTargetRef(),
590 m_parser_vars->m_exe_ctx.GetProcessPtr(), name,
594 const Symbol *ClangExpressionDeclMap::FindGlobalDataSymbol(
595 Target &target, const ConstString &name, lldb_private::Module *module) {
596 SymbolContextList sc_list;
599 module->FindSymbolsWithNameAndType(name, eSymbolTypeAny, sc_list);
601 target.GetImages().FindSymbolsWithNameAndType(name, eSymbolTypeAny,
604 const uint32_t matches = sc_list.GetSize();
605 for (uint32_t i = 0; i < matches; ++i) {
606 SymbolContext sym_ctx;
607 sc_list.GetContextAtIndex(i, sym_ctx);
608 if (sym_ctx.symbol) {
609 const Symbol *symbol = sym_ctx.symbol;
610 const Address sym_address = symbol->GetAddress();
612 if (sym_address.IsValid()) {
613 switch (symbol->GetType()) {
614 case eSymbolTypeData:
615 case eSymbolTypeRuntime:
616 case eSymbolTypeAbsolute:
617 case eSymbolTypeObjCClass:
618 case eSymbolTypeObjCMetaClass:
619 case eSymbolTypeObjCIVar:
620 if (symbol->GetDemangledNameIsSynthesized()) {
621 // If the demangled name was synthesized, then don't use it
622 // for expressions. Only let the symbol match if the mangled
623 // named matches for these symbols.
624 if (symbol->GetMangled().GetMangledName() != name)
629 case eSymbolTypeReExported: {
630 ConstString reexport_name = symbol->GetReExportedSymbolName();
632 ModuleSP reexport_module_sp;
633 ModuleSpec reexport_module_spec;
634 reexport_module_spec.GetPlatformFileSpec() =
635 symbol->GetReExportedSymbolSharedLibrary();
636 if (reexport_module_spec.GetPlatformFileSpec()) {
638 target.GetImages().FindFirstModule(reexport_module_spec);
639 if (!reexport_module_sp) {
640 reexport_module_spec.GetPlatformFileSpec()
644 target.GetImages().FindFirstModule(reexport_module_spec);
647 // Don't allow us to try and resolve a re-exported symbol if it is
649 // as the current symbol
650 if (name == symbol->GetReExportedSymbolName() &&
651 module == reexport_module_sp.get())
654 return FindGlobalDataSymbol(target,
655 symbol->GetReExportedSymbolName(),
656 reexport_module_sp.get());
660 case eSymbolTypeCode: // We already lookup functions elsewhere
661 case eSymbolTypeVariable:
662 case eSymbolTypeLocal:
663 case eSymbolTypeParam:
664 case eSymbolTypeTrampoline:
665 case eSymbolTypeInvalid:
666 case eSymbolTypeException:
667 case eSymbolTypeSourceFile:
668 case eSymbolTypeHeaderFile:
669 case eSymbolTypeObjectFile:
670 case eSymbolTypeCommonBlock:
671 case eSymbolTypeBlock:
672 case eSymbolTypeVariableType:
673 case eSymbolTypeLineEntry:
674 case eSymbolTypeLineHeader:
675 case eSymbolTypeScopeBegin:
676 case eSymbolTypeScopeEnd:
677 case eSymbolTypeAdditional:
678 case eSymbolTypeCompiler:
679 case eSymbolTypeInstrumentation:
680 case eSymbolTypeUndefined:
681 case eSymbolTypeResolver:
691 lldb::VariableSP ClangExpressionDeclMap::FindGlobalVariable(
692 Target &target, ModuleSP &module, const ConstString &name,
693 CompilerDeclContext *namespace_decl, TypeFromUser *type) {
696 if (module && namespace_decl)
697 module->FindGlobalVariables(name, namespace_decl, true, -1, vars);
699 target.GetImages().FindGlobalVariables(name, true, -1, vars);
701 if (vars.GetSize()) {
703 for (size_t i = 0; i < vars.GetSize(); ++i) {
704 VariableSP var_sp = vars.GetVariableAtIndex(i);
706 if (ClangASTContext::AreTypesSame(
707 *type, var_sp->GetType()->GetFullCompilerType()))
711 return vars.GetVariableAtIndex(0);
718 ClangASTContext *ClangExpressionDeclMap::GetClangASTContext() {
719 StackFrame *frame = m_parser_vars->m_exe_ctx.GetFramePtr();
720 if (frame == nullptr)
723 SymbolContext sym_ctx = frame->GetSymbolContext(lldb::eSymbolContextFunction |
724 lldb::eSymbolContextBlock);
725 if (sym_ctx.block == nullptr)
728 CompilerDeclContext frame_decl_context = sym_ctx.block->GetDeclContext();
729 if (!frame_decl_context)
732 return llvm::dyn_cast_or_null<ClangASTContext>(
733 frame_decl_context.GetTypeSystem());
736 // Interface for ClangASTSource
738 void ClangExpressionDeclMap::FindExternalVisibleDecls(
739 NameSearchContext &context) {
740 assert(m_ast_context);
742 ClangASTMetrics::RegisterVisibleQuery();
744 const ConstString name(context.m_decl_name.getAsString().c_str());
746 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
748 if (GetImportInProgress()) {
749 if (log && log->GetVerbose())
750 log->Printf("Ignoring a query during an import");
754 static unsigned int invocation_id = 0;
755 unsigned int current_id = invocation_id++;
758 if (!context.m_decl_context)
759 log->Printf("ClangExpressionDeclMap::FindExternalVisibleDecls[%u] for "
760 "'%s' in a NULL DeclContext",
761 current_id, name.GetCString());
762 else if (const NamedDecl *context_named_decl =
763 dyn_cast<NamedDecl>(context.m_decl_context))
764 log->Printf("ClangExpressionDeclMap::FindExternalVisibleDecls[%u] for "
766 current_id, name.GetCString(),
767 context_named_decl->getNameAsString().c_str());
769 log->Printf("ClangExpressionDeclMap::FindExternalVisibleDecls[%u] for "
771 current_id, name.GetCString(),
772 context.m_decl_context->getDeclKindName());
775 if (const NamespaceDecl *namespace_context =
776 dyn_cast<NamespaceDecl>(context.m_decl_context)) {
777 if (namespace_context->getName().str() ==
778 std::string(g_lldb_local_vars_namespace_cstr)) {
779 CompilerDeclContext compiler_decl_ctx(
780 GetClangASTContext(), const_cast<void *>(static_cast<const void *>(
781 context.m_decl_context)));
782 FindExternalVisibleDecls(context, lldb::ModuleSP(), compiler_decl_ctx,
787 ClangASTImporter::NamespaceMapSP namespace_map =
788 m_ast_importer_sp->GetNamespaceMap(namespace_context);
790 if (log && log->GetVerbose())
791 log->Printf(" CEDM::FEVD[%u] Inspecting (NamespaceMap*)%p (%d entries)",
792 current_id, static_cast<void *>(namespace_map.get()),
793 (int)namespace_map->size());
798 for (ClangASTImporter::NamespaceMap::iterator i = namespace_map->begin(),
799 e = namespace_map->end();
802 log->Printf(" CEDM::FEVD[%u] Searching namespace %s in module %s",
803 current_id, i->second.GetName().AsCString(),
804 i->first->GetFileSpec().GetFilename().GetCString());
806 FindExternalVisibleDecls(context, i->first, i->second, current_id);
808 } else if (isa<TranslationUnitDecl>(context.m_decl_context)) {
809 CompilerDeclContext namespace_decl;
812 log->Printf(" CEDM::FEVD[%u] Searching the root namespace", current_id);
814 FindExternalVisibleDecls(context, lldb::ModuleSP(), namespace_decl,
818 if (!context.m_found.variable && !context.m_found.local_vars_nsp)
819 ClangASTSource::FindExternalVisibleDecls(context);
822 void ClangExpressionDeclMap::FindExternalVisibleDecls(
823 NameSearchContext &context, lldb::ModuleSP module_sp,
824 CompilerDeclContext &namespace_decl, unsigned int current_id) {
825 assert(m_ast_context);
827 std::function<void(clang::FunctionDecl *)> MaybeRegisterFunctionBody =
828 [this](clang::FunctionDecl *copied_function_decl) {
829 if (copied_function_decl->getBody() && m_parser_vars->m_code_gen) {
830 DeclGroupRef decl_group_ref(copied_function_decl);
831 m_parser_vars->m_code_gen->HandleTopLevelDecl(decl_group_ref);
835 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
837 SymbolContextList sc_list;
839 const ConstString name(context.m_decl_name.getAsString().c_str());
841 const char *name_unique_cstr = name.GetCString();
843 if (name_unique_cstr == NULL)
846 static ConstString id_name("id");
847 static ConstString Class_name("Class");
849 if (name == id_name || name == Class_name)
852 // Only look for functions by name out in our symbols if the function
853 // doesn't start with our phony prefix of '$'
854 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
855 StackFrame *frame = m_parser_vars->m_exe_ctx.GetFramePtr();
856 SymbolContext sym_ctx;
857 if (frame != nullptr)
858 sym_ctx = frame->GetSymbolContext(lldb::eSymbolContextFunction |
859 lldb::eSymbolContextBlock);
861 // Try the persistent decls, which take precedence over all else.
862 if (!namespace_decl) {
867 ClangASTContext *scratch_clang_ast_context =
868 target->GetScratchClangASTContext();
870 if (!scratch_clang_ast_context)
873 ASTContext *scratch_ast_context =
874 scratch_clang_ast_context->getASTContext();
876 if (!scratch_ast_context)
879 NamedDecl *persistent_decl =
880 m_parser_vars->m_persistent_vars->GetPersistentDecl(name);
882 if (!persistent_decl)
885 Decl *parser_persistent_decl = m_ast_importer_sp->CopyDecl(
886 m_ast_context, scratch_ast_context, persistent_decl);
888 if (!parser_persistent_decl)
891 NamedDecl *parser_named_decl =
892 dyn_cast<NamedDecl>(parser_persistent_decl);
894 if (!parser_named_decl)
897 if (clang::FunctionDecl *parser_function_decl =
898 llvm::dyn_cast<clang::FunctionDecl>(parser_named_decl)) {
899 MaybeRegisterFunctionBody(parser_function_decl);
903 log->Printf(" CEDM::FEVD[%u] Found persistent decl %s", current_id,
906 context.AddNamedDecl(parser_named_decl);
910 if (name_unique_cstr[0] == '$' && !namespace_decl) {
911 static ConstString g_lldb_class_name("$__lldb_class");
913 if (name == g_lldb_class_name) {
914 // Clang is looking for the type of "this"
919 // Find the block that defines the function represented by "sym_ctx"
920 Block *function_block = sym_ctx.GetFunctionBlock();
925 CompilerDeclContext function_decl_ctx = function_block->GetDeclContext();
927 if (!function_decl_ctx)
930 clang::CXXMethodDecl *method_decl =
931 ClangASTContext::DeclContextGetAsCXXMethodDecl(function_decl_ctx);
934 clang::CXXRecordDecl *class_decl = method_decl->getParent();
936 QualType class_qual_type(class_decl->getTypeForDecl(), 0);
938 TypeFromUser class_user_type(
939 class_qual_type.getAsOpaquePtr(),
940 ClangASTContext::GetASTContext(&class_decl->getASTContext()));
943 ASTDumper ast_dumper(class_qual_type);
944 log->Printf(" CEDM::FEVD[%u] Adding type for $__lldb_class: %s",
945 current_id, ast_dumper.GetCString());
948 AddThisType(context, class_user_type, current_id);
950 if (method_decl->isInstance()) {
951 // self is a pointer to the object
953 QualType class_pointer_type =
954 method_decl->getASTContext().getPointerType(class_qual_type);
956 TypeFromUser self_user_type(
957 class_pointer_type.getAsOpaquePtr(),
958 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
960 m_struct_vars->m_object_pointer_type = self_user_type;
963 // This branch will get hit if we are executing code in the context of a
965 // claims to have an object pointer (through DW_AT_object_pointer?) but
967 // method of the class. In that case, just look up the "this" variable
969 // scope and use its type.
970 // FIXME: This code is formally correct, but clang doesn't currently
971 // emit DW_AT_object_pointer
972 // for C++ so it hasn't actually been tested.
974 VariableList *vars = frame->GetVariableList(false);
976 lldb::VariableSP this_var = vars->FindVariable(ConstString("this"));
978 if (this_var && this_var->IsInScope(frame) &&
979 this_var->LocationIsValidForFrame(frame)) {
980 Type *this_type = this_var->GetType();
985 TypeFromUser pointee_type =
986 this_type->GetForwardCompilerType().GetPointeeType();
988 if (pointee_type.IsValid()) {
990 ASTDumper ast_dumper(pointee_type);
991 log->Printf(" FEVD[%u] Adding type for $__lldb_class: %s",
992 current_id, ast_dumper.GetCString());
995 AddThisType(context, pointee_type, current_id);
996 TypeFromUser this_user_type(this_type->GetFullCompilerType());
997 m_struct_vars->m_object_pointer_type = this_user_type;
1006 static ConstString g_lldb_objc_class_name("$__lldb_objc_class");
1007 if (name == g_lldb_objc_class_name) {
1008 // Clang is looking for the type of "*self"
1013 SymbolContext sym_ctx = frame->GetSymbolContext(
1014 lldb::eSymbolContextFunction | lldb::eSymbolContextBlock);
1016 // Find the block that defines the function represented by "sym_ctx"
1017 Block *function_block = sym_ctx.GetFunctionBlock();
1019 if (!function_block)
1022 CompilerDeclContext function_decl_ctx = function_block->GetDeclContext();
1024 if (!function_decl_ctx)
1027 clang::ObjCMethodDecl *method_decl =
1028 ClangASTContext::DeclContextGetAsObjCMethodDecl(function_decl_ctx);
1031 ObjCInterfaceDecl *self_interface = method_decl->getClassInterface();
1033 if (!self_interface)
1036 const clang::Type *interface_type = self_interface->getTypeForDecl();
1038 if (!interface_type)
1039 return; // This is unlikely, but we have seen crashes where this
1042 TypeFromUser class_user_type(
1043 QualType(interface_type, 0).getAsOpaquePtr(),
1044 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
1047 ASTDumper ast_dumper(interface_type);
1048 log->Printf(" FEVD[%u] Adding type for $__lldb_objc_class: %s",
1049 current_id, ast_dumper.GetCString());
1052 AddOneType(context, class_user_type, current_id);
1054 if (method_decl->isInstanceMethod()) {
1055 // self is a pointer to the object
1057 QualType class_pointer_type =
1058 method_decl->getASTContext().getObjCObjectPointerType(
1059 QualType(interface_type, 0));
1061 TypeFromUser self_user_type(
1062 class_pointer_type.getAsOpaquePtr(),
1063 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
1065 m_struct_vars->m_object_pointer_type = self_user_type;
1067 // self is a Class pointer
1068 QualType class_type = method_decl->getASTContext().getObjCClassType();
1070 TypeFromUser self_user_type(
1071 class_type.getAsOpaquePtr(),
1072 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
1074 m_struct_vars->m_object_pointer_type = self_user_type;
1079 // This branch will get hit if we are executing code in the context of a
1081 // claims to have an object pointer (through DW_AT_object_pointer?) but
1082 // is not formally a
1083 // method of the class. In that case, just look up the "self" variable
1085 // scope and use its type.
1087 VariableList *vars = frame->GetVariableList(false);
1089 lldb::VariableSP self_var = vars->FindVariable(ConstString("self"));
1091 if (self_var && self_var->IsInScope(frame) &&
1092 self_var->LocationIsValidForFrame(frame)) {
1093 Type *self_type = self_var->GetType();
1098 CompilerType self_clang_type = self_type->GetFullCompilerType();
1100 if (ClangASTContext::IsObjCClassType(self_clang_type)) {
1102 } else if (ClangASTContext::IsObjCObjectPointerType(
1104 self_clang_type = self_clang_type.GetPointeeType();
1106 if (!self_clang_type)
1110 ASTDumper ast_dumper(self_type->GetFullCompilerType());
1111 log->Printf(" FEVD[%u] Adding type for $__lldb_objc_class: %s",
1112 current_id, ast_dumper.GetCString());
1115 TypeFromUser class_user_type(self_clang_type);
1117 AddOneType(context, class_user_type, current_id);
1119 TypeFromUser self_user_type(self_type->GetFullCompilerType());
1121 m_struct_vars->m_object_pointer_type = self_user_type;
1130 if (name == ConstString(g_lldb_local_vars_namespace_cstr)) {
1131 CompilerDeclContext frame_decl_context =
1132 sym_ctx.block != nullptr ? sym_ctx.block->GetDeclContext()
1133 : CompilerDeclContext();
1135 if (frame_decl_context) {
1136 ClangASTContext *ast = llvm::dyn_cast_or_null<ClangASTContext>(
1137 frame_decl_context.GetTypeSystem());
1140 clang::NamespaceDecl *namespace_decl =
1141 ClangASTContext::GetUniqueNamespaceDeclaration(
1142 m_ast_context, name_unique_cstr, nullptr);
1143 if (namespace_decl) {
1144 context.AddNamedDecl(namespace_decl);
1145 clang::DeclContext *clang_decl_ctx =
1146 clang::Decl::castToDeclContext(namespace_decl);
1147 clang_decl_ctx->setHasExternalVisibleStorage(true);
1148 context.m_found.local_vars_nsp = true;
1156 // any other $__lldb names should be weeded out now
1157 if (!::strncmp(name_unique_cstr, "$__lldb", sizeof("$__lldb") - 1))
1160 ExpressionVariableSP pvar_sp(
1161 m_parser_vars->m_persistent_vars->GetVariable(name));
1164 AddOneVariable(context, pvar_sp, current_id);
1168 const char *reg_name(&name.GetCString()[1]);
1170 if (m_parser_vars->m_exe_ctx.GetRegisterContext()) {
1171 const RegisterInfo *reg_info(
1172 m_parser_vars->m_exe_ctx.GetRegisterContext()->GetRegisterInfoByName(
1177 log->Printf(" CEDM::FEVD[%u] Found register %s", current_id,
1180 AddOneRegister(context, reg_info, current_id);
1184 ValueObjectSP valobj;
1187 bool local_var_lookup =
1188 !namespace_decl || (namespace_decl.GetName() ==
1189 ConstString(g_lldb_local_vars_namespace_cstr));
1190 if (frame && local_var_lookup) {
1191 CompilerDeclContext compiler_decl_context =
1192 sym_ctx.block != nullptr ? sym_ctx.block->GetDeclContext()
1193 : CompilerDeclContext();
1195 if (compiler_decl_context) {
1196 // Make sure that the variables are parsed so that we have the
1198 VariableListSP vars = frame->GetInScopeVariableList(true);
1199 for (size_t i = 0; i < vars->GetSize(); i++)
1200 vars->GetVariableAtIndex(i)->GetDecl();
1202 // Search for declarations matching the name. Do not include imported
1204 // in the search if we are looking for decls in the artificial namespace
1205 // $__lldb_local_vars.
1206 std::vector<CompilerDecl> found_decls =
1207 compiler_decl_context.FindDeclByName(name,
1208 namespace_decl.IsValid());
1210 bool variable_found = false;
1211 for (CompilerDecl decl : found_decls) {
1212 for (size_t vi = 0, ve = vars->GetSize(); vi != ve; ++vi) {
1213 VariableSP candidate_var = vars->GetVariableAtIndex(vi);
1214 if (candidate_var->GetDecl() == decl) {
1215 var = candidate_var;
1221 variable_found = true;
1222 valobj = ValueObjectVariable::Create(frame, var);
1223 AddOneVariable(context, var, valobj, current_id);
1224 context.m_found.variable = true;
1232 var = FindGlobalVariable(*target, module_sp, name, &namespace_decl, NULL);
1235 valobj = ValueObjectVariable::Create(target, var);
1236 AddOneVariable(context, var, valobj, current_id);
1237 context.m_found.variable = true;
1242 std::vector<clang::NamedDecl *> decls_from_modules;
1245 if (ClangModulesDeclVendor *decl_vendor =
1246 target->GetClangModulesDeclVendor()) {
1247 decl_vendor->FindDecls(name, false, UINT32_MAX, decls_from_modules);
1251 if (!context.m_found.variable) {
1252 const bool include_inlines = false;
1253 const bool append = false;
1255 if (namespace_decl && module_sp) {
1256 const bool include_symbols = false;
1258 module_sp->FindFunctions(name, &namespace_decl, eFunctionNameTypeBase,
1259 include_symbols, include_inlines, append,
1261 } else if (target && !namespace_decl) {
1262 const bool include_symbols = true;
1264 // TODO Fix FindFunctions so that it doesn't return
1265 // instance methods for eFunctionNameTypeBase.
1267 target->GetImages().FindFunctions(name, eFunctionNameTypeFull,
1268 include_symbols, include_inlines,
1272 // If we found more than one function, see if we can use the
1273 // frame's decl context to remove functions that are shadowed
1274 // by other functions which match in type but are nearer in scope.
1276 // AddOneFunction will not add a function whose type has already been
1277 // added, so if there's another function in the list with a matching
1278 // type, check to see if their decl context is a parent of the current
1279 // frame's or was imported via a and using statement, and pick the
1280 // best match according to lookup rules.
1281 if (sc_list.GetSize() > 1) {
1282 // Collect some info about our frame's context.
1283 StackFrame *frame = m_parser_vars->m_exe_ctx.GetFramePtr();
1284 SymbolContext frame_sym_ctx;
1285 if (frame != nullptr)
1286 frame_sym_ctx = frame->GetSymbolContext(lldb::eSymbolContextFunction |
1287 lldb::eSymbolContextBlock);
1288 CompilerDeclContext frame_decl_context =
1289 frame_sym_ctx.block != nullptr
1290 ? frame_sym_ctx.block->GetDeclContext()
1291 : CompilerDeclContext();
1293 // We can't do this without a compiler decl context for our frame.
1294 if (frame_decl_context) {
1295 clang::DeclContext *frame_decl_ctx =
1296 (clang::DeclContext *)frame_decl_context.GetOpaqueDeclContext();
1297 ClangASTContext *ast = llvm::dyn_cast_or_null<ClangASTContext>(
1298 frame_decl_context.GetTypeSystem());
1300 // Structure to hold the info needed when comparing function
1302 struct FuncDeclInfo {
1304 CompilerType m_copied_type;
1305 uint32_t m_decl_lvl;
1306 SymbolContext m_sym_ctx;
1309 // First, symplify things by looping through the symbol contexts
1310 // to remove unwanted functions and separate out the functions we
1311 // want to compare and prune into a separate list.
1312 // Cache the info needed about the function declarations in a
1313 // vector for efficiency.
1314 SymbolContextList sc_sym_list;
1315 uint32_t num_indices = sc_list.GetSize();
1316 std::vector<FuncDeclInfo> fdi_cache;
1317 fdi_cache.reserve(num_indices);
1318 for (uint32_t index = 0; index < num_indices; ++index) {
1320 SymbolContext sym_ctx;
1321 sc_list.GetContextAtIndex(index, sym_ctx);
1323 // We don't know enough about symbols to compare them,
1324 // but we should keep them in the list.
1325 Function *function = sym_ctx.function;
1327 sc_sym_list.Append(sym_ctx);
1330 // Filter out functions without declaration contexts, as well as
1331 // class/instance methods, since they'll be skipped in the
1332 // code that follows anyway.
1333 CompilerDeclContext func_decl_context = function->GetDeclContext();
1334 if (!func_decl_context ||
1335 func_decl_context.IsClassMethod(nullptr, nullptr, nullptr))
1337 // We can only prune functions for which we can copy the type.
1338 CompilerType func_clang_type =
1339 function->GetType()->GetFullCompilerType();
1340 CompilerType copied_func_type = GuardedCopyType(func_clang_type);
1341 if (!copied_func_type) {
1342 sc_sym_list.Append(sym_ctx);
1346 fdi.m_sym_ctx = sym_ctx;
1347 fdi.m_name = function->GetName();
1348 fdi.m_copied_type = copied_func_type;
1349 fdi.m_decl_lvl = LLDB_INVALID_DECL_LEVEL;
1350 if (fdi.m_copied_type && func_decl_context) {
1351 // Call CountDeclLevels to get the number of parent scopes we
1352 // have to look through before we find the function declaration.
1353 // When comparing functions of the same type, the one with a
1354 // lower count will be closer to us in the lookup scope and
1355 // shadows the other.
1356 clang::DeclContext *func_decl_ctx =
1357 (clang::DeclContext *)
1358 func_decl_context.GetOpaqueDeclContext();
1360 ast->CountDeclLevels(frame_decl_ctx, func_decl_ctx,
1361 &fdi.m_name, &fdi.m_copied_type);
1363 fdi_cache.emplace_back(fdi);
1366 // Loop through the functions in our cache looking for matching types,
1367 // then compare their scope levels to see which is closer.
1368 std::multimap<CompilerType, const FuncDeclInfo *> matches;
1369 for (const FuncDeclInfo &fdi : fdi_cache) {
1370 const CompilerType t = fdi.m_copied_type;
1371 auto q = matches.find(t);
1372 if (q != matches.end()) {
1373 if (q->second->m_decl_lvl > fdi.m_decl_lvl)
1374 // This function is closer; remove the old set.
1376 else if (q->second->m_decl_lvl < fdi.m_decl_lvl)
1377 // The functions in our set are closer - skip this one.
1380 matches.insert(std::make_pair(t, &fdi));
1383 // Loop through our matches and add their symbol contexts to our list.
1384 SymbolContextList sc_func_list;
1385 for (const auto &q : matches)
1386 sc_func_list.Append(q.second->m_sym_ctx);
1388 // Rejoin the lists with the functions in front.
1389 sc_list = sc_func_list;
1390 sc_list.Append(sc_sym_list);
1394 if (sc_list.GetSize()) {
1395 Symbol *extern_symbol = NULL;
1396 Symbol *non_extern_symbol = NULL;
1398 for (uint32_t index = 0, num_indices = sc_list.GetSize();
1399 index < num_indices; ++index) {
1400 SymbolContext sym_ctx;
1401 sc_list.GetContextAtIndex(index, sym_ctx);
1403 if (sym_ctx.function) {
1404 CompilerDeclContext decl_ctx = sym_ctx.function->GetDeclContext();
1409 // Filter out class/instance methods.
1410 if (decl_ctx.IsClassMethod(nullptr, nullptr, nullptr))
1413 AddOneFunction(context, sym_ctx.function, NULL, current_id);
1414 context.m_found.function_with_type_info = true;
1415 context.m_found.function = true;
1416 } else if (sym_ctx.symbol) {
1417 if (sym_ctx.symbol->GetType() == eSymbolTypeReExported && target) {
1418 sym_ctx.symbol = sym_ctx.symbol->ResolveReExportedSymbol(*target);
1419 if (sym_ctx.symbol == NULL)
1423 if (sym_ctx.symbol->IsExternal())
1424 extern_symbol = sym_ctx.symbol;
1426 non_extern_symbol = sym_ctx.symbol;
1430 if (!context.m_found.function_with_type_info) {
1431 for (clang::NamedDecl *decl : decls_from_modules) {
1432 if (llvm::isa<clang::FunctionDecl>(decl)) {
1433 clang::NamedDecl *copied_decl =
1434 llvm::cast_or_null<FunctionDecl>(m_ast_importer_sp->CopyDecl(
1435 m_ast_context, &decl->getASTContext(), decl));
1437 context.AddNamedDecl(copied_decl);
1438 context.m_found.function_with_type_info = true;
1444 if (!context.m_found.function_with_type_info) {
1445 if (extern_symbol) {
1446 AddOneFunction(context, NULL, extern_symbol, current_id);
1447 context.m_found.function = true;
1448 } else if (non_extern_symbol) {
1449 AddOneFunction(context, NULL, non_extern_symbol, current_id);
1450 context.m_found.function = true;
1455 if (!context.m_found.function_with_type_info) {
1456 // Try the modules next.
1459 if (ClangModulesDeclVendor *modules_decl_vendor =
1460 m_target->GetClangModulesDeclVendor()) {
1461 bool append = false;
1462 uint32_t max_matches = 1;
1463 std::vector<clang::NamedDecl *> decls;
1465 if (!modules_decl_vendor->FindDecls(name, append, max_matches,
1469 clang::NamedDecl *const decl_from_modules = decls[0];
1471 if (llvm::isa<clang::FunctionDecl>(decl_from_modules)) {
1473 log->Printf(" CAS::FEVD[%u] Matching function found for "
1474 "\"%s\" in the modules",
1475 current_id, name.GetCString());
1478 clang::Decl *copied_decl = m_ast_importer_sp->CopyDecl(
1479 m_ast_context, &decl_from_modules->getASTContext(),
1481 clang::FunctionDecl *copied_function_decl =
1482 copied_decl ? dyn_cast<clang::FunctionDecl>(copied_decl)
1485 if (!copied_function_decl) {
1487 log->Printf(" CAS::FEVD[%u] - Couldn't export a function "
1488 "declaration from the modules",
1494 MaybeRegisterFunctionBody(copied_function_decl);
1496 context.AddNamedDecl(copied_function_decl);
1498 context.m_found.function_with_type_info = true;
1499 context.m_found.function = true;
1500 } else if (llvm::isa<clang::VarDecl>(decl_from_modules)) {
1502 log->Printf(" CAS::FEVD[%u] Matching variable found for "
1503 "\"%s\" in the modules",
1504 current_id, name.GetCString());
1507 clang::Decl *copied_decl = m_ast_importer_sp->CopyDecl(
1508 m_ast_context, &decl_from_modules->getASTContext(),
1510 clang::VarDecl *copied_var_decl =
1511 copied_decl ? dyn_cast_or_null<clang::VarDecl>(copied_decl)
1514 if (!copied_var_decl) {
1516 log->Printf(" CAS::FEVD[%u] - Couldn't export a variable "
1517 "declaration from the modules",
1523 context.AddNamedDecl(copied_var_decl);
1525 context.m_found.variable = true;
1531 if (target && !context.m_found.variable && !namespace_decl) {
1532 // We couldn't find a non-symbol variable for this. Now we'll hunt for
1534 // data symbol, and -- if it is found -- treat it as a variable.
1536 const Symbol *data_symbol = FindGlobalDataSymbol(*target, name);
1539 std::string warning("got name from symbols: ");
1540 warning.append(name.AsCString());
1541 const unsigned diag_id =
1542 m_ast_context->getDiagnostics().getCustomDiagID(
1543 clang::DiagnosticsEngine::Level::Warning, "%0");
1544 m_ast_context->getDiagnostics().Report(diag_id) << warning.c_str();
1545 AddOneGenericVariable(context, *data_symbol, current_id);
1546 context.m_found.variable = true;
1553 // static opaque_compiler_type_t
1554 // MaybePromoteToBlockPointerType
1556 // ASTContext *ast_context,
1557 // opaque_compiler_type_t candidate_type
1560 // if (!candidate_type)
1561 // return candidate_type;
1563 // QualType candidate_qual_type = QualType::getFromOpaquePtr(candidate_type);
1565 // const PointerType *candidate_pointer_type =
1566 // dyn_cast<PointerType>(candidate_qual_type);
1568 // if (!candidate_pointer_type)
1569 // return candidate_type;
1571 // QualType pointee_qual_type = candidate_pointer_type->getPointeeType();
1573 // const RecordType *pointee_record_type =
1574 // dyn_cast<RecordType>(pointee_qual_type);
1576 // if (!pointee_record_type)
1577 // return candidate_type;
1579 // RecordDecl *pointee_record_decl = pointee_record_type->getDecl();
1581 // if (!pointee_record_decl->isRecord())
1582 // return candidate_type;
1585 // (!pointee_record_decl->getName().startswith(llvm::StringRef("__block_literal_")))
1586 // return candidate_type;
1588 // QualType generic_function_type =
1589 // ast_context->getFunctionNoProtoType(ast_context->UnknownAnyTy);
1590 // QualType block_pointer_type =
1591 // ast_context->getBlockPointerType(generic_function_type);
1593 // return block_pointer_type.getAsOpaquePtr();
1596 bool ClangExpressionDeclMap::GetVariableValue(VariableSP &var,
1597 lldb_private::Value &var_location,
1598 TypeFromUser *user_type,
1599 TypeFromParser *parser_type) {
1600 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1602 Type *var_type = var->GetType();
1606 log->PutCString("Skipped a definition because it has no type");
1610 CompilerType var_clang_type = var_type->GetFullCompilerType();
1612 if (!var_clang_type) {
1614 log->PutCString("Skipped a definition because it has no Clang type");
1618 ClangASTContext *clang_ast = llvm::dyn_cast_or_null<ClangASTContext>(
1619 var_type->GetForwardCompilerType().GetTypeSystem());
1623 log->PutCString("Skipped a definition because it has no Clang AST");
1627 ASTContext *ast = clang_ast->getASTContext();
1632 "There is no AST context for the current execution context");
1635 // var_clang_type = MaybePromoteToBlockPointerType (ast, var_clang_type);
1637 DWARFExpression &var_location_expr = var->LocationExpression();
1639 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
1642 if (var->GetLocationIsConstantValueData()) {
1643 DataExtractor const_value_extractor;
1645 if (var_location_expr.GetExpressionData(const_value_extractor)) {
1646 var_location = Value(const_value_extractor.GetDataStart(),
1647 const_value_extractor.GetByteSize());
1648 var_location.SetValueType(Value::eValueTypeHostAddress);
1651 log->Printf("Error evaluating constant variable: %s", err.AsCString());
1656 CompilerType type_to_use = GuardedCopyType(var_clang_type);
1661 "Couldn't copy a variable's type into the parser's AST context");
1667 *parser_type = TypeFromParser(type_to_use);
1669 if (var_location.GetContextType() == Value::eContextTypeInvalid)
1670 var_location.SetCompilerType(type_to_use);
1672 if (var_location.GetValueType() == Value::eValueTypeFileAddress) {
1673 SymbolContext var_sc;
1674 var->CalculateSymbolContext(&var_sc);
1676 if (!var_sc.module_sp)
1679 Address so_addr(var_location.GetScalar().ULongLong(),
1680 var_sc.module_sp->GetSectionList());
1682 lldb::addr_t load_addr = so_addr.GetLoadAddress(target);
1684 if (load_addr != LLDB_INVALID_ADDRESS) {
1685 var_location.GetScalar() = load_addr;
1686 var_location.SetValueType(Value::eValueTypeLoadAddress);
1691 *user_type = TypeFromUser(var_clang_type);
1696 void ClangExpressionDeclMap::AddOneVariable(NameSearchContext &context,
1698 ValueObjectSP valobj,
1699 unsigned int current_id) {
1700 assert(m_parser_vars.get());
1702 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1708 if (!GetVariableValue(var, var_location, &ut, &pt))
1711 clang::QualType parser_opaque_type =
1712 QualType::getFromOpaquePtr(pt.GetOpaqueQualType());
1714 if (parser_opaque_type.isNull())
1717 if (const clang::Type *parser_type = parser_opaque_type.getTypePtr()) {
1718 if (const TagType *tag_type = dyn_cast<TagType>(parser_type))
1719 CompleteType(tag_type->getDecl());
1720 if (const ObjCObjectPointerType *objc_object_ptr_type =
1721 dyn_cast<ObjCObjectPointerType>(parser_type))
1722 CompleteType(objc_object_ptr_type->getInterfaceDecl());
1725 bool is_reference = pt.IsReferenceType();
1727 NamedDecl *var_decl = NULL;
1729 var_decl = context.AddVarDecl(pt);
1731 var_decl = context.AddVarDecl(pt.GetLValueReferenceType());
1733 std::string decl_name(context.m_decl_name.getAsString());
1734 ConstString entity_name(decl_name.c_str());
1735 ClangExpressionVariable *entity(new ClangExpressionVariable(valobj));
1736 m_found_entities.AddNewlyConstructedVariable(entity);
1739 entity->EnableParserVars(GetParserID());
1740 ClangExpressionVariable::ParserVars *parser_vars =
1741 entity->GetParserVars(GetParserID());
1742 parser_vars->m_parser_type = pt;
1743 parser_vars->m_named_decl = var_decl;
1744 parser_vars->m_llvm_value = NULL;
1745 parser_vars->m_lldb_value = var_location;
1746 parser_vars->m_lldb_var = var;
1749 entity->m_flags |= ClangExpressionVariable::EVTypeIsReference;
1752 ASTDumper orig_dumper(ut.GetOpaqueQualType());
1753 ASTDumper ast_dumper(var_decl);
1754 log->Printf(" CEDM::FEVD[%u] Found variable %s, returned %s (original %s)",
1755 current_id, decl_name.c_str(), ast_dumper.GetCString(),
1756 orig_dumper.GetCString());
1760 void ClangExpressionDeclMap::AddOneVariable(NameSearchContext &context,
1761 ExpressionVariableSP &pvar_sp,
1762 unsigned int current_id) {
1763 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1765 TypeFromUser user_type(
1766 llvm::cast<ClangExpressionVariable>(pvar_sp.get())->GetTypeFromUser());
1768 TypeFromParser parser_type(GuardedCopyType(user_type));
1770 if (!parser_type.GetOpaqueQualType()) {
1772 log->Printf(" CEDM::FEVD[%u] Couldn't import type for pvar %s",
1773 current_id, pvar_sp->GetName().GetCString());
1777 NamedDecl *var_decl =
1778 context.AddVarDecl(parser_type.GetLValueReferenceType());
1780 llvm::cast<ClangExpressionVariable>(pvar_sp.get())
1781 ->EnableParserVars(GetParserID());
1782 ClangExpressionVariable::ParserVars *parser_vars =
1783 llvm::cast<ClangExpressionVariable>(pvar_sp.get())
1784 ->GetParserVars(GetParserID());
1785 parser_vars->m_parser_type = parser_type;
1786 parser_vars->m_named_decl = var_decl;
1787 parser_vars->m_llvm_value = NULL;
1788 parser_vars->m_lldb_value.Clear();
1791 ASTDumper ast_dumper(var_decl);
1792 log->Printf(" CEDM::FEVD[%u] Added pvar %s, returned %s", current_id,
1793 pvar_sp->GetName().GetCString(), ast_dumper.GetCString());
1797 void ClangExpressionDeclMap::AddOneGenericVariable(NameSearchContext &context,
1798 const Symbol &symbol,
1799 unsigned int current_id) {
1800 assert(m_parser_vars.get());
1802 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1804 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
1809 ASTContext *scratch_ast_context =
1810 target->GetScratchClangASTContext()->getASTContext();
1812 TypeFromUser user_type(
1813 ClangASTContext::GetBasicType(scratch_ast_context, eBasicTypeVoid)
1815 .GetLValueReferenceType());
1816 TypeFromParser parser_type(
1817 ClangASTContext::GetBasicType(m_ast_context, eBasicTypeVoid)
1819 .GetLValueReferenceType());
1820 NamedDecl *var_decl = context.AddVarDecl(parser_type);
1822 std::string decl_name(context.m_decl_name.getAsString());
1823 ConstString entity_name(decl_name.c_str());
1824 ClangExpressionVariable *entity(new ClangExpressionVariable(
1825 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(), entity_name,
1826 user_type, m_parser_vars->m_target_info.byte_order,
1827 m_parser_vars->m_target_info.address_byte_size));
1828 m_found_entities.AddNewlyConstructedVariable(entity);
1830 entity->EnableParserVars(GetParserID());
1831 ClangExpressionVariable::ParserVars *parser_vars =
1832 entity->GetParserVars(GetParserID());
1834 const Address symbol_address = symbol.GetAddress();
1835 lldb::addr_t symbol_load_addr = symbol_address.GetLoadAddress(target);
1837 // parser_vars->m_lldb_value.SetContext(Value::eContextTypeClangType,
1838 // user_type.GetOpaqueQualType());
1839 parser_vars->m_lldb_value.SetCompilerType(user_type);
1840 parser_vars->m_lldb_value.GetScalar() = symbol_load_addr;
1841 parser_vars->m_lldb_value.SetValueType(Value::eValueTypeLoadAddress);
1843 parser_vars->m_parser_type = parser_type;
1844 parser_vars->m_named_decl = var_decl;
1845 parser_vars->m_llvm_value = NULL;
1846 parser_vars->m_lldb_sym = &symbol;
1849 ASTDumper ast_dumper(var_decl);
1851 log->Printf(" CEDM::FEVD[%u] Found variable %s, returned %s", current_id,
1852 decl_name.c_str(), ast_dumper.GetCString());
1856 bool ClangExpressionDeclMap::ResolveUnknownTypes() {
1857 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1858 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
1860 ClangASTContext *scratch_ast_context = target->GetScratchClangASTContext();
1862 for (size_t index = 0, num_entities = m_found_entities.GetSize();
1863 index < num_entities; ++index) {
1864 ExpressionVariableSP entity = m_found_entities.GetVariableAtIndex(index);
1866 ClangExpressionVariable::ParserVars *parser_vars =
1867 llvm::cast<ClangExpressionVariable>(entity.get())
1868 ->GetParserVars(GetParserID());
1870 if (entity->m_flags & ClangExpressionVariable::EVUnknownType) {
1871 const NamedDecl *named_decl = parser_vars->m_named_decl;
1872 const VarDecl *var_decl = dyn_cast<VarDecl>(named_decl);
1876 log->Printf("Entity of unknown type does not have a VarDecl");
1881 ASTDumper ast_dumper(const_cast<VarDecl *>(var_decl));
1882 log->Printf("Variable of unknown type now has Decl %s",
1883 ast_dumper.GetCString());
1886 QualType var_type = var_decl->getType();
1887 TypeFromParser parser_type(
1888 var_type.getAsOpaquePtr(),
1889 ClangASTContext::GetASTContext(&var_decl->getASTContext()));
1891 lldb::opaque_compiler_type_t copied_type = m_ast_importer_sp->CopyType(
1892 scratch_ast_context->getASTContext(), &var_decl->getASTContext(),
1893 var_type.getAsOpaquePtr());
1897 log->Printf("ClangExpressionDeclMap::ResolveUnknownType - Couldn't "
1898 "import the type for a variable");
1900 return (bool)lldb::ExpressionVariableSP();
1903 TypeFromUser user_type(copied_type, scratch_ast_context);
1905 // parser_vars->m_lldb_value.SetContext(Value::eContextTypeClangType,
1906 // user_type.GetOpaqueQualType());
1907 parser_vars->m_lldb_value.SetCompilerType(user_type);
1908 parser_vars->m_parser_type = parser_type;
1910 entity->SetCompilerType(user_type);
1912 entity->m_flags &= ~(ClangExpressionVariable::EVUnknownType);
1919 void ClangExpressionDeclMap::AddOneRegister(NameSearchContext &context,
1920 const RegisterInfo *reg_info,
1921 unsigned int current_id) {
1922 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1924 CompilerType clang_type =
1925 ClangASTContext::GetBuiltinTypeForEncodingAndBitSize(
1926 m_ast_context, reg_info->encoding, reg_info->byte_size * 8);
1930 log->Printf(" Tried to add a type for %s, but couldn't get one",
1931 context.m_decl_name.getAsString().c_str());
1935 TypeFromParser parser_clang_type(clang_type);
1937 NamedDecl *var_decl = context.AddVarDecl(parser_clang_type);
1939 ClangExpressionVariable *entity(new ClangExpressionVariable(
1940 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(),
1941 m_parser_vars->m_target_info.byte_order,
1942 m_parser_vars->m_target_info.address_byte_size));
1943 m_found_entities.AddNewlyConstructedVariable(entity);
1945 std::string decl_name(context.m_decl_name.getAsString());
1946 entity->SetName(ConstString(decl_name.c_str()));
1947 entity->SetRegisterInfo(reg_info);
1948 entity->EnableParserVars(GetParserID());
1949 ClangExpressionVariable::ParserVars *parser_vars =
1950 entity->GetParserVars(GetParserID());
1951 parser_vars->m_parser_type = parser_clang_type;
1952 parser_vars->m_named_decl = var_decl;
1953 parser_vars->m_llvm_value = NULL;
1954 parser_vars->m_lldb_value.Clear();
1955 entity->m_flags |= ClangExpressionVariable::EVBareRegister;
1958 ASTDumper ast_dumper(var_decl);
1959 log->Printf(" CEDM::FEVD[%d] Added register %s, returned %s", current_id,
1960 context.m_decl_name.getAsString().c_str(),
1961 ast_dumper.GetCString());
1965 void ClangExpressionDeclMap::AddOneFunction(NameSearchContext &context,
1966 Function *function, Symbol *symbol,
1967 unsigned int current_id) {
1968 assert(m_parser_vars.get());
1970 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1972 NamedDecl *function_decl = NULL;
1973 Address fun_address;
1974 CompilerType function_clang_type;
1976 bool is_indirect_function = false;
1979 Type *function_type = function->GetType();
1981 const auto lang = function->GetCompileUnit()->GetLanguage();
1982 const auto name = function->GetMangled().GetMangledName().AsCString();
1983 const bool extern_c = (Language::LanguageIsC(lang) &&
1984 !CPlusPlusLanguage::IsCPPMangledName(name)) ||
1985 (Language::LanguageIsObjC(lang) &&
1986 !Language::LanguageIsCPlusPlus(lang));
1989 TypeSystem *type_system = function->GetDeclContext().GetTypeSystem();
1990 if (ClangASTContext *src_ast =
1991 llvm::dyn_cast<ClangASTContext>(type_system)) {
1992 clang::DeclContext *src_decl_context =
1993 (clang::DeclContext *)function->GetDeclContext()
1994 .GetOpaqueDeclContext();
1995 clang::FunctionDecl *src_function_decl =
1996 llvm::dyn_cast_or_null<clang::FunctionDecl>(src_decl_context);
1998 if (src_function_decl) {
1999 if (clang::FunctionDecl *copied_function_decl =
2000 llvm::dyn_cast_or_null<clang::FunctionDecl>(
2001 m_ast_importer_sp->CopyDecl(m_ast_context,
2002 src_ast->getASTContext(),
2003 src_function_decl))) {
2005 ASTDumper ast_dumper((clang::Decl *)copied_function_decl);
2009 function->DumpSymbolContext(&ss);
2011 log->Printf(" CEDM::FEVD[%u] Imported decl for function %s "
2012 "(description %s), returned %s",
2014 copied_function_decl->getNameAsString().c_str(),
2015 ss.GetData(), ast_dumper.GetCString());
2018 context.AddNamedDecl(copied_function_decl);
2022 log->Printf(" Failed to import the function decl for '%s'",
2023 src_function_decl->getName().str().c_str());
2030 if (!function_type) {
2032 log->PutCString(" Skipped a function because it has no type");
2036 function_clang_type = function_type->GetFullCompilerType();
2038 if (!function_clang_type) {
2040 log->PutCString(" Skipped a function because it has no Clang type");
2044 fun_address = function->GetAddressRange().GetBaseAddress();
2046 CompilerType copied_function_type = GuardedCopyType(function_clang_type);
2047 if (copied_function_type) {
2048 function_decl = context.AddFunDecl(copied_function_type, extern_c);
2050 if (!function_decl) {
2053 " Failed to create a function decl for '%s' {0x%8.8" PRIx64 "}",
2054 function_type->GetName().GetCString(), function_type->GetID());
2060 // We failed to copy the type we found
2062 log->Printf(" Failed to import the function type '%s' {0x%8.8" PRIx64
2063 "} into the expression parser AST contenxt",
2064 function_type->GetName().GetCString(),
2065 function_type->GetID());
2070 } else if (symbol) {
2071 fun_address = symbol->GetAddress();
2072 function_decl = context.AddGenericFunDecl();
2073 is_indirect_function = symbol->IsIndirect();
2076 log->PutCString(" AddOneFunction called with no function and no symbol");
2080 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
2082 lldb::addr_t load_addr =
2083 fun_address.GetCallableLoadAddress(target, is_indirect_function);
2085 ClangExpressionVariable *entity(new ClangExpressionVariable(
2086 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(),
2087 m_parser_vars->m_target_info.byte_order,
2088 m_parser_vars->m_target_info.address_byte_size));
2089 m_found_entities.AddNewlyConstructedVariable(entity);
2091 std::string decl_name(context.m_decl_name.getAsString());
2092 entity->SetName(ConstString(decl_name.c_str()));
2093 entity->SetCompilerType(function_clang_type);
2094 entity->EnableParserVars(GetParserID());
2096 ClangExpressionVariable::ParserVars *parser_vars =
2097 entity->GetParserVars(GetParserID());
2099 if (load_addr != LLDB_INVALID_ADDRESS) {
2100 parser_vars->m_lldb_value.SetValueType(Value::eValueTypeLoadAddress);
2101 parser_vars->m_lldb_value.GetScalar() = load_addr;
2103 // We have to try finding a file address.
2105 lldb::addr_t file_addr = fun_address.GetFileAddress();
2107 parser_vars->m_lldb_value.SetValueType(Value::eValueTypeFileAddress);
2108 parser_vars->m_lldb_value.GetScalar() = file_addr;
2111 parser_vars->m_named_decl = function_decl;
2112 parser_vars->m_llvm_value = NULL;
2115 ASTDumper ast_dumper(function_decl);
2119 fun_address.Dump(&ss,
2120 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(),
2121 Address::DumpStyleResolvedDescription);
2124 " CEDM::FEVD[%u] Found %s function %s (description %s), returned %s",
2125 current_id, (function ? "specific" : "generic"), decl_name.c_str(),
2126 ss.GetData(), ast_dumper.GetCString());
2130 void ClangExpressionDeclMap::AddThisType(NameSearchContext &context,
2132 unsigned int current_id) {
2133 CompilerType copied_clang_type = GuardedCopyType(ut);
2135 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
2137 if (!copied_clang_type) {
2140 "ClangExpressionDeclMap::AddThisType - Couldn't import the type");
2145 if (copied_clang_type.IsAggregateType() &&
2146 copied_clang_type.GetCompleteType()) {
2147 CompilerType void_clang_type =
2148 ClangASTContext::GetBasicType(m_ast_context, eBasicTypeVoid);
2149 CompilerType void_ptr_clang_type = void_clang_type.GetPointerType();
2151 CompilerType method_type = ClangASTContext::CreateFunctionType(
2152 m_ast_context, void_clang_type, &void_ptr_clang_type, 1, false, 0);
2154 const bool is_virtual = false;
2155 const bool is_static = false;
2156 const bool is_inline = false;
2157 const bool is_explicit = false;
2158 const bool is_attr_used = true;
2159 const bool is_artificial = false;
2161 CXXMethodDecl *method_decl =
2162 ClangASTContext::GetASTContext(m_ast_context)
2163 ->AddMethodToCXXRecordType(
2164 copied_clang_type.GetOpaqueQualType(), "$__lldb_expr",
2165 method_type, lldb::eAccessPublic, is_virtual, is_static,
2166 is_inline, is_explicit, is_attr_used, is_artificial);
2169 ASTDumper method_ast_dumper((clang::Decl *)method_decl);
2170 ASTDumper type_ast_dumper(copied_clang_type);
2172 log->Printf(" CEDM::AddThisType Added function $__lldb_expr "
2173 "(description %s) for this type %s",
2174 method_ast_dumper.GetCString(), type_ast_dumper.GetCString());
2178 if (!copied_clang_type.IsValid())
2181 TypeSourceInfo *type_source_info = m_ast_context->getTrivialTypeSourceInfo(
2182 QualType::getFromOpaquePtr(copied_clang_type.GetOpaqueQualType()));
2184 if (!type_source_info)
2187 // Construct a typedef type because if "*this" is a templated type we can't
2188 // just return ClassTemplateSpecializationDecls in response to name queries.
2189 // Using a typedef makes this much more robust.
2191 TypedefDecl *typedef_decl = TypedefDecl::Create(
2192 *m_ast_context, m_ast_context->getTranslationUnitDecl(), SourceLocation(),
2193 SourceLocation(), context.m_decl_name.getAsIdentifierInfo(),
2199 context.AddNamedDecl(typedef_decl);
2204 void ClangExpressionDeclMap::AddOneType(NameSearchContext &context,
2206 unsigned int current_id) {
2207 CompilerType copied_clang_type = GuardedCopyType(ut);
2209 if (!copied_clang_type) {
2210 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
2214 "ClangExpressionDeclMap::AddOneType - Couldn't import the type");
2219 context.AddTypeDecl(copied_clang_type);