blob: 1f78fb96bc3480d559204eb56f7778daf7d0eaf3 [file] [log] [blame]
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001//===-- ClangExpressionDeclMap.cpp -----------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Sean Callanan4dbb2712015-09-25 20:35:58 +000010#include "ClangExpressionDeclMap.h"
11
12#include "ASTDumper.h"
13#include "ClangASTSource.h"
14#include "ClangModulesDeclVendor.h"
15#include "ClangPersistentVariables.h"
16
Chris Lattner30fdc8d2010-06-08 16:52:24 +000017#include "lldb/Core/Address.h"
18#include "lldb/Core/Module.h"
Greg Clayton9191db42013-10-21 18:40:51 +000019#include "lldb/Core/ModuleSpec.h"
Greg Clayton7349bd92011-05-09 20:18:18 +000020#include "lldb/Core/RegisterValue.h"
Sean Callanane4ec90e2010-12-16 03:17:46 +000021#include "lldb/Core/ValueObjectConstResult.h"
Sean Callanan9b3569b2011-12-10 03:12:34 +000022#include "lldb/Core/ValueObjectVariable.h"
Sean Callanan96d27302013-04-11 00:09:05 +000023#include "lldb/Expression/Materializer.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000024#include "lldb/Symbol/ClangASTContext.h"
Kate Stoneb9c1b512016-09-06 20:57:50 +000025#include "lldb/Symbol/CompileUnit.h"
Paul Hermand628cbb2015-09-15 23:44:17 +000026#include "lldb/Symbol/CompilerDecl.h"
Greg Clayton99558cc42015-08-24 23:46:31 +000027#include "lldb/Symbol/CompilerDeclContext.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000028#include "lldb/Symbol/Function.h"
29#include "lldb/Symbol/ObjectFile.h"
30#include "lldb/Symbol/SymbolContext.h"
Siva Chandra9293fc42016-01-07 23:32:34 +000031#include "lldb/Symbol/SymbolFile.h"
Sean Callanan503aa522011-10-12 00:12:34 +000032#include "lldb/Symbol/SymbolVendor.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000033#include "lldb/Symbol/Type.h"
34#include "lldb/Symbol/TypeList.h"
35#include "lldb/Symbol/Variable.h"
36#include "lldb/Symbol/VariableList.h"
Sean Callanana0d56432014-11-11 02:49:44 +000037#include "lldb/Target/CPPLanguageRuntime.h"
Sean Callanan1d180662010-07-20 23:31:16 +000038#include "lldb/Target/ExecutionContext.h"
Sean Callanane0b23b52012-11-15 02:02:04 +000039#include "lldb/Target/ObjCLanguageRuntime.h"
Sean Callananea22d422010-07-16 00:09:46 +000040#include "lldb/Target/Process.h"
Sean Callananf4b9bd32010-10-05 20:18:48 +000041#include "lldb/Target/RegisterContext.h"
Jason Molendab57e4a12013-11-04 09:33:30 +000042#include "lldb/Target/StackFrame.h"
Sean Callanan1d180662010-07-20 23:31:16 +000043#include "lldb/Target/Target.h"
Jim Ingham895c9822010-12-07 01:56:02 +000044#include "lldb/Target/Thread.h"
Zachary Turner01c32432017-02-14 19:06:07 +000045#include "lldb/Utility/Endian.h"
Zachary Turnerbf9a7732017-02-02 21:39:50 +000046#include "lldb/Utility/Error.h"
Zachary Turner6f9e6902017-03-03 20:56:28 +000047#include "lldb/Utility/Log.h"
Kate Stoneb9c1b512016-09-06 20:57:50 +000048#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"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000053
Siva Chandra0f4873d2015-09-03 23:27:10 +000054#include "Plugins/Language/CPlusPlus/CPlusPlusLanguage.h"
55
Greg Clayton83c5cd92010-11-14 22:13:40 +000056using namespace lldb;
Chris Lattner30fdc8d2010-06-08 16:52:24 +000057using namespace lldb_private;
58using namespace clang;
59
Kate Stoneb9c1b512016-09-06 20:57:50 +000060namespace {
61const char *g_lldb_local_vars_namespace_cstr = "$__lldb_local_vars";
Siva Chandra03ff5c82016-02-05 19:10:04 +000062} // anonymous namespace
63
Kate Stoneb9c1b512016-09-06 20:57:50 +000064ClangExpressionDeclMap::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() {
71 EnableStructVars();
Chris Lattner30fdc8d2010-06-08 16:52:24 +000072}
73
Kate Stoneb9c1b512016-09-06 20:57:50 +000074ClangExpressionDeclMap::~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
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +000078
Kate Stoneb9c1b512016-09-06 20:57:50 +000079 DidParse();
80 DisableStructVars();
Sean Callanan979f74d2010-12-03 01:38:59 +000081}
Sean Callananbe3a1b12010-10-26 00:31:56 +000082
Kate Stoneb9c1b512016-09-06 20:57:50 +000083bool ClangExpressionDeclMap::WillParse(ExecutionContext &exe_ctx,
84 Materializer *materializer) {
85 ClangASTMetrics::ClearLocalCounters();
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +000086
Kate Stoneb9c1b512016-09-06 20:57:50 +000087 EnableParserVars();
88 m_parser_vars->m_exe_ctx = exe_ctx;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +000089
Kate Stoneb9c1b512016-09-06 20:57:50 +000090 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();
102 } else if (target) {
103 m_parser_vars->m_sym_ctx.Clear(true);
104 m_parser_vars->m_sym_ctx.target_sp = exe_ctx.GetTargetSP();
105 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000106
Kate Stoneb9c1b512016-09-06 20:57:50 +0000107 if (target) {
108 m_parser_vars->m_persistent_vars = llvm::cast<ClangPersistentVariables>(
109 target->GetPersistentExpressionStateForLanguage(eLanguageTypeC));
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000110
Kate Stoneb9c1b512016-09-06 20:57:50 +0000111 if (!target->GetScratchClangASTContext())
112 return false;
113 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000114
Kate Stoneb9c1b512016-09-06 20:57:50 +0000115 m_parser_vars->m_target_info = GetTargetInfo();
116 m_parser_vars->m_materializer = materializer;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000117
Kate Stoneb9c1b512016-09-06 20:57:50 +0000118 return true;
Sean Callanan979f74d2010-12-03 01:38:59 +0000119}
120
Kate Stoneb9c1b512016-09-06 20:57:50 +0000121void ClangExpressionDeclMap::InstallCodeGenerator(
122 clang::ASTConsumer *code_gen) {
123 assert(m_parser_vars);
124 m_parser_vars->m_code_gen = code_gen;
Sean Callanan80c97592015-05-01 00:47:29 +0000125}
126
Kate Stoneb9c1b512016-09-06 20:57:50 +0000127void ClangExpressionDeclMap::DidParse() {
128 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Sean Callanan8106d802013-03-08 20:04:57 +0000129
Kate Stoneb9c1b512016-09-06 20:57:50 +0000130 if (log)
131 ClangASTMetrics::DumpCounters(log);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000132
Kate Stoneb9c1b512016-09-06 20:57:50 +0000133 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));
138 if (var_sp)
139 llvm::cast<ClangExpressionVariable>(var_sp.get())
140 ->DisableParserVars(GetParserID());
Sean Callanan6b1b9532010-10-08 01:58:41 +0000141 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000142
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());
151 }
152
153 DisableParserVars();
154 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000155}
156
Sean Callanan549c9f72010-07-13 21:41:46 +0000157// Interface for IRForTarget
158
Kate Stoneb9c1b512016-09-06 20:57:50 +0000159ClangExpressionDeclMap::TargetInfo ClangExpressionDeclMap::GetTargetInfo() {
160 assert(m_parser_vars.get());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000161
Kate Stoneb9c1b512016-09-06 20:57:50 +0000162 TargetInfo ret;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000163
Kate Stoneb9c1b512016-09-06 20:57:50 +0000164 ExecutionContext &exe_ctx = m_parser_vars->m_exe_ctx;
Sean Callanan933693b2012-02-10 01:22:05 +0000165
Kate Stoneb9c1b512016-09-06 20:57:50 +0000166 Process *process = exe_ctx.GetProcessPtr();
167 if (process) {
168 ret.byte_order = process->GetByteOrder();
169 ret.address_byte_size = process->GetAddressByteSize();
170 } else {
171 Target *target = exe_ctx.GetTargetPtr();
172 if (target) {
173 ret.byte_order = target->GetArchitecture().GetByteOrder();
174 ret.address_byte_size = target->GetArchitecture().GetAddressByteSize();
Sean Callanan933693b2012-02-10 01:22:05 +0000175 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000176 }
Sean Callanan933693b2012-02-10 01:22:05 +0000177
Kate Stoneb9c1b512016-09-06 20:57:50 +0000178 return ret;
Sean Callanan3bfdaa22011-09-15 02:13:07 +0000179}
180
Kate Stoneb9c1b512016-09-06 20:57:50 +0000181bool ClangExpressionDeclMap::AddPersistentVariable(const NamedDecl *decl,
182 const ConstString &name,
183 TypeFromParser parser_type,
184 bool is_result,
185 bool is_lvalue) {
186 assert(m_parser_vars.get());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000187
Kate Stoneb9c1b512016-09-06 20:57:50 +0000188 ClangASTContext *ast =
189 llvm::dyn_cast_or_null<ClangASTContext>(parser_type.GetTypeSystem());
190 if (ast == nullptr)
191 return false;
Greg Claytonf73034f2015-09-08 18:15:05 +0000192
Kate Stoneb9c1b512016-09-06 20:57:50 +0000193 if (m_parser_vars->m_materializer && is_result) {
194 Error err;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000195
Sean Callanan933693b2012-02-10 01:22:05 +0000196 ExecutionContext &exe_ctx = m_parser_vars->m_exe_ctx;
197 Target *target = exe_ctx.GetTargetPtr();
Kate Stoneb9c1b512016-09-06 20:57:50 +0000198 if (target == nullptr)
199 return false;
Greg Claytonc14ee322011-09-22 04:58:26 +0000200
Greg Claytond8d4a572015-08-11 21:38:15 +0000201 ClangASTContext *context(target->GetScratchClangASTContext());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000202
Kate Stoneb9c1b512016-09-06 20:57:50 +0000203 TypeFromUser user_type(m_ast_importer_sp->DeportType(
204 context->getASTContext(), ast->getASTContext(),
205 parser_type.GetOpaqueQualType()),
Sean Callanane1175b72011-01-13 21:23:32 +0000206 context);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000207
Kate Stoneb9c1b512016-09-06 20:57:50 +0000208 uint32_t offset = m_parser_vars->m_materializer->AddResultVariable(
209 user_type, is_lvalue, m_keep_result_in_memory, m_result_delegate, err);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000210
Kate Stoneb9c1b512016-09-06 20:57:50 +0000211 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);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000215
Kate Stoneb9c1b512016-09-06 20:57:50 +0000216 m_found_entities.AddNewlyConstructedVariable(var);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000217
Sean Callananbc8ac342015-09-04 20:49:51 +0000218 var->EnableParserVars(GetParserID());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000219
Kate Stoneb9c1b512016-09-06 20:57:50 +0000220 ClangExpressionVariable::ParserVars *parser_vars =
221 var->GetParserVars(GetParserID());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000222
Sean Callanan3c495c12013-01-15 23:29:36 +0000223 parser_vars->m_named_decl = decl;
224 parser_vars->m_parser_type = parser_type;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000225
Kate Stoneb9c1b512016-09-06 20:57:50 +0000226 var->EnableJITVars(GetParserID());
227
228 ClangExpressionVariable::JITVars *jit_vars = var->GetJITVars(GetParserID());
229
230 jit_vars->m_offset = offset;
231
Sean Callanan64dfc9a2010-08-23 23:09:38 +0000232 return true;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000233 }
234
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();
238 if (target == NULL)
239 return false;
240
241 ClangASTContext *context(target->GetScratchClangASTContext());
242
243 TypeFromUser user_type(m_ast_importer_sp->DeportType(
244 context->getASTContext(), ast->getASTContext(),
245 parser_type.GetOpaqueQualType()),
246 context);
247
248 if (!user_type.GetOpaqueQualType()) {
249 if (log)
250 log->Printf("Persistent variable's type wasn't copied successfully");
251 return false;
252 }
253
254 if (!m_parser_vars->m_target_info.IsValid())
255 return false;
256
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)
263 .get());
264
265 if (!var)
266 return false;
267
268 var->m_frozen_sp->SetHasCompleteType();
269
270 if (is_result)
271 var->m_flags |= ClangExpressionVariable::EVNeedsFreezeDry;
272 else
273 var->m_flags |=
274 ClangExpressionVariable::EVKeepInTarget; // explicitly-declared
275 // persistent variables should
276 // persist
277
278 if (is_lvalue) {
279 var->m_flags |= ClangExpressionVariable::EVIsProgramReference;
280 } else {
281 var->m_flags |= ClangExpressionVariable::EVIsLLDBAllocated;
282 var->m_flags |= ClangExpressionVariable::EVNeedsAllocation;
283 }
284
285 if (m_keep_result_in_memory) {
286 var->m_flags |= ClangExpressionVariable::EVKeepInTarget;
287 }
288
289 if (log)
290 log->Printf("Created persistent variable with flags 0x%hx", var->m_flags);
291
292 var->EnableParserVars(GetParserID());
293
294 ClangExpressionVariable::ParserVars *parser_vars =
295 var->GetParserVars(GetParserID());
296
297 parser_vars->m_named_decl = decl;
298 parser_vars->m_parser_type = parser_type;
299
300 return true;
Sean Callanan2235f322010-08-11 03:57:18 +0000301}
302
Kate Stoneb9c1b512016-09-06 20:57:50 +0000303bool 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());
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000309
Kate Stoneb9c1b512016-09-06 20:57:50 +0000310 bool is_persistent_variable = false;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000311
Kate Stoneb9c1b512016-09-06 20:57:50 +0000312 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000313
Kate Stoneb9c1b512016-09-06 20:57:50 +0000314 m_struct_vars->m_struct_laid_out = false;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000315
Kate Stoneb9c1b512016-09-06 20:57:50 +0000316 if (ClangExpressionVariable::FindVariableInList(m_struct_members, decl,
317 GetParserID()))
318 return true;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000319
Kate Stoneb9c1b512016-09-06 20:57:50 +0000320 ClangExpressionVariable *var(ClangExpressionVariable::FindVariableInList(
321 m_found_entities, decl, GetParserID()));
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000322
Kate Stoneb9c1b512016-09-06 20:57:50 +0000323 if (!var) {
324 var = ClangExpressionVariable::FindVariableInList(
325 *m_parser_vars->m_persistent_vars, decl, GetParserID());
326 is_persistent_variable = true;
327 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000328
Kate Stoneb9c1b512016-09-06 20:57:50 +0000329 if (!var)
330 return false;
331
332 if (log)
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());
336
337 // We know entity->m_parser_vars is valid because we used a parser variable
338 // to find it
339
340 ClangExpressionVariable::ParserVars *parser_vars =
341 llvm::cast<ClangExpressionVariable>(var)->GetParserVars(GetParserID());
342
343 parser_vars->m_llvm_value = value;
344
345 if (ClangExpressionVariable::JITVars *jit_vars =
346 llvm::cast<ClangExpressionVariable>(var)->GetJITVars(GetParserID())) {
347 // We already laid this out; do not touch
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000348
Sean Callanan823bb4c2010-08-30 22:17:16 +0000349 if (log)
Kate Stoneb9c1b512016-09-06 20:57:50 +0000350 log->Printf("Already placed at 0x%llx",
351 (unsigned long long)jit_vars->m_offset);
352 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000353
Kate Stoneb9c1b512016-09-06 20:57:50 +0000354 llvm::cast<ClangExpressionVariable>(var)->EnableJITVars(GetParserID());
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000355
Kate Stoneb9c1b512016-09-06 20:57:50 +0000356 ClangExpressionVariable::JITVars *jit_vars =
357 llvm::cast<ClangExpressionVariable>(var)->GetJITVars(GetParserID());
Sean Callanan3c495c12013-01-15 23:29:36 +0000358
Kate Stoneb9c1b512016-09-06 20:57:50 +0000359 jit_vars->m_alignment = alignment;
360 jit_vars->m_size = size;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000361
Kate Stoneb9c1b512016-09-06 20:57:50 +0000362 m_struct_members.AddVariable(var->shared_from_this());
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000363
Kate Stoneb9c1b512016-09-06 20:57:50 +0000364 if (m_parser_vars->m_materializer) {
365 uint32_t offset = 0;
366
367 Error err;
368
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);
373 } else {
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);
Sean Callanan1582ee62013-04-18 22:06:33 +0000381 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000382
Kate Stoneb9c1b512016-09-06 20:57:50 +0000383 if (!err.Success())
384 return false;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000385
Kate Stoneb9c1b512016-09-06 20:57:50 +0000386 if (log)
387 log->Printf("Placed at 0x%llx", (unsigned long long)offset);
Sean Callanan3c495c12013-01-15 23:29:36 +0000388
Kate Stoneb9c1b512016-09-06 20:57:50 +0000389 jit_vars->m_offset =
390 offset; // TODO DoStructLayout() should not change this.
391 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000392
Kate Stoneb9c1b512016-09-06 20:57:50 +0000393 return true;
394}
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000395
Kate Stoneb9c1b512016-09-06 20:57:50 +0000396bool ClangExpressionDeclMap::DoStructLayout() {
397 assert(m_struct_vars.get());
Sean Callanan3dd6a422013-04-11 21:16:36 +0000398
Kate Stoneb9c1b512016-09-06 20:57:50 +0000399 if (m_struct_vars->m_struct_laid_out)
400 return true;
Sean Callanandf667652013-04-11 02:05:11 +0000401
Kate Stoneb9c1b512016-09-06 20:57:50 +0000402 if (!m_parser_vars->m_materializer)
403 return false;
404
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;
410 return true;
411}
412
413bool ClangExpressionDeclMap::GetStructInfo(uint32_t &num_elements, size_t &size,
414 lldb::offset_t &alignment) {
415 assert(m_struct_vars.get());
416
417 if (!m_struct_vars->m_struct_laid_out)
418 return false;
419
420 num_elements = m_struct_members.GetSize();
421 size = m_struct_vars->m_struct_size;
422 alignment = m_struct_vars->m_struct_alignment;
423
424 return true;
425}
426
427bool ClangExpressionDeclMap::GetStructElement(const NamedDecl *&decl,
428 llvm::Value *&value,
429 lldb::offset_t &offset,
430 ConstString &name,
431 uint32_t index) {
432 assert(m_struct_vars.get());
433
434 if (!m_struct_vars->m_struct_laid_out)
435 return false;
436
437 if (index >= m_struct_members.GetSize())
438 return false;
439
440 ExpressionVariableSP member_sp(m_struct_members.GetVariableAtIndex(index));
441
442 if (!member_sp)
443 return false;
444
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());
451
452 if (!parser_vars || !jit_vars || !member_sp->GetValueObject())
453 return false;
454
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();
459
460 return true;
461}
462
463bool ClangExpressionDeclMap::GetFunctionInfo(const NamedDecl *decl,
464 uint64_t &ptr) {
465 ClangExpressionVariable *entity(ClangExpressionVariable::FindVariableInList(
466 m_found_entities, decl, GetParserID()));
467
468 if (!entity)
469 return false;
470
471 // We know m_parser_vars is valid since we searched for the variable by
472 // its NamedDecl
473
474 ClangExpressionVariable::ParserVars *parser_vars =
475 entity->GetParserVars(GetParserID());
476
477 ptr = parser_vars->m_lldb_value.GetScalar().ULongLong();
478
479 return true;
480}
481
482addr_t ClangExpressionDeclMap::GetSymbolAddress(Target &target,
483 Process *process,
484 const ConstString &name,
485 lldb::SymbolType symbol_type,
486 lldb_private::Module *module) {
487 SymbolContextList sc_list;
488
489 if (module)
490 module->FindSymbolsWithNameAndType(name, symbol_type, sc_list);
491 else
492 target.GetImages().FindSymbolsWithNameAndType(name, symbol_type, sc_list);
493
494 const uint32_t num_matches = sc_list.GetSize();
495 addr_t symbol_load_addr = LLDB_INVALID_ADDRESS;
496
497 for (uint32_t i = 0;
498 i < num_matches &&
499 (symbol_load_addr == 0 || symbol_load_addr == LLDB_INVALID_ADDRESS);
500 i++) {
501 SymbolContext sym_ctx;
502 sc_list.GetContextAtIndex(i, sym_ctx);
503
504 const Address sym_address = sym_ctx.symbol->GetAddress();
505
506 if (!sym_address.IsValid())
507 continue;
508
509 switch (sym_ctx.symbol->GetType()) {
510 case eSymbolTypeCode:
511 case eSymbolTypeTrampoline:
512 symbol_load_addr = sym_address.GetCallableLoadAddress(&target);
513 break;
514
515 case eSymbolTypeResolver:
516 symbol_load_addr = sym_address.GetCallableLoadAddress(&target, true);
517 break;
518
519 case eSymbolTypeReExported: {
520 ConstString reexport_name = sym_ctx.symbol->GetReExportedSymbolName();
521 if (reexport_name) {
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()) {
527 reexport_module_sp =
528 target.GetImages().FindFirstModule(reexport_module_spec);
529 if (!reexport_module_sp) {
530 reexport_module_spec.GetPlatformFileSpec().GetDirectory().Clear();
531 reexport_module_sp =
532 target.GetImages().FindFirstModule(reexport_module_spec);
533 }
Sean Callanandf667652013-04-11 02:05:11 +0000534 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000535 symbol_load_addr = GetSymbolAddress(
536 target, process, sym_ctx.symbol->GetReExportedSymbolName(),
537 symbol_type, reexport_module_sp.get());
538 }
539 } break;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000540
Kate Stoneb9c1b512016-09-06 20:57:50 +0000541 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);
567 break;
Sean Callanandf667652013-04-11 02:05:11 +0000568 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000569 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000570
Kate Stoneb9c1b512016-09-06 20:57:50 +0000571 if (symbol_load_addr == LLDB_INVALID_ADDRESS && process) {
572 ObjCLanguageRuntime *runtime = process->GetObjCLanguageRuntime();
Sean Callanan549c9f72010-07-13 21:41:46 +0000573
Kate Stoneb9c1b512016-09-06 20:57:50 +0000574 if (runtime) {
575 symbol_load_addr = runtime->LookupRuntimeSymbol(name);
Greg Clayton084db102011-06-23 04:25:29 +0000576 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000577 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000578
Kate Stoneb9c1b512016-09-06 20:57:50 +0000579 return symbol_load_addr;
Sean Callananc3a16002011-01-17 23:42:46 +0000580}
581
Kate Stoneb9c1b512016-09-06 20:57:50 +0000582addr_t ClangExpressionDeclMap::GetSymbolAddress(const ConstString &name,
583 lldb::SymbolType symbol_type) {
584 assert(m_parser_vars.get());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000585
Kate Stoneb9c1b512016-09-06 20:57:50 +0000586 if (!m_parser_vars->m_exe_ctx.GetTargetPtr())
587 return false;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000588
Kate Stoneb9c1b512016-09-06 20:57:50 +0000589 return GetSymbolAddress(m_parser_vars->m_exe_ctx.GetTargetRef(),
590 m_parser_vars->m_exe_ctx.GetProcessPtr(), name,
591 symbol_type);
Sean Callanand9ca42a2011-05-08 02:21:26 +0000592}
593
Kate Stoneb9c1b512016-09-06 20:57:50 +0000594const Symbol *ClangExpressionDeclMap::FindGlobalDataSymbol(
595 Target &target, const ConstString &name, lldb_private::Module *module) {
596 SymbolContextList sc_list;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000597
Kate Stoneb9c1b512016-09-06 20:57:50 +0000598 if (module)
599 module->FindSymbolsWithNameAndType(name, eSymbolTypeAny, sc_list);
600 else
601 target.GetImages().FindSymbolsWithNameAndType(name, eSymbolTypeAny,
602 sc_list);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000603
Kate Stoneb9c1b512016-09-06 20:57:50 +0000604 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();
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000611
Kate Stoneb9c1b512016-09-06 20:57:50 +0000612 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)
625 break;
626 }
627 return symbol;
Greg Clayton3d51b9f2012-11-27 01:52:16 +0000628
Kate Stoneb9c1b512016-09-06 20:57:50 +0000629 case eSymbolTypeReExported: {
630 ConstString reexport_name = symbol->GetReExportedSymbolName();
631 if (reexport_name) {
632 ModuleSP reexport_module_sp;
633 ModuleSpec reexport_module_spec;
634 reexport_module_spec.GetPlatformFileSpec() =
635 symbol->GetReExportedSymbolSharedLibrary();
636 if (reexport_module_spec.GetPlatformFileSpec()) {
637 reexport_module_sp =
638 target.GetImages().FindFirstModule(reexport_module_spec);
639 if (!reexport_module_sp) {
640 reexport_module_spec.GetPlatformFileSpec()
641 .GetDirectory()
642 .Clear();
643 reexport_module_sp =
644 target.GetImages().FindFirstModule(reexport_module_spec);
645 }
Greg Clayton3d51b9f2012-11-27 01:52:16 +0000646 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000647 // Don't allow us to try and resolve a re-exported symbol if it is
648 // the same
649 // as the current symbol
650 if (name == symbol->GetReExportedSymbolName() &&
651 module == reexport_module_sp.get())
652 return NULL;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000653
Kate Stoneb9c1b512016-09-06 20:57:50 +0000654 return FindGlobalDataSymbol(target,
655 symbol->GetReExportedSymbolName(),
656 reexport_module_sp.get());
657 }
658 } break;
659
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:
682 break;
683 }
684 }
685 }
686 }
687
688 return NULL;
Sean Callanand9ca42a2011-05-08 02:21:26 +0000689}
690
Kate Stoneb9c1b512016-09-06 20:57:50 +0000691lldb::VariableSP ClangExpressionDeclMap::FindGlobalVariable(
692 Target &target, ModuleSP &module, const ConstString &name,
693 CompilerDeclContext *namespace_decl, TypeFromUser *type) {
694 VariableList vars;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000695
Kate Stoneb9c1b512016-09-06 20:57:50 +0000696 if (module && namespace_decl)
697 module->FindGlobalVariables(name, namespace_decl, true, -1, vars);
698 else
699 target.GetImages().FindGlobalVariables(name, true, -1, vars);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000700
Kate Stoneb9c1b512016-09-06 20:57:50 +0000701 if (vars.GetSize()) {
702 if (type) {
703 for (size_t i = 0; i < vars.GetSize(); ++i) {
704 VariableSP var_sp = vars.GetVariableAtIndex(i);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000705
Kate Stoneb9c1b512016-09-06 20:57:50 +0000706 if (ClangASTContext::AreTypesSame(
707 *type, var_sp->GetType()->GetFullCompilerType()))
708 return var_sp;
709 }
710 } else {
711 return vars.GetVariableAtIndex(0);
Sean Callanan3bfdaa22011-09-15 02:13:07 +0000712 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000713 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +0000714
Kate Stoneb9c1b512016-09-06 20:57:50 +0000715 return VariableSP();
Sean Callanan3bfdaa22011-09-15 02:13:07 +0000716}
717
Kate Stoneb9c1b512016-09-06 20:57:50 +0000718ClangASTContext *ClangExpressionDeclMap::GetClangASTContext() {
719 StackFrame *frame = m_parser_vars->m_exe_ctx.GetFramePtr();
720 if (frame == nullptr)
721 return nullptr;
Siva Chandra03ff5c82016-02-05 19:10:04 +0000722
Kate Stoneb9c1b512016-09-06 20:57:50 +0000723 SymbolContext sym_ctx = frame->GetSymbolContext(lldb::eSymbolContextFunction |
724 lldb::eSymbolContextBlock);
725 if (sym_ctx.block == nullptr)
726 return nullptr;
Siva Chandra03ff5c82016-02-05 19:10:04 +0000727
Kate Stoneb9c1b512016-09-06 20:57:50 +0000728 CompilerDeclContext frame_decl_context = sym_ctx.block->GetDeclContext();
729 if (!frame_decl_context)
730 return nullptr;
Siva Chandra03ff5c82016-02-05 19:10:04 +0000731
Kate Stoneb9c1b512016-09-06 20:57:50 +0000732 return llvm::dyn_cast_or_null<ClangASTContext>(
733 frame_decl_context.GetTypeSystem());
Siva Chandra03ff5c82016-02-05 19:10:04 +0000734}
735
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000736// Interface for ClangASTSource
Sean Callanan3bfdaa22011-09-15 02:13:07 +0000737
Kate Stoneb9c1b512016-09-06 20:57:50 +0000738void ClangExpressionDeclMap::FindExternalVisibleDecls(
739 NameSearchContext &context) {
740 assert(m_ast_context);
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000741
Kate Stoneb9c1b512016-09-06 20:57:50 +0000742 ClangASTMetrics::RegisterVisibleQuery();
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000743
Kate Stoneb9c1b512016-09-06 20:57:50 +0000744 const ConstString name(context.m_decl_name.getAsString().c_str());
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000745
Kate Stoneb9c1b512016-09-06 20:57:50 +0000746 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000747
Kate Stoneb9c1b512016-09-06 20:57:50 +0000748 if (GetImportInProgress()) {
749 if (log && log->GetVerbose())
750 log->Printf("Ignoring a query during an import");
751 return;
752 }
753
754 static unsigned int invocation_id = 0;
755 unsigned int current_id = invocation_id++;
756
757 if (log) {
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 "
765 "'%s' in '%s'",
766 current_id, name.GetCString(),
767 context_named_decl->getNameAsString().c_str());
768 else
769 log->Printf("ClangExpressionDeclMap::FindExternalVisibleDecls[%u] for "
770 "'%s' in a '%s'",
771 current_id, name.GetCString(),
772 context.m_decl_context->getDeclKindName());
773 }
774
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,
783 current_id);
784 return;
Sean Callanan6abfabf2010-11-19 20:20:02 +0000785 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000786
Kate Stoneb9c1b512016-09-06 20:57:50 +0000787 ClangASTImporter::NamespaceMapSP namespace_map =
788 m_ast_importer_sp->GetNamespaceMap(namespace_context);
789
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());
794
795 if (!namespace_map)
796 return;
797
798 for (ClangASTImporter::NamespaceMap::iterator i = namespace_map->begin(),
799 e = namespace_map->end();
800 i != e; ++i) {
801 if (log)
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());
805
806 FindExternalVisibleDecls(context, i->first, i->second, current_id);
807 }
808 } else if (isa<TranslationUnitDecl>(context.m_decl_context)) {
809 CompilerDeclContext namespace_decl;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000810
Sean Callanan503aa522011-10-12 00:12:34 +0000811 if (log)
Kate Stoneb9c1b512016-09-06 20:57:50 +0000812 log->Printf(" CEDM::FEVD[%u] Searching the root namespace", current_id);
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000813
Kate Stoneb9c1b512016-09-06 20:57:50 +0000814 FindExternalVisibleDecls(context, lldb::ModuleSP(), namespace_decl,
815 current_id);
816 }
Sean Callananc02a1c02017-04-24 23:14:04 +0000817
818 ClangASTSource::FindExternalVisibleDecls(context);
Kate Stoneb9c1b512016-09-06 20:57:50 +0000819}
820
821void ClangExpressionDeclMap::FindExternalVisibleDecls(
822 NameSearchContext &context, lldb::ModuleSP module_sp,
823 CompilerDeclContext &namespace_decl, unsigned int current_id) {
824 assert(m_ast_context);
825
826 std::function<void(clang::FunctionDecl *)> MaybeRegisterFunctionBody =
827 [this](clang::FunctionDecl *copied_function_decl) {
828 if (copied_function_decl->getBody() && m_parser_vars->m_code_gen) {
829 DeclGroupRef decl_group_ref(copied_function_decl);
830 m_parser_vars->m_code_gen->HandleTopLevelDecl(decl_group_ref);
831 }
832 };
833
834 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
835
836 SymbolContextList sc_list;
837
838 const ConstString name(context.m_decl_name.getAsString().c_str());
839
840 const char *name_unique_cstr = name.GetCString();
841
842 if (name_unique_cstr == NULL)
843 return;
844
845 static ConstString id_name("id");
846 static ConstString Class_name("Class");
847
848 if (name == id_name || name == Class_name)
849 return;
850
851 // Only look for functions by name out in our symbols if the function
852 // doesn't start with our phony prefix of '$'
853 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
854 StackFrame *frame = m_parser_vars->m_exe_ctx.GetFramePtr();
855 SymbolContext sym_ctx;
856 if (frame != nullptr)
857 sym_ctx = frame->GetSymbolContext(lldb::eSymbolContextFunction |
858 lldb::eSymbolContextBlock);
859
860 // Try the persistent decls, which take precedence over all else.
861 if (!namespace_decl) {
862 do {
863 if (!target)
864 break;
865
866 ClangASTContext *scratch_clang_ast_context =
867 target->GetScratchClangASTContext();
868
869 if (!scratch_clang_ast_context)
870 break;
871
872 ASTContext *scratch_ast_context =
873 scratch_clang_ast_context->getASTContext();
874
875 if (!scratch_ast_context)
876 break;
877
878 NamedDecl *persistent_decl =
879 m_parser_vars->m_persistent_vars->GetPersistentDecl(name);
880
881 if (!persistent_decl)
882 break;
883
884 Decl *parser_persistent_decl = m_ast_importer_sp->CopyDecl(
885 m_ast_context, scratch_ast_context, persistent_decl);
886
887 if (!parser_persistent_decl)
888 break;
889
890 NamedDecl *parser_named_decl =
891 dyn_cast<NamedDecl>(parser_persistent_decl);
892
893 if (!parser_named_decl)
894 break;
895
896 if (clang::FunctionDecl *parser_function_decl =
897 llvm::dyn_cast<clang::FunctionDecl>(parser_named_decl)) {
898 MaybeRegisterFunctionBody(parser_function_decl);
899 }
900
901 if (log)
902 log->Printf(" CEDM::FEVD[%u] Found persistent decl %s", current_id,
903 name.GetCString());
904
905 context.AddNamedDecl(parser_named_decl);
906 } while (0);
907 }
908
909 if (name_unique_cstr[0] == '$' && !namespace_decl) {
910 static ConstString g_lldb_class_name("$__lldb_class");
911
912 if (name == g_lldb_class_name) {
913 // Clang is looking for the type of "this"
914
915 if (frame == NULL)
916 return;
917
918 // Find the block that defines the function represented by "sym_ctx"
919 Block *function_block = sym_ctx.GetFunctionBlock();
920
921 if (!function_block)
922 return;
923
924 CompilerDeclContext function_decl_ctx = function_block->GetDeclContext();
925
926 if (!function_decl_ctx)
927 return;
928
929 clang::CXXMethodDecl *method_decl =
930 ClangASTContext::DeclContextGetAsCXXMethodDecl(function_decl_ctx);
931
932 if (method_decl) {
933 clang::CXXRecordDecl *class_decl = method_decl->getParent();
934
935 QualType class_qual_type(class_decl->getTypeForDecl(), 0);
936
937 TypeFromUser class_user_type(
938 class_qual_type.getAsOpaquePtr(),
939 ClangASTContext::GetASTContext(&class_decl->getASTContext()));
940
941 if (log) {
942 ASTDumper ast_dumper(class_qual_type);
943 log->Printf(" CEDM::FEVD[%u] Adding type for $__lldb_class: %s",
944 current_id, ast_dumper.GetCString());
Siva Chandra03ff5c82016-02-05 19:10:04 +0000945 }
946
Kate Stoneb9c1b512016-09-06 20:57:50 +0000947 AddThisType(context, class_user_type, current_id);
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000948
Kate Stoneb9c1b512016-09-06 20:57:50 +0000949 if (method_decl->isInstance()) {
950 // self is a pointer to the object
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000951
Kate Stoneb9c1b512016-09-06 20:57:50 +0000952 QualType class_pointer_type =
953 method_decl->getASTContext().getPointerType(class_qual_type);
954
955 TypeFromUser self_user_type(
956 class_pointer_type.getAsOpaquePtr(),
957 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
958
959 m_struct_vars->m_object_pointer_type = self_user_type;
960 }
961 } else {
962 // This branch will get hit if we are executing code in the context of a
963 // function that
964 // claims to have an object pointer (through DW_AT_object_pointer?) but
965 // is not formally a
966 // method of the class. In that case, just look up the "this" variable
967 // in the current
968 // scope and use its type.
969 // FIXME: This code is formally correct, but clang doesn't currently
970 // emit DW_AT_object_pointer
971 // for C++ so it hasn't actually been tested.
972
973 VariableList *vars = frame->GetVariableList(false);
974
975 lldb::VariableSP this_var = vars->FindVariable(ConstString("this"));
976
977 if (this_var && this_var->IsInScope(frame) &&
978 this_var->LocationIsValidForFrame(frame)) {
979 Type *this_type = this_var->GetType();
980
981 if (!this_type)
Sean Callananb2269162011-10-21 22:18:07 +0000982 return;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000983
Kate Stoneb9c1b512016-09-06 20:57:50 +0000984 TypeFromUser pointee_type =
985 this_type->GetForwardCompilerType().GetPointeeType();
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000986
Kate Stoneb9c1b512016-09-06 20:57:50 +0000987 if (pointee_type.IsValid()) {
988 if (log) {
989 ASTDumper ast_dumper(pointee_type);
990 log->Printf(" FEVD[%u] Adding type for $__lldb_class: %s",
991 current_id, ast_dumper.GetCString());
992 }
993
994 AddThisType(context, pointee_type, current_id);
995 TypeFromUser this_user_type(this_type->GetFullCompilerType());
996 m_struct_vars->m_object_pointer_type = this_user_type;
997 return;
998 }
Sean Callanan503aa522011-10-12 00:12:34 +0000999 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001000 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +00001001
Kate Stoneb9c1b512016-09-06 20:57:50 +00001002 return;
1003 }
1004
1005 static ConstString g_lldb_objc_class_name("$__lldb_objc_class");
1006 if (name == g_lldb_objc_class_name) {
1007 // Clang is looking for the type of "*self"
1008
1009 if (!frame)
1010 return;
1011
1012 SymbolContext sym_ctx = frame->GetSymbolContext(
1013 lldb::eSymbolContextFunction | lldb::eSymbolContextBlock);
1014
1015 // Find the block that defines the function represented by "sym_ctx"
1016 Block *function_block = sym_ctx.GetFunctionBlock();
1017
1018 if (!function_block)
1019 return;
1020
1021 CompilerDeclContext function_decl_ctx = function_block->GetDeclContext();
1022
1023 if (!function_decl_ctx)
1024 return;
1025
1026 clang::ObjCMethodDecl *method_decl =
1027 ClangASTContext::DeclContextGetAsObjCMethodDecl(function_decl_ctx);
1028
1029 if (method_decl) {
1030 ObjCInterfaceDecl *self_interface = method_decl->getClassInterface();
1031
1032 if (!self_interface)
1033 return;
1034
1035 const clang::Type *interface_type = self_interface->getTypeForDecl();
1036
1037 if (!interface_type)
1038 return; // This is unlikely, but we have seen crashes where this
1039 // occurred
1040
1041 TypeFromUser class_user_type(
1042 QualType(interface_type, 0).getAsOpaquePtr(),
1043 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
1044
1045 if (log) {
1046 ASTDumper ast_dumper(interface_type);
1047 log->Printf(" FEVD[%u] Adding type for $__lldb_objc_class: %s",
1048 current_id, ast_dumper.GetCString());
1049 }
1050
1051 AddOneType(context, class_user_type, current_id);
1052
1053 if (method_decl->isInstanceMethod()) {
1054 // self is a pointer to the object
1055
1056 QualType class_pointer_type =
1057 method_decl->getASTContext().getObjCObjectPointerType(
1058 QualType(interface_type, 0));
1059
1060 TypeFromUser self_user_type(
1061 class_pointer_type.getAsOpaquePtr(),
1062 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
1063
1064 m_struct_vars->m_object_pointer_type = self_user_type;
1065 } else {
1066 // self is a Class pointer
1067 QualType class_type = method_decl->getASTContext().getObjCClassType();
1068
1069 TypeFromUser self_user_type(
1070 class_type.getAsOpaquePtr(),
1071 ClangASTContext::GetASTContext(&method_decl->getASTContext()));
1072
1073 m_struct_vars->m_object_pointer_type = self_user_type;
1074 }
1075
1076 return;
1077 } else {
1078 // This branch will get hit if we are executing code in the context of a
1079 // function that
1080 // claims to have an object pointer (through DW_AT_object_pointer?) but
1081 // is not formally a
1082 // method of the class. In that case, just look up the "self" variable
1083 // in the current
1084 // scope and use its type.
1085
1086 VariableList *vars = frame->GetVariableList(false);
1087
1088 lldb::VariableSP self_var = vars->FindVariable(ConstString("self"));
1089
1090 if (self_var && self_var->IsInScope(frame) &&
1091 self_var->LocationIsValidForFrame(frame)) {
1092 Type *self_type = self_var->GetType();
1093
1094 if (!self_type)
1095 return;
1096
1097 CompilerType self_clang_type = self_type->GetFullCompilerType();
1098
1099 if (ClangASTContext::IsObjCClassType(self_clang_type)) {
1100 return;
1101 } else if (ClangASTContext::IsObjCObjectPointerType(
1102 self_clang_type)) {
1103 self_clang_type = self_clang_type.GetPointeeType();
1104
1105 if (!self_clang_type)
1106 return;
1107
1108 if (log) {
1109 ASTDumper ast_dumper(self_type->GetFullCompilerType());
1110 log->Printf(" FEVD[%u] Adding type for $__lldb_objc_class: %s",
1111 current_id, ast_dumper.GetCString());
1112 }
1113
1114 TypeFromUser class_user_type(self_clang_type);
1115
1116 AddOneType(context, class_user_type, current_id);
1117
1118 TypeFromUser self_user_type(self_type->GetFullCompilerType());
1119
1120 m_struct_vars->m_object_pointer_type = self_user_type;
1121 return;
1122 }
1123 }
1124 }
1125
1126 return;
1127 }
1128
1129 if (name == ConstString(g_lldb_local_vars_namespace_cstr)) {
1130 CompilerDeclContext frame_decl_context =
1131 sym_ctx.block != nullptr ? sym_ctx.block->GetDeclContext()
1132 : CompilerDeclContext();
1133
1134 if (frame_decl_context) {
1135 ClangASTContext *ast = llvm::dyn_cast_or_null<ClangASTContext>(
1136 frame_decl_context.GetTypeSystem());
1137
1138 if (ast) {
1139 clang::NamespaceDecl *namespace_decl =
1140 ClangASTContext::GetUniqueNamespaceDeclaration(
1141 m_ast_context, name_unique_cstr, nullptr);
1142 if (namespace_decl) {
1143 context.AddNamedDecl(namespace_decl);
1144 clang::DeclContext *clang_decl_ctx =
1145 clang::Decl::castToDeclContext(namespace_decl);
1146 clang_decl_ctx->setHasExternalVisibleStorage(true);
1147 context.m_found.local_vars_nsp = true;
1148 }
1149 }
1150 }
1151
1152 return;
1153 }
1154
1155 // any other $__lldb names should be weeded out now
1156 if (!::strncmp(name_unique_cstr, "$__lldb", sizeof("$__lldb") - 1))
1157 return;
1158
1159 ExpressionVariableSP pvar_sp(
1160 m_parser_vars->m_persistent_vars->GetVariable(name));
1161
1162 if (pvar_sp) {
1163 AddOneVariable(context, pvar_sp, current_id);
1164 return;
1165 }
1166
1167 const char *reg_name(&name.GetCString()[1]);
1168
1169 if (m_parser_vars->m_exe_ctx.GetRegisterContext()) {
1170 const RegisterInfo *reg_info(
1171 m_parser_vars->m_exe_ctx.GetRegisterContext()->GetRegisterInfoByName(
1172 reg_name));
1173
1174 if (reg_info) {
Sean Callanan503aa522011-10-12 00:12:34 +00001175 if (log)
Kate Stoneb9c1b512016-09-06 20:57:50 +00001176 log->Printf(" CEDM::FEVD[%u] Found register %s", current_id,
1177 reg_info->name);
Saleem Abdulrasool324a1032014-04-04 04:06:10 +00001178
Kate Stoneb9c1b512016-09-06 20:57:50 +00001179 AddOneRegister(context, reg_info, current_id);
1180 }
1181 }
1182 } else {
1183 ValueObjectSP valobj;
1184 VariableSP var;
1185
1186 bool local_var_lookup =
1187 !namespace_decl || (namespace_decl.GetName() ==
1188 ConstString(g_lldb_local_vars_namespace_cstr));
1189 if (frame && local_var_lookup) {
1190 CompilerDeclContext compiler_decl_context =
1191 sym_ctx.block != nullptr ? sym_ctx.block->GetDeclContext()
1192 : CompilerDeclContext();
1193
1194 if (compiler_decl_context) {
1195 // Make sure that the variables are parsed so that we have the
1196 // declarations.
1197 VariableListSP vars = frame->GetInScopeVariableList(true);
1198 for (size_t i = 0; i < vars->GetSize(); i++)
1199 vars->GetVariableAtIndex(i)->GetDecl();
1200
1201 // Search for declarations matching the name. Do not include imported
1202 // decls
1203 // in the search if we are looking for decls in the artificial namespace
1204 // $__lldb_local_vars.
1205 std::vector<CompilerDecl> found_decls =
1206 compiler_decl_context.FindDeclByName(name,
1207 namespace_decl.IsValid());
1208
1209 bool variable_found = false;
1210 for (CompilerDecl decl : found_decls) {
1211 for (size_t vi = 0, ve = vars->GetSize(); vi != ve; ++vi) {
1212 VariableSP candidate_var = vars->GetVariableAtIndex(vi);
1213 if (candidate_var->GetDecl() == decl) {
1214 var = candidate_var;
1215 break;
1216 }
1217 }
1218
Sean Callananc02a1c02017-04-24 23:14:04 +00001219 if (var && !variable_found) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00001220 variable_found = true;
1221 valobj = ValueObjectVariable::Create(frame, var);
1222 AddOneVariable(context, var, valobj, current_id);
1223 context.m_found.variable = true;
1224 }
1225 }
1226 if (variable_found)
1227 return;
1228 }
1229 }
1230 if (target) {
1231 var = FindGlobalVariable(*target, module_sp, name, &namespace_decl, NULL);
1232
1233 if (var) {
1234 valobj = ValueObjectVariable::Create(target, var);
1235 AddOneVariable(context, var, valobj, current_id);
1236 context.m_found.variable = true;
1237 return;
1238 }
Sean Callanan503aa522011-10-12 00:12:34 +00001239 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +00001240
Kate Stoneb9c1b512016-09-06 20:57:50 +00001241 std::vector<clang::NamedDecl *> decls_from_modules;
Sean Callanan503aa522011-10-12 00:12:34 +00001242
Kate Stoneb9c1b512016-09-06 20:57:50 +00001243 if (target) {
1244 if (ClangModulesDeclVendor *decl_vendor =
1245 target->GetClangModulesDeclVendor()) {
1246 decl_vendor->FindDecls(name, false, UINT32_MAX, decls_from_modules);
1247 }
1248 }
Sean Callananb3a36df2016-03-19 00:51:43 +00001249
Sean Callananc02a1c02017-04-24 23:14:04 +00001250 const bool include_inlines = false;
1251 const bool append = false;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001252
Sean Callananc02a1c02017-04-24 23:14:04 +00001253 if (namespace_decl && module_sp) {
1254 const bool include_symbols = false;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001255
Sean Callananc02a1c02017-04-24 23:14:04 +00001256 module_sp->FindFunctions(name, &namespace_decl, eFunctionNameTypeBase,
1257 include_symbols, include_inlines, append,
1258 sc_list);
1259 } else if (target && !namespace_decl) {
1260 const bool include_symbols = true;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001261
Sean Callananc02a1c02017-04-24 23:14:04 +00001262 // TODO Fix FindFunctions so that it doesn't return
1263 // instance methods for eFunctionNameTypeBase.
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001264
Sean Callananc02a1c02017-04-24 23:14:04 +00001265 target->GetImages().FindFunctions(name, eFunctionNameTypeFull,
1266 include_symbols, include_inlines,
1267 append, sc_list);
1268 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001269
Sean Callananc02a1c02017-04-24 23:14:04 +00001270 // If we found more than one function, see if we can use the
1271 // frame's decl context to remove functions that are shadowed
1272 // by other functions which match in type but are nearer in scope.
1273 //
1274 // AddOneFunction will not add a function whose type has already been
1275 // added, so if there's another function in the list with a matching
1276 // type, check to see if their decl context is a parent of the current
1277 // frame's or was imported via a and using statement, and pick the
1278 // best match according to lookup rules.
1279 if (sc_list.GetSize() > 1) {
1280 // Collect some info about our frame's context.
1281 StackFrame *frame = m_parser_vars->m_exe_ctx.GetFramePtr();
1282 SymbolContext frame_sym_ctx;
1283 if (frame != nullptr)
1284 frame_sym_ctx = frame->GetSymbolContext(lldb::eSymbolContextFunction |
1285 lldb::eSymbolContextBlock);
1286 CompilerDeclContext frame_decl_context =
1287 frame_sym_ctx.block != nullptr ? frame_sym_ctx.block->GetDeclContext()
1288 : CompilerDeclContext();
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001289
Sean Callananc02a1c02017-04-24 23:14:04 +00001290 // We can't do this without a compiler decl context for our frame.
1291 if (frame_decl_context) {
1292 clang::DeclContext *frame_decl_ctx =
1293 (clang::DeclContext *)frame_decl_context.GetOpaqueDeclContext();
1294 ClangASTContext *ast = llvm::dyn_cast_or_null<ClangASTContext>(
1295 frame_decl_context.GetTypeSystem());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001296
Sean Callananc02a1c02017-04-24 23:14:04 +00001297 // Structure to hold the info needed when comparing function
1298 // declarations.
1299 struct FuncDeclInfo {
1300 ConstString m_name;
1301 CompilerType m_copied_type;
1302 uint32_t m_decl_lvl;
1303 SymbolContext m_sym_ctx;
1304 };
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001305
Sean Callananc02a1c02017-04-24 23:14:04 +00001306 // First, symplify things by looping through the symbol contexts
1307 // to remove unwanted functions and separate out the functions we
1308 // want to compare and prune into a separate list.
1309 // Cache the info needed about the function declarations in a
1310 // vector for efficiency.
1311 SymbolContextList sc_sym_list;
1312 uint32_t num_indices = sc_list.GetSize();
1313 std::vector<FuncDeclInfo> fdi_cache;
1314 fdi_cache.reserve(num_indices);
1315 for (uint32_t index = 0; index < num_indices; ++index) {
1316 FuncDeclInfo fdi;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001317 SymbolContext sym_ctx;
1318 sc_list.GetContextAtIndex(index, sym_ctx);
1319
Sean Callananc02a1c02017-04-24 23:14:04 +00001320 // We don't know enough about symbols to compare them,
1321 // but we should keep them in the list.
1322 Function *function = sym_ctx.function;
1323 if (!function) {
1324 sc_sym_list.Append(sym_ctx);
1325 continue;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001326 }
Sean Callananc02a1c02017-04-24 23:14:04 +00001327 // Filter out functions without declaration contexts, as well as
1328 // class/instance methods, since they'll be skipped in the
1329 // code that follows anyway.
1330 CompilerDeclContext func_decl_context = function->GetDeclContext();
1331 if (!func_decl_context ||
1332 func_decl_context.IsClassMethod(nullptr, nullptr, nullptr))
1333 continue;
1334 // We can only prune functions for which we can copy the type.
1335 CompilerType func_clang_type =
1336 function->GetType()->GetFullCompilerType();
1337 CompilerType copied_func_type = GuardedCopyType(func_clang_type);
1338 if (!copied_func_type) {
1339 sc_sym_list.Append(sym_ctx);
1340 continue;
1341 }
1342
1343 fdi.m_sym_ctx = sym_ctx;
1344 fdi.m_name = function->GetName();
1345 fdi.m_copied_type = copied_func_type;
1346 fdi.m_decl_lvl = LLDB_INVALID_DECL_LEVEL;
1347 if (fdi.m_copied_type && func_decl_context) {
1348 // Call CountDeclLevels to get the number of parent scopes we
1349 // have to look through before we find the function declaration.
1350 // When comparing functions of the same type, the one with a
1351 // lower count will be closer to us in the lookup scope and
1352 // shadows the other.
1353 clang::DeclContext *func_decl_ctx =
1354 (clang::DeclContext *)func_decl_context.GetOpaqueDeclContext();
1355 fdi.m_decl_lvl = ast->CountDeclLevels(
1356 frame_decl_ctx, func_decl_ctx, &fdi.m_name, &fdi.m_copied_type);
1357 }
1358 fdi_cache.emplace_back(fdi);
Kate Stoneb9c1b512016-09-06 20:57:50 +00001359 }
1360
Sean Callananc02a1c02017-04-24 23:14:04 +00001361 // Loop through the functions in our cache looking for matching types,
1362 // then compare their scope levels to see which is closer.
1363 std::multimap<CompilerType, const FuncDeclInfo *> matches;
1364 for (const FuncDeclInfo &fdi : fdi_cache) {
1365 const CompilerType t = fdi.m_copied_type;
1366 auto q = matches.find(t);
1367 if (q != matches.end()) {
1368 if (q->second->m_decl_lvl > fdi.m_decl_lvl)
1369 // This function is closer; remove the old set.
1370 matches.erase(t);
1371 else if (q->second->m_decl_lvl < fdi.m_decl_lvl)
1372 // The functions in our set are closer - skip this one.
1373 continue;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001374 }
Sean Callananc02a1c02017-04-24 23:14:04 +00001375 matches.insert(std::make_pair(t, &fdi));
Kate Stoneb9c1b512016-09-06 20:57:50 +00001376 }
1377
Sean Callananc02a1c02017-04-24 23:14:04 +00001378 // Loop through our matches and add their symbol contexts to our list.
1379 SymbolContextList sc_func_list;
1380 for (const auto &q : matches)
1381 sc_func_list.Append(q.second->m_sym_ctx);
1382
1383 // Rejoin the lists with the functions in front.
1384 sc_list = sc_func_list;
1385 sc_list.Append(sc_sym_list);
1386 }
1387 }
1388
1389 if (sc_list.GetSize()) {
1390 Symbol *extern_symbol = NULL;
1391 Symbol *non_extern_symbol = NULL;
1392
1393 for (uint32_t index = 0, num_indices = sc_list.GetSize();
1394 index < num_indices; ++index) {
1395 SymbolContext sym_ctx;
1396 sc_list.GetContextAtIndex(index, sym_ctx);
1397
1398 if (sym_ctx.function) {
1399 CompilerDeclContext decl_ctx = sym_ctx.function->GetDeclContext();
1400
1401 if (!decl_ctx)
1402 continue;
1403
1404 // Filter out class/instance methods.
1405 if (decl_ctx.IsClassMethod(nullptr, nullptr, nullptr))
1406 continue;
1407
1408 AddOneFunction(context, sym_ctx.function, NULL, current_id);
1409 context.m_found.function_with_type_info = true;
1410 context.m_found.function = true;
1411 } else if (sym_ctx.symbol) {
1412 if (sym_ctx.symbol->GetType() == eSymbolTypeReExported && target) {
1413 sym_ctx.symbol = sym_ctx.symbol->ResolveReExportedSymbol(*target);
1414 if (sym_ctx.symbol == NULL)
1415 continue;
1416 }
1417
1418 if (sym_ctx.symbol->IsExternal())
1419 extern_symbol = sym_ctx.symbol;
1420 else
1421 non_extern_symbol = sym_ctx.symbol;
1422 }
1423 }
1424
1425 if (!context.m_found.function_with_type_info) {
1426 for (clang::NamedDecl *decl : decls_from_modules) {
1427 if (llvm::isa<clang::FunctionDecl>(decl)) {
1428 clang::NamedDecl *copied_decl =
1429 llvm::cast_or_null<FunctionDecl>(m_ast_importer_sp->CopyDecl(
1430 m_ast_context, &decl->getASTContext(), decl));
1431 if (copied_decl) {
1432 context.AddNamedDecl(copied_decl);
1433 context.m_found.function_with_type_info = true;
1434 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001435 }
1436 }
1437 }
1438
1439 if (!context.m_found.function_with_type_info) {
Sean Callananc02a1c02017-04-24 23:14:04 +00001440 if (extern_symbol) {
1441 AddOneFunction(context, NULL, extern_symbol, current_id);
1442 context.m_found.function = true;
1443 } else if (non_extern_symbol) {
1444 AddOneFunction(context, NULL, non_extern_symbol, current_id);
1445 context.m_found.function = true;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001446 }
1447 }
Sean Callananb3a36df2016-03-19 00:51:43 +00001448 }
Sean Callananc02a1c02017-04-24 23:14:04 +00001449
1450 if (!context.m_found.function_with_type_info) {
1451 // Try the modules next.
1452
1453 do {
1454 if (ClangModulesDeclVendor *modules_decl_vendor =
1455 m_target->GetClangModulesDeclVendor()) {
1456 bool append = false;
1457 uint32_t max_matches = 1;
1458 std::vector<clang::NamedDecl *> decls;
1459
1460 if (!modules_decl_vendor->FindDecls(name, append, max_matches, decls))
1461 break;
1462
1463 clang::NamedDecl *const decl_from_modules = decls[0];
1464
1465 if (llvm::isa<clang::FunctionDecl>(decl_from_modules)) {
1466 if (log) {
1467 log->Printf(" CAS::FEVD[%u] Matching function found for "
1468 "\"%s\" in the modules",
1469 current_id, name.GetCString());
1470 }
1471
1472 clang::Decl *copied_decl = m_ast_importer_sp->CopyDecl(
1473 m_ast_context, &decl_from_modules->getASTContext(),
1474 decl_from_modules);
1475 clang::FunctionDecl *copied_function_decl =
1476 copied_decl ? dyn_cast<clang::FunctionDecl>(copied_decl)
1477 : nullptr;
1478
1479 if (!copied_function_decl) {
1480 if (log)
1481 log->Printf(" CAS::FEVD[%u] - Couldn't export a function "
1482 "declaration from the modules",
1483 current_id);
1484
1485 break;
1486 }
1487
1488 MaybeRegisterFunctionBody(copied_function_decl);
1489
1490 context.AddNamedDecl(copied_function_decl);
1491
1492 context.m_found.function_with_type_info = true;
1493 context.m_found.function = true;
1494 } else if (llvm::isa<clang::VarDecl>(decl_from_modules)) {
1495 if (log) {
1496 log->Printf(" CAS::FEVD[%u] Matching variable found for "
1497 "\"%s\" in the modules",
1498 current_id, name.GetCString());
1499 }
1500
1501 clang::Decl *copied_decl = m_ast_importer_sp->CopyDecl(
1502 m_ast_context, &decl_from_modules->getASTContext(),
1503 decl_from_modules);
1504 clang::VarDecl *copied_var_decl =
1505 copied_decl ? dyn_cast_or_null<clang::VarDecl>(copied_decl)
1506 : nullptr;
1507
1508 if (!copied_var_decl) {
1509 if (log)
1510 log->Printf(" CAS::FEVD[%u] - Couldn't export a variable "
1511 "declaration from the modules",
1512 current_id);
1513
1514 break;
1515 }
1516
1517 context.AddNamedDecl(copied_var_decl);
1518
1519 context.m_found.variable = true;
1520 }
1521 }
1522 } while (0);
1523 }
1524
1525 if (target && !context.m_found.variable && !namespace_decl) {
1526 // We couldn't find a non-symbol variable for this. Now we'll hunt for
1527 // a generic
1528 // data symbol, and -- if it is found -- treat it as a variable.
1529
1530 const Symbol *data_symbol = FindGlobalDataSymbol(*target, name);
1531
1532 if (data_symbol) {
1533 std::string warning("got name from symbols: ");
1534 warning.append(name.AsCString());
1535 const unsigned diag_id =
1536 m_ast_context->getDiagnostics().getCustomDiagID(
1537 clang::DiagnosticsEngine::Level::Warning, "%0");
1538 m_ast_context->getDiagnostics().Report(diag_id) << warning.c_str();
1539 AddOneGenericVariable(context, *data_symbol, current_id);
1540 context.m_found.variable = true;
1541 }
1542 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001543 }
Sean Callanan6b4067c2010-07-17 00:43:37 +00001544}
Greg Claytona2721472011-06-25 00:44:06 +00001545
Kate Stoneb9c1b512016-09-06 20:57:50 +00001546// static opaque_compiler_type_t
1547// MaybePromoteToBlockPointerType
Saleem Abdulrasoola68f7b62014-03-20 06:08:36 +00001548//(
1549// ASTContext *ast_context,
Bruce Mitchener23a3b0e2015-09-22 17:04:24 +00001550// opaque_compiler_type_t candidate_type
Saleem Abdulrasoola68f7b62014-03-20 06:08:36 +00001551//)
1552//{
1553// if (!candidate_type)
1554// return candidate_type;
1555//
1556// QualType candidate_qual_type = QualType::getFromOpaquePtr(candidate_type);
1557//
Kate Stoneb9c1b512016-09-06 20:57:50 +00001558// const PointerType *candidate_pointer_type =
1559// dyn_cast<PointerType>(candidate_qual_type);
Saleem Abdulrasoola68f7b62014-03-20 06:08:36 +00001560//
1561// if (!candidate_pointer_type)
1562// return candidate_type;
1563//
1564// QualType pointee_qual_type = candidate_pointer_type->getPointeeType();
1565//
Kate Stoneb9c1b512016-09-06 20:57:50 +00001566// const RecordType *pointee_record_type =
1567// dyn_cast<RecordType>(pointee_qual_type);
Saleem Abdulrasoola68f7b62014-03-20 06:08:36 +00001568//
1569// if (!pointee_record_type)
1570// return candidate_type;
1571//
1572// RecordDecl *pointee_record_decl = pointee_record_type->getDecl();
1573//
1574// if (!pointee_record_decl->isRecord())
1575// return candidate_type;
1576//
Kate Stoneb9c1b512016-09-06 20:57:50 +00001577// if
1578// (!pointee_record_decl->getName().startswith(llvm::StringRef("__block_literal_")))
Saleem Abdulrasoola68f7b62014-03-20 06:08:36 +00001579// return candidate_type;
1580//
Kate Stoneb9c1b512016-09-06 20:57:50 +00001581// QualType generic_function_type =
1582// ast_context->getFunctionNoProtoType(ast_context->UnknownAnyTy);
1583// QualType block_pointer_type =
1584// ast_context->getBlockPointerType(generic_function_type);
Saleem Abdulrasoola68f7b62014-03-20 06:08:36 +00001585//
1586// return block_pointer_type.getAsOpaquePtr();
1587//}
Sean Callanan75383bf2012-03-06 21:56:33 +00001588
Kate Stoneb9c1b512016-09-06 20:57:50 +00001589bool ClangExpressionDeclMap::GetVariableValue(VariableSP &var,
1590 lldb_private::Value &var_location,
1591 TypeFromUser *user_type,
1592 TypeFromParser *parser_type) {
1593 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001594
Kate Stoneb9c1b512016-09-06 20:57:50 +00001595 Type *var_type = var->GetType();
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001596
Kate Stoneb9c1b512016-09-06 20:57:50 +00001597 if (!var_type) {
Sean Callananea22d422010-07-16 00:09:46 +00001598 if (log)
Kate Stoneb9c1b512016-09-06 20:57:50 +00001599 log->PutCString("Skipped a definition because it has no type");
1600 return false;
1601 }
1602
1603 CompilerType var_clang_type = var_type->GetFullCompilerType();
1604
1605 if (!var_clang_type) {
1606 if (log)
1607 log->PutCString("Skipped a definition because it has no Clang type");
1608 return false;
1609 }
1610
1611 ClangASTContext *clang_ast = llvm::dyn_cast_or_null<ClangASTContext>(
1612 var_type->GetForwardCompilerType().GetTypeSystem());
1613
1614 if (!clang_ast) {
1615 if (log)
1616 log->PutCString("Skipped a definition because it has no Clang AST");
1617 return false;
1618 }
1619
1620 ASTContext *ast = clang_ast->getASTContext();
1621
1622 if (!ast) {
1623 if (log)
1624 log->PutCString(
1625 "There is no AST context for the current execution context");
1626 return false;
1627 }
1628 // var_clang_type = MaybePromoteToBlockPointerType (ast, var_clang_type);
1629
1630 DWARFExpression &var_location_expr = var->LocationExpression();
1631
1632 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
1633 Error err;
1634
1635 if (var->GetLocationIsConstantValueData()) {
1636 DataExtractor const_value_extractor;
1637
1638 if (var_location_expr.GetExpressionData(const_value_extractor)) {
1639 var_location = Value(const_value_extractor.GetDataStart(),
1640 const_value_extractor.GetByteSize());
1641 var_location.SetValueType(Value::eValueTypeHostAddress);
1642 } else {
1643 if (log)
1644 log->Printf("Error evaluating constant variable: %s", err.AsCString());
1645 return false;
Greg Clayton7b462cc2010-10-15 22:48:33 +00001646 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001647 }
1648
1649 CompilerType type_to_use = GuardedCopyType(var_clang_type);
1650
1651 if (!type_to_use) {
1652 if (log)
1653 log->Printf(
1654 "Couldn't copy a variable's type into the parser's AST context");
1655
1656 return false;
1657 }
1658
1659 if (parser_type)
1660 *parser_type = TypeFromParser(type_to_use);
1661
1662 if (var_location.GetContextType() == Value::eContextTypeInvalid)
1663 var_location.SetCompilerType(type_to_use);
1664
1665 if (var_location.GetValueType() == Value::eValueTypeFileAddress) {
1666 SymbolContext var_sc;
1667 var->CalculateSymbolContext(&var_sc);
1668
1669 if (!var_sc.module_sp)
1670 return false;
1671
1672 Address so_addr(var_location.GetScalar().ULongLong(),
1673 var_sc.module_sp->GetSectionList());
1674
1675 lldb::addr_t load_addr = so_addr.GetLoadAddress(target);
1676
1677 if (load_addr != LLDB_INVALID_ADDRESS) {
1678 var_location.GetScalar() = load_addr;
1679 var_location.SetValueType(Value::eValueTypeLoadAddress);
1680 }
1681 }
1682
1683 if (user_type)
1684 *user_type = TypeFromUser(var_clang_type);
1685
1686 return true;
Sean Callanan468574b2010-06-22 23:46:24 +00001687}
1688
Kate Stoneb9c1b512016-09-06 20:57:50 +00001689void ClangExpressionDeclMap::AddOneVariable(NameSearchContext &context,
1690 VariableSP var,
1691 ValueObjectSP valobj,
1692 unsigned int current_id) {
1693 assert(m_parser_vars.get());
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001694
Kate Stoneb9c1b512016-09-06 20:57:50 +00001695 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001696
Kate Stoneb9c1b512016-09-06 20:57:50 +00001697 TypeFromUser ut;
1698 TypeFromParser pt;
1699 Value var_location;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001700
Kate Stoneb9c1b512016-09-06 20:57:50 +00001701 if (!GetVariableValue(var, var_location, &ut, &pt))
1702 return;
1703
1704 clang::QualType parser_opaque_type =
1705 QualType::getFromOpaquePtr(pt.GetOpaqueQualType());
1706
1707 if (parser_opaque_type.isNull())
1708 return;
1709
1710 if (const clang::Type *parser_type = parser_opaque_type.getTypePtr()) {
1711 if (const TagType *tag_type = dyn_cast<TagType>(parser_type))
1712 CompleteType(tag_type->getDecl());
1713 if (const ObjCObjectPointerType *objc_object_ptr_type =
1714 dyn_cast<ObjCObjectPointerType>(parser_type))
1715 CompleteType(objc_object_ptr_type->getInterfaceDecl());
1716 }
1717
1718 bool is_reference = pt.IsReferenceType();
1719
1720 NamedDecl *var_decl = NULL;
1721 if (is_reference)
1722 var_decl = context.AddVarDecl(pt);
1723 else
1724 var_decl = context.AddVarDecl(pt.GetLValueReferenceType());
1725
1726 std::string decl_name(context.m_decl_name.getAsString());
1727 ConstString entity_name(decl_name.c_str());
1728 ClangExpressionVariable *entity(new ClangExpressionVariable(valobj));
1729 m_found_entities.AddNewlyConstructedVariable(entity);
1730
1731 assert(entity);
1732 entity->EnableParserVars(GetParserID());
1733 ClangExpressionVariable::ParserVars *parser_vars =
1734 entity->GetParserVars(GetParserID());
1735 parser_vars->m_parser_type = pt;
1736 parser_vars->m_named_decl = var_decl;
1737 parser_vars->m_llvm_value = NULL;
1738 parser_vars->m_lldb_value = var_location;
1739 parser_vars->m_lldb_var = var;
1740
1741 if (is_reference)
1742 entity->m_flags |= ClangExpressionVariable::EVTypeIsReference;
1743
1744 if (log) {
1745 ASTDumper orig_dumper(ut.GetOpaqueQualType());
1746 ASTDumper ast_dumper(var_decl);
1747 log->Printf(" CEDM::FEVD[%u] Found variable %s, returned %s (original %s)",
1748 current_id, decl_name.c_str(), ast_dumper.GetCString(),
1749 orig_dumper.GetCString());
1750 }
1751}
1752
1753void ClangExpressionDeclMap::AddOneVariable(NameSearchContext &context,
1754 ExpressionVariableSP &pvar_sp,
1755 unsigned int current_id) {
1756 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1757
1758 TypeFromUser user_type(
1759 llvm::cast<ClangExpressionVariable>(pvar_sp.get())->GetTypeFromUser());
1760
1761 TypeFromParser parser_type(GuardedCopyType(user_type));
1762
1763 if (!parser_type.GetOpaqueQualType()) {
1764 if (log)
1765 log->Printf(" CEDM::FEVD[%u] Couldn't import type for pvar %s",
1766 current_id, pvar_sp->GetName().GetCString());
1767 return;
1768 }
1769
1770 NamedDecl *var_decl =
1771 context.AddVarDecl(parser_type.GetLValueReferenceType());
1772
1773 llvm::cast<ClangExpressionVariable>(pvar_sp.get())
1774 ->EnableParserVars(GetParserID());
1775 ClangExpressionVariable::ParserVars *parser_vars =
1776 llvm::cast<ClangExpressionVariable>(pvar_sp.get())
1777 ->GetParserVars(GetParserID());
1778 parser_vars->m_parser_type = parser_type;
1779 parser_vars->m_named_decl = var_decl;
1780 parser_vars->m_llvm_value = NULL;
1781 parser_vars->m_lldb_value.Clear();
1782
1783 if (log) {
1784 ASTDumper ast_dumper(var_decl);
1785 log->Printf(" CEDM::FEVD[%u] Added pvar %s, returned %s", current_id,
1786 pvar_sp->GetName().GetCString(), ast_dumper.GetCString());
1787 }
1788}
1789
1790void ClangExpressionDeclMap::AddOneGenericVariable(NameSearchContext &context,
1791 const Symbol &symbol,
1792 unsigned int current_id) {
1793 assert(m_parser_vars.get());
1794
1795 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1796
1797 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
1798
1799 if (target == NULL)
1800 return;
1801
1802 ASTContext *scratch_ast_context =
1803 target->GetScratchClangASTContext()->getASTContext();
1804
1805 TypeFromUser user_type(
1806 ClangASTContext::GetBasicType(scratch_ast_context, eBasicTypeVoid)
1807 .GetPointerType()
1808 .GetLValueReferenceType());
1809 TypeFromParser parser_type(
1810 ClangASTContext::GetBasicType(m_ast_context, eBasicTypeVoid)
1811 .GetPointerType()
1812 .GetLValueReferenceType());
1813 NamedDecl *var_decl = context.AddVarDecl(parser_type);
1814
1815 std::string decl_name(context.m_decl_name.getAsString());
1816 ConstString entity_name(decl_name.c_str());
1817 ClangExpressionVariable *entity(new ClangExpressionVariable(
1818 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(), entity_name,
1819 user_type, m_parser_vars->m_target_info.byte_order,
1820 m_parser_vars->m_target_info.address_byte_size));
1821 m_found_entities.AddNewlyConstructedVariable(entity);
1822
1823 entity->EnableParserVars(GetParserID());
1824 ClangExpressionVariable::ParserVars *parser_vars =
1825 entity->GetParserVars(GetParserID());
1826
1827 const Address symbol_address = symbol.GetAddress();
1828 lldb::addr_t symbol_load_addr = symbol_address.GetLoadAddress(target);
1829
1830 // parser_vars->m_lldb_value.SetContext(Value::eContextTypeClangType,
1831 // user_type.GetOpaqueQualType());
1832 parser_vars->m_lldb_value.SetCompilerType(user_type);
1833 parser_vars->m_lldb_value.GetScalar() = symbol_load_addr;
1834 parser_vars->m_lldb_value.SetValueType(Value::eValueTypeLoadAddress);
1835
1836 parser_vars->m_parser_type = parser_type;
1837 parser_vars->m_named_decl = var_decl;
1838 parser_vars->m_llvm_value = NULL;
1839 parser_vars->m_lldb_sym = &symbol;
1840
1841 if (log) {
1842 ASTDumper ast_dumper(var_decl);
1843
1844 log->Printf(" CEDM::FEVD[%u] Found variable %s, returned %s", current_id,
1845 decl_name.c_str(), ast_dumper.GetCString());
1846 }
1847}
1848
1849bool ClangExpressionDeclMap::ResolveUnknownTypes() {
1850 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1851 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
1852
1853 ClangASTContext *scratch_ast_context = target->GetScratchClangASTContext();
1854
1855 for (size_t index = 0, num_entities = m_found_entities.GetSize();
1856 index < num_entities; ++index) {
1857 ExpressionVariableSP entity = m_found_entities.GetVariableAtIndex(index);
1858
1859 ClangExpressionVariable::ParserVars *parser_vars =
1860 llvm::cast<ClangExpressionVariable>(entity.get())
1861 ->GetParserVars(GetParserID());
1862
1863 if (entity->m_flags & ClangExpressionVariable::EVUnknownType) {
1864 const NamedDecl *named_decl = parser_vars->m_named_decl;
1865 const VarDecl *var_decl = dyn_cast<VarDecl>(named_decl);
1866
1867 if (!var_decl) {
Sean Callanane0a64f72011-12-01 21:04:37 +00001868 if (log)
Kate Stoneb9c1b512016-09-06 20:57:50 +00001869 log->Printf("Entity of unknown type does not have a VarDecl");
1870 return false;
1871 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001872
Kate Stoneb9c1b512016-09-06 20:57:50 +00001873 if (log) {
1874 ASTDumper ast_dumper(const_cast<VarDecl *>(var_decl));
1875 log->Printf("Variable of unknown type now has Decl %s",
Greg Clayton64bc6ca2011-10-20 00:47:21 +00001876 ast_dumper.GetCString());
Kate Stoneb9c1b512016-09-06 20:57:50 +00001877 }
1878
1879 QualType var_type = var_decl->getType();
1880 TypeFromParser parser_type(
1881 var_type.getAsOpaquePtr(),
1882 ClangASTContext::GetASTContext(&var_decl->getASTContext()));
1883
1884 lldb::opaque_compiler_type_t copied_type = m_ast_importer_sp->CopyType(
1885 scratch_ast_context->getASTContext(), &var_decl->getASTContext(),
1886 var_type.getAsOpaquePtr());
1887
1888 if (!copied_type) {
1889 if (log)
1890 log->Printf("ClangExpressionDeclMap::ResolveUnknownType - Couldn't "
1891 "import the type for a variable");
1892
1893 return (bool)lldb::ExpressionVariableSP();
1894 }
1895
1896 TypeFromUser user_type(copied_type, scratch_ast_context);
1897
1898 // parser_vars->m_lldb_value.SetContext(Value::eContextTypeClangType,
1899 // user_type.GetOpaqueQualType());
1900 parser_vars->m_lldb_value.SetCompilerType(user_type);
1901 parser_vars->m_parser_type = parser_type;
1902
1903 entity->SetCompilerType(user_type);
1904
1905 entity->m_flags &= ~(ClangExpressionVariable::EVUnknownType);
Greg Clayton7b462cc2010-10-15 22:48:33 +00001906 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001907 }
1908
1909 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001910}
Sean Callanan5666b672010-08-04 01:02:13 +00001911
Kate Stoneb9c1b512016-09-06 20:57:50 +00001912void ClangExpressionDeclMap::AddOneRegister(NameSearchContext &context,
1913 const RegisterInfo *reg_info,
1914 unsigned int current_id) {
1915 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001916
Kate Stoneb9c1b512016-09-06 20:57:50 +00001917 CompilerType clang_type =
1918 ClangASTContext::GetBuiltinTypeForEncodingAndBitSize(
1919 m_ast_context, reg_info->encoding, reg_info->byte_size * 8);
Sean Callanan7736a202016-04-29 18:09:03 +00001920
Kate Stoneb9c1b512016-09-06 20:57:50 +00001921 if (!clang_type) {
1922 if (log)
1923 log->Printf(" Tried to add a type for %s, but couldn't get one",
1924 context.m_decl_name.getAsString().c_str());
1925 return;
1926 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001927
Kate Stoneb9c1b512016-09-06 20:57:50 +00001928 TypeFromParser parser_clang_type(clang_type);
Sean Callananfa4fab72013-02-01 06:55:48 +00001929
Kate Stoneb9c1b512016-09-06 20:57:50 +00001930 NamedDecl *var_decl = context.AddVarDecl(parser_clang_type);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001931
Kate Stoneb9c1b512016-09-06 20:57:50 +00001932 ClangExpressionVariable *entity(new ClangExpressionVariable(
1933 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(),
1934 m_parser_vars->m_target_info.byte_order,
1935 m_parser_vars->m_target_info.address_byte_size));
1936 m_found_entities.AddNewlyConstructedVariable(entity);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001937
Kate Stoneb9c1b512016-09-06 20:57:50 +00001938 std::string decl_name(context.m_decl_name.getAsString());
1939 entity->SetName(ConstString(decl_name.c_str()));
1940 entity->SetRegisterInfo(reg_info);
1941 entity->EnableParserVars(GetParserID());
1942 ClangExpressionVariable::ParserVars *parser_vars =
1943 entity->GetParserVars(GetParserID());
1944 parser_vars->m_parser_type = parser_clang_type;
1945 parser_vars->m_named_decl = var_decl;
1946 parser_vars->m_llvm_value = NULL;
1947 parser_vars->m_lldb_value.Clear();
1948 entity->m_flags |= ClangExpressionVariable::EVBareRegister;
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00001949
Kate Stoneb9c1b512016-09-06 20:57:50 +00001950 if (log) {
1951 ASTDumper ast_dumper(var_decl);
1952 log->Printf(" CEDM::FEVD[%d] Added register %s, returned %s", current_id,
1953 context.m_decl_name.getAsString().c_str(),
1954 ast_dumper.GetCString());
1955 }
1956}
1957
1958void ClangExpressionDeclMap::AddOneFunction(NameSearchContext &context,
1959 Function *function, Symbol *symbol,
1960 unsigned int current_id) {
1961 assert(m_parser_vars.get());
1962
1963 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
1964
1965 NamedDecl *function_decl = NULL;
1966 Address fun_address;
1967 CompilerType function_clang_type;
1968
1969 bool is_indirect_function = false;
1970
1971 if (function) {
1972 Type *function_type = function->GetType();
1973
Luke Drummondf5bb1d62016-12-19 17:22:44 +00001974 const auto lang = function->GetCompileUnit()->GetLanguage();
1975 const auto name = function->GetMangled().GetMangledName().AsCString();
1976 const bool extern_c = (Language::LanguageIsC(lang) &&
1977 !CPlusPlusLanguage::IsCPPMangledName(name)) ||
1978 (Language::LanguageIsObjC(lang) &&
1979 !Language::LanguageIsCPlusPlus(lang));
Kate Stoneb9c1b512016-09-06 20:57:50 +00001980
1981 if (!extern_c) {
1982 TypeSystem *type_system = function->GetDeclContext().GetTypeSystem();
1983 if (ClangASTContext *src_ast =
1984 llvm::dyn_cast<ClangASTContext>(type_system)) {
1985 clang::DeclContext *src_decl_context =
1986 (clang::DeclContext *)function->GetDeclContext()
1987 .GetOpaqueDeclContext();
1988 clang::FunctionDecl *src_function_decl =
1989 llvm::dyn_cast_or_null<clang::FunctionDecl>(src_decl_context);
1990
1991 if (src_function_decl) {
1992 if (clang::FunctionDecl *copied_function_decl =
1993 llvm::dyn_cast_or_null<clang::FunctionDecl>(
1994 m_ast_importer_sp->CopyDecl(m_ast_context,
1995 src_ast->getASTContext(),
1996 src_function_decl))) {
1997 if (log) {
1998 ASTDumper ast_dumper((clang::Decl *)copied_function_decl);
1999
2000 StreamString ss;
2001
2002 function->DumpSymbolContext(&ss);
2003
2004 log->Printf(" CEDM::FEVD[%u] Imported decl for function %s "
2005 "(description %s), returned %s",
2006 current_id,
2007 copied_function_decl->getNameAsString().c_str(),
2008 ss.GetData(), ast_dumper.GetCString());
2009 }
2010
2011 context.AddNamedDecl(copied_function_decl);
2012 return;
2013 } else {
2014 if (log) {
2015 log->Printf(" Failed to import the function decl for '%s'",
2016 src_function_decl->getName().str().c_str());
2017 }
2018 }
Sean Callanan7736a202016-04-29 18:09:03 +00002019 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002020 }
Sean Callananfc55f5d2010-09-21 00:44:12 +00002021 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00002022
Kate Stoneb9c1b512016-09-06 20:57:50 +00002023 if (!function_type) {
2024 if (log)
2025 log->PutCString(" Skipped a function because it has no type");
2026 return;
2027 }
2028
2029 function_clang_type = function_type->GetFullCompilerType();
2030
2031 if (!function_clang_type) {
2032 if (log)
2033 log->PutCString(" Skipped a function because it has no Clang type");
2034 return;
2035 }
2036
2037 fun_address = function->GetAddressRange().GetBaseAddress();
2038
2039 CompilerType copied_function_type = GuardedCopyType(function_clang_type);
2040 if (copied_function_type) {
2041 function_decl = context.AddFunDecl(copied_function_type, extern_c);
2042
2043 if (!function_decl) {
2044 if (log) {
2045 log->Printf(
2046 " Failed to create a function decl for '%s' {0x%8.8" PRIx64 "}",
2047 function_type->GetName().GetCString(), function_type->GetID());
2048 }
2049
Sean Callanan3b436d22015-10-23 21:45:02 +00002050 return;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002051 }
2052 } else {
2053 // We failed to copy the type we found
2054 if (log) {
2055 log->Printf(" Failed to import the function type '%s' {0x%8.8" PRIx64
2056 "} into the expression parser AST contenxt",
2057 function_type->GetName().GetCString(),
2058 function_type->GetID());
2059 }
2060
2061 return;
2062 }
2063 } else if (symbol) {
2064 fun_address = symbol->GetAddress();
2065 function_decl = context.AddGenericFunDecl();
2066 is_indirect_function = symbol->IsIndirect();
2067 } else {
2068 if (log)
2069 log->PutCString(" AddOneFunction called with no function and no symbol");
2070 return;
2071 }
2072
2073 Target *target = m_parser_vars->m_exe_ctx.GetTargetPtr();
2074
2075 lldb::addr_t load_addr =
2076 fun_address.GetCallableLoadAddress(target, is_indirect_function);
2077
2078 ClangExpressionVariable *entity(new ClangExpressionVariable(
2079 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(),
2080 m_parser_vars->m_target_info.byte_order,
2081 m_parser_vars->m_target_info.address_byte_size));
2082 m_found_entities.AddNewlyConstructedVariable(entity);
2083
2084 std::string decl_name(context.m_decl_name.getAsString());
2085 entity->SetName(ConstString(decl_name.c_str()));
2086 entity->SetCompilerType(function_clang_type);
2087 entity->EnableParserVars(GetParserID());
2088
2089 ClangExpressionVariable::ParserVars *parser_vars =
2090 entity->GetParserVars(GetParserID());
2091
2092 if (load_addr != LLDB_INVALID_ADDRESS) {
2093 parser_vars->m_lldb_value.SetValueType(Value::eValueTypeLoadAddress);
2094 parser_vars->m_lldb_value.GetScalar() = load_addr;
2095 } else {
2096 // We have to try finding a file address.
2097
2098 lldb::addr_t file_addr = fun_address.GetFileAddress();
2099
2100 parser_vars->m_lldb_value.SetValueType(Value::eValueTypeFileAddress);
2101 parser_vars->m_lldb_value.GetScalar() = file_addr;
2102 }
2103
2104 parser_vars->m_named_decl = function_decl;
2105 parser_vars->m_llvm_value = NULL;
2106
2107 if (log) {
2108 ASTDumper ast_dumper(function_decl);
2109
2110 StreamString ss;
2111
2112 fun_address.Dump(&ss,
2113 m_parser_vars->m_exe_ctx.GetBestExecutionContextScope(),
2114 Address::DumpStyleResolvedDescription);
2115
2116 log->Printf(
2117 " CEDM::FEVD[%u] Found %s function %s (description %s), returned %s",
2118 current_id, (function ? "specific" : "generic"), decl_name.c_str(),
2119 ss.GetData(), ast_dumper.GetCString());
2120 }
2121}
2122
2123void ClangExpressionDeclMap::AddThisType(NameSearchContext &context,
2124 TypeFromUser &ut,
2125 unsigned int current_id) {
2126 CompilerType copied_clang_type = GuardedCopyType(ut);
2127
2128 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
2129
2130 if (!copied_clang_type) {
2131 if (log)
2132 log->Printf(
2133 "ClangExpressionDeclMap::AddThisType - Couldn't import the type");
Sean Callanan3b436d22015-10-23 21:45:02 +00002134
2135 return;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002136 }
2137
2138 if (copied_clang_type.IsAggregateType() &&
2139 copied_clang_type.GetCompleteType()) {
2140 CompilerType void_clang_type =
2141 ClangASTContext::GetBasicType(m_ast_context, eBasicTypeVoid);
2142 CompilerType void_ptr_clang_type = void_clang_type.GetPointerType();
2143
2144 CompilerType method_type = ClangASTContext::CreateFunctionType(
2145 m_ast_context, void_clang_type, &void_ptr_clang_type, 1, false, 0);
2146
2147 const bool is_virtual = false;
2148 const bool is_static = false;
2149 const bool is_inline = false;
2150 const bool is_explicit = false;
2151 const bool is_attr_used = true;
2152 const bool is_artificial = false;
2153
2154 CXXMethodDecl *method_decl =
2155 ClangASTContext::GetASTContext(m_ast_context)
2156 ->AddMethodToCXXRecordType(
2157 copied_clang_type.GetOpaqueQualType(), "$__lldb_expr",
2158 method_type, lldb::eAccessPublic, is_virtual, is_static,
2159 is_inline, is_explicit, is_attr_used, is_artificial);
2160
2161 if (log) {
2162 ASTDumper method_ast_dumper((clang::Decl *)method_decl);
2163 ASTDumper type_ast_dumper(copied_clang_type);
2164
2165 log->Printf(" CEDM::AddThisType Added function $__lldb_expr "
2166 "(description %s) for this type %s",
2167 method_ast_dumper.GetCString(), type_ast_dumper.GetCString());
2168 }
2169 }
2170
2171 if (!copied_clang_type.IsValid())
2172 return;
2173
2174 TypeSourceInfo *type_source_info = m_ast_context->getTrivialTypeSourceInfo(
2175 QualType::getFromOpaquePtr(copied_clang_type.GetOpaqueQualType()));
2176
2177 if (!type_source_info)
2178 return;
2179
2180 // Construct a typedef type because if "*this" is a templated type we can't
2181 // just return ClassTemplateSpecializationDecls in response to name queries.
2182 // Using a typedef makes this much more robust.
2183
2184 TypedefDecl *typedef_decl = TypedefDecl::Create(
2185 *m_ast_context, m_ast_context->getTranslationUnitDecl(), SourceLocation(),
2186 SourceLocation(), context.m_decl_name.getAsIdentifierInfo(),
2187 type_source_info);
2188
2189 if (!typedef_decl)
2190 return;
2191
2192 context.AddNamedDecl(typedef_decl);
2193
2194 return;
Sean Callananfa4fab72013-02-01 06:55:48 +00002195}
2196
Kate Stoneb9c1b512016-09-06 20:57:50 +00002197void ClangExpressionDeclMap::AddOneType(NameSearchContext &context,
2198 TypeFromUser &ut,
2199 unsigned int current_id) {
2200 CompilerType copied_clang_type = GuardedCopyType(ut);
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00002201
Kate Stoneb9c1b512016-09-06 20:57:50 +00002202 if (!copied_clang_type) {
2203 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_EXPRESSIONS));
Sean Callananfa4fab72013-02-01 06:55:48 +00002204
Kate Stoneb9c1b512016-09-06 20:57:50 +00002205 if (log)
2206 log->Printf(
2207 "ClangExpressionDeclMap::AddOneType - Couldn't import the type");
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00002208
Kate Stoneb9c1b512016-09-06 20:57:50 +00002209 return;
2210 }
Sylvestre Ledruceab3ac2014-07-06 17:54:58 +00002211
Kate Stoneb9c1b512016-09-06 20:57:50 +00002212 context.AddTypeDecl(copied_clang_type);
Sean Callanan5666b672010-08-04 01:02:13 +00002213}