LLDB mainline
ClangUserExpression.cpp
Go to the documentation of this file.
1//===-- ClangUserExpression.cpp -------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#include <cstdio>
10#include <sys/types.h>
11
12#include <cstdlib>
13#include <map>
14#include <string>
15
16#include "ClangUserExpression.h"
17
19#include "ClangASTMetadata.h"
20#include "ClangDiagnostic.h"
26
28#include "lldb/Core/Debugger.h"
29#include "lldb/Core/Module.h"
35#include "lldb/Host/HostInfo.h"
36#include "lldb/Symbol/Block.h"
42#include "lldb/Symbol/Type.h"
45#include "lldb/Target/Process.h"
47#include "lldb/Target/Target.h"
52#include "lldb/Utility/Log.h"
55
56#include "clang/AST/DeclCXX.h"
57#include "clang/AST/DeclObjC.h"
58
59#include "clang/Basic/DiagnosticSema.h"
60#include "llvm/ADT/STLExtras.h"
61#include "llvm/ADT/ScopeExit.h"
62#include "llvm/BinaryFormat/Dwarf.h"
63
64using namespace lldb_private;
65
67
69 ExecutionContextScope &exe_scope, llvm::StringRef expr,
70 llvm::StringRef prefix, SourceLanguage language, ResultType desired_type,
71 const EvaluateExpressionOptions &options, ValueObject *ctx_obj)
72 : LLVMUserExpression(exe_scope, expr, prefix, language, desired_type,
73 options),
74 m_type_system_helper(*m_target_wp.lock(), options.GetExecutionPolicy() ==
76 m_result_delegate(exe_scope.CalculateTarget()), m_ctx_obj(ctx_obj) {
77 switch (m_language.name) {
78 case llvm::dwarf::DW_LNAME_C_plus_plus:
79 m_allow_cxx = true;
80 break;
81 case llvm::dwarf::DW_LNAME_ObjC:
82 m_allow_objc = true;
83 break;
84 case llvm::dwarf::DW_LNAME_ObjC_plus_plus:
85 default:
86 m_allow_cxx = true;
87 m_allow_objc = true;
88 break;
89 }
90}
91
93
95 ExecutionContext &exe_ctx) {
97
98 LLDB_LOGF(log, "ClangUserExpression::ScanContext()");
99
100 m_target = exe_ctx.GetTargetPtr();
101
102 if (!(m_allow_cxx || m_allow_objc)) {
103 LLDB_LOGF(log, " [CUE::SC] Settings inhibit C++ and Objective-C");
104 return;
105 }
106
107 StackFrame *frame = exe_ctx.GetFramePtr();
108 if (frame == nullptr) {
109 LLDB_LOGF(log, " [CUE::SC] Null stack frame");
110 return;
111 }
112
113 SymbolContext sym_ctx = frame->GetSymbolContext(lldb::eSymbolContextFunction |
114 lldb::eSymbolContextBlock);
115
116 if (!sym_ctx.function) {
117 LLDB_LOGF(log, " [CUE::SC] Null function");
118 return;
119 }
120
121 // Find the block that defines the function represented by "sym_ctx"
122 Block *function_block = sym_ctx.GetFunctionBlock();
123
124 if (!function_block) {
125 LLDB_LOGF(log, " [CUE::SC] Null function block");
126 return;
127 }
128
129 CompilerDeclContext decl_context = function_block->GetDeclContext();
130
131 if (!decl_context) {
132 LLDB_LOGF(log, " [CUE::SC] Null decl context");
133 return;
134 }
135
136 if (m_ctx_obj) {
137 switch (m_ctx_obj->GetObjectRuntimeLanguage()) {
147 break;
151 break;
152 default:
153 break;
154 }
155 m_needs_object_ptr = true;
156 } else if (clang::CXXMethodDecl *method_decl =
158 if (m_allow_cxx && method_decl->isInstance()) {
160 lldb::VariableListSP variable_list_sp(
161 function_block->GetBlockVariableList(true));
162
163 const char *msg = "Stopped in a C++ method, but 'this' isn't "
164 "available; pretending we are in a generic context";
165
166 if (!variable_list_sp) {
167 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
169 return;
170 }
171
172 lldb::VariableSP this_var_sp(
173 variable_list_sp->FindVariable(ConstString("this")));
174
175 if (!this_var_sp || !this_var_sp->IsInScope(frame) ||
176 !this_var_sp->LocationIsValidForFrame(frame)) {
177 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
179 return;
180 }
181 }
182
184 m_needs_object_ptr = true;
185 }
186 } else if (clang::ObjCMethodDecl *method_decl =
188 decl_context)) {
189 if (m_allow_objc) {
191 lldb::VariableListSP variable_list_sp(
192 function_block->GetBlockVariableList(true));
193
194 const char *msg = "Stopped in an Objective-C method, but 'self' isn't "
195 "available; pretending we are in a generic context";
196
197 if (!variable_list_sp) {
198 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
200 return;
201 }
202
203 lldb::VariableSP self_variable_sp =
204 variable_list_sp->FindVariable(ConstString("self"));
205
206 if (!self_variable_sp || !self_variable_sp->IsInScope(frame) ||
207 !self_variable_sp->LocationIsValidForFrame(frame)) {
208 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
210 return;
211 }
212 }
213
215 m_needs_object_ptr = true;
216
217 if (!method_decl->isInstanceMethod())
218 m_in_static_method = true;
219 }
220 } else if (clang::FunctionDecl *function_decl =
222 // We might also have a function that said in the debug information that it
223 // captured an object pointer. The best way to deal with getting to the
224 // ivars at present is by pretending that this is a method of a class in
225 // whatever runtime the debug info says the object pointer belongs to. Do
226 // that here.
227
228 if (std::optional<ClangASTMetadata> metadata =
230 function_decl);
231 metadata && metadata->HasObjectPtr()) {
232 lldb::LanguageType language = metadata->GetObjectPtrLanguage();
233 if (language == lldb::eLanguageTypeC_plus_plus) {
235 lldb::VariableListSP variable_list_sp(
236 function_block->GetBlockVariableList(true));
237
238 const char *msg = "Stopped in a context claiming to capture a C++ "
239 "object pointer, but 'this' isn't available; "
240 "pretending we are in a generic context";
241
242 if (!variable_list_sp) {
243 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
245 return;
246 }
247
248 lldb::VariableSP this_var_sp(
249 variable_list_sp->FindVariable(ConstString("this")));
250
251 if (!this_var_sp || !this_var_sp->IsInScope(frame) ||
252 !this_var_sp->LocationIsValidForFrame(frame)) {
253 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
255 return;
256 }
257 }
258
260 m_needs_object_ptr = true;
261 } else if (language == lldb::eLanguageTypeObjC) {
263 lldb::VariableListSP variable_list_sp(
264 function_block->GetBlockVariableList(true));
265
266 const char *msg = "Stopped in a context claiming to capture an "
267 "Objective-C object pointer, but 'self' isn't "
268 "available; pretending we are in a generic context";
269
270 if (!variable_list_sp) {
271 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
273 return;
274 }
275
276 lldb::VariableSP self_variable_sp =
277 variable_list_sp->FindVariable(ConstString("self"));
278
279 if (!self_variable_sp || !self_variable_sp->IsInScope(frame) ||
280 !self_variable_sp->LocationIsValidForFrame(frame)) {
281 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
283 return;
284 }
285
286 Type *self_type = self_variable_sp->GetType();
287
288 if (!self_type) {
289 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
291 return;
292 }
293
294 CompilerType self_clang_type = self_type->GetForwardCompilerType();
295
296 if (!self_clang_type) {
297 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
299 return;
300 }
301
302 if (TypeSystemClang::IsObjCClassType(self_clang_type)) {
303 return;
305 self_clang_type)) {
307 m_needs_object_ptr = true;
308 } else {
309 diagnostic_manager.AddDiagnostic(msg, lldb::eSeverityWarning,
311 return;
312 }
313 } else {
315 m_needs_object_ptr = true;
316 }
317 }
318 }
319 }
320}
321
322// This is a really nasty hack, meant to fix Objective-C expressions of the
323// form (int)[myArray count]. Right now, because the type information for
324// count is not available, [myArray count] returns id, which can't be directly
325// cast to int without causing a clang error.
326static void ApplyObjcCastHack(std::string &expr) {
327 const std::string from = "(int)[";
328 const std::string to = "(int)(long long)[";
329
330 size_t offset;
331
332 while ((offset = expr.find(from)) != expr.npos)
333 expr.replace(offset, from.size(), to);
334}
335
337 ExecutionContext &exe_ctx) {
338 if (Target *target = exe_ctx.GetTargetPtr()) {
339 if (PersistentExpressionState *persistent_state =
340 target->GetPersistentExpressionStateForLanguage(
342 m_clang_state = llvm::cast<ClangPersistentVariables>(persistent_state);
343 m_result_delegate.RegisterPersistentState(persistent_state);
344 } else {
345 diagnostic_manager.PutString(
346 lldb::eSeverityError, "couldn't start parsing (no persistent data)");
347 return false;
348 }
349 } else {
350 diagnostic_manager.PutString(lldb::eSeverityError,
351 "error: couldn't start parsing (no target)");
352 return false;
353 }
354 return true;
355}
356
357static void SetupDeclVendor(ExecutionContext &exe_ctx, Target *target,
358 DiagnosticManager &diagnostic_manager) {
359 if (!target->GetEnableAutoImportClangModules())
360 return;
361
362 auto *persistent_state = llvm::cast<ClangPersistentVariables>(
364 if (!persistent_state)
365 return;
366
367 std::shared_ptr<ClangModulesDeclVendor> decl_vendor =
368 persistent_state->GetClangModulesDeclVendor();
369 if (!decl_vendor)
370 return;
371
372 StackFrame *frame = exe_ctx.GetFramePtr();
373 if (!frame)
374 return;
375
376 Block *block = frame->GetFrameBlock();
377 if (!block)
378 return;
379 SymbolContext sc;
380
381 block->CalculateSymbolContext(&sc);
382
383 if (!sc.comp_unit)
384 return;
385 ClangModulesDeclVendor::ModuleVector modules_for_macros =
386 persistent_state->GetHandLoadedClangModules();
387
388 auto err =
389 decl_vendor->AddModulesForCompileUnit(*sc.comp_unit, modules_for_macros);
390 if (!err)
391 return;
392
393 // Module load errors aren't fatal to the expression evaluator. Printing
394 // them as diagnostics to the console would be too noisy and misleading
395 // Hence just print them to the expression log.
396 llvm::handleAllErrors(std::move(err), [](const llvm::StringError &e) {
397 LLDB_LOG(GetLog(LLDBLog::Expressions), "{0}", e.getMessage());
398 });
399}
400
402 assert(m_options.GetExecutionPolicy() != eExecutionPolicyTopLevel &&
403 "Top level expressions aren't wrapped.");
406 return Kind::CppMemberFunction;
407 else if (m_in_objectivec_method) {
409 return Kind::ObjCStaticMethod;
410 return Kind::ObjCInstanceMethod;
411 }
412 // Not in any kind of 'special' function, so just wrap it in a normal C
413 // function.
414 return Kind::Function;
415}
416
418 DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx,
419 std::vector<std::string> modules_to_import, bool for_completion) {
420
421 std::string prefix = m_expr_prefix;
422
423 if (m_options.GetExecutionPolicy() == eExecutionPolicyTopLevel) {
425 } else {
427 m_filename, prefix, m_expr_text, GetWrapKind()));
428
429 if (!m_source_code->GetText(m_transformed_text, exe_ctx, !m_ctx_obj,
430 for_completion, modules_to_import,
431 m_options.GetCppIgnoreContextQualifiers())) {
432 diagnostic_manager.PutString(lldb::eSeverityError,
433 "couldn't construct expression body");
434 return;
435 }
436
437 // Find and store the start position of the original code inside the
438 // transformed code. We need this later for the code completion.
439 std::size_t original_start;
440 std::size_t original_end;
441 bool found_bounds = m_source_code->GetOriginalBodyBounds(
442 m_transformed_text, original_start, original_end);
443 if (found_bounds)
444 m_user_expression_start_pos = original_start;
445 }
446}
447
449 switch (language) {
455 return true;
456 default:
457 return false;
458 }
459}
460
461/// Utility method that puts a message into the expression log and
462/// returns an invalid module configuration.
463static CppModuleConfiguration LogConfigError(const std::string &msg) {
465 LLDB_LOG(log, "[C++ module config] {0}", msg);
466 return CppModuleConfiguration();
467}
468
470 ExecutionContext &exe_ctx) {
472
473 // Don't do anything if this is not a C++ module configuration.
474 if (!SupportsCxxModuleImport(language))
475 return LogConfigError("Language doesn't support C++ modules");
476
477 Target *target = exe_ctx.GetTargetPtr();
478 if (!target)
479 return LogConfigError("No target");
480
481 StackFrame *frame = exe_ctx.GetFramePtr();
482 if (!frame)
483 return LogConfigError("No frame");
484
485 Block *block = frame->GetFrameBlock();
486 if (!block)
487 return LogConfigError("No block");
488
489 SymbolContext sc;
490 block->CalculateSymbolContext(&sc);
491 if (!sc.comp_unit)
492 return LogConfigError("Couldn't calculate symbol context");
493
494 // Build a list of files we need to analyze to build the configuration.
495 FileSpecList files;
496 for (auto &f : sc.comp_unit->GetSupportFiles())
497 files.AppendIfUnique(f->Materialize());
498 // We also need to look at external modules in the case of -gmodules as they
499 // contain the support files for libc++ and the C library.
500 llvm::DenseSet<SymbolFile *> visited_symbol_files;
502 visited_symbol_files, [&files](Module &module) {
503 for (std::size_t i = 0; i < module.GetNumCompileUnits(); ++i) {
504 const SupportFileList &support_files =
505 module.GetCompileUnitAtIndex(i)->GetSupportFiles();
506 for (auto &f : support_files) {
507 files.AppendIfUnique(f->Materialize());
508 }
509 }
510 return false;
511 });
512
513 LLDB_LOG(log, "[C++ module config] Found {0} support files to analyze",
514 files.GetSize());
515 if (log && log->GetVerbose()) {
516 for (auto &f : files)
517 LLDB_LOG_VERBOSE(log, "[C++ module config] Analyzing support file: {0}",
518 f.GetPath());
519 }
520
521 // Try to create a configuration from the files. If there is no valid
522 // configuration possible with the files, this just returns an invalid
523 // configuration.
524 return CppModuleConfiguration(files, target->GetArchitecture().GetTriple());
525}
526
528 DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx,
529 bool for_completion) {
530 InstallContext(exe_ctx);
531
532 if (!SetupPersistentState(diagnostic_manager, exe_ctx))
533 return false;
534
535 Status err;
536 ScanContext(diagnostic_manager, exe_ctx);
537
538 if (!err.Success()) {
539 diagnostic_manager.PutString(lldb::eSeverityWarning, err.AsCString());
540 }
541
542 ////////////////////////////////////
543 // Generate the expression
544 //
545
547
548 SetupDeclVendor(exe_ctx, m_target, diagnostic_manager);
549
550 m_filename = m_clang_state->GetNextExprFileName();
551
552 if (m_target->GetImportStdModule() == eImportStdModuleTrue)
553 SetupCppModuleImports(exe_ctx);
554
555 CreateSourceCode(diagnostic_manager, exe_ctx, m_imported_cpp_modules,
556 for_completion);
557 return true;
558}
559
561 DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx,
562 lldb_private::ExecutionPolicy execution_policy, bool keep_result_in_memory,
563 bool generate_debug_info) {
564 m_materializer_up = std::make_unique<Materializer>();
565
566 ResetDeclMap(exe_ctx, m_result_delegate, keep_result_in_memory);
567
568 llvm::scope_exit on_exit([this]() { ResetDeclMap(); });
569
570 if (!DeclMap()->WillParse(exe_ctx, GetMaterializer())) {
571 diagnostic_manager.PutString(
573 "current process state is unsuitable for expression parsing");
574 return false;
575 }
576
577 if (m_options.GetExecutionPolicy() == eExecutionPolicyTopLevel) {
578 DeclMap()->SetLookupsEnabled(true);
579 }
580
581 m_parser = std::make_unique<ClangExpressionParser>(
582 exe_ctx.GetBestExecutionContextScope(), *this, generate_debug_info,
583 diagnostic_manager, m_include_directories, m_filename);
584
585 unsigned num_errors = m_parser->Parse(diagnostic_manager);
586
587 // Check here for FixItHints. If there are any try to apply the fixits and
588 // set the fixed text in m_fixed_text before returning an error.
589 if (num_errors) {
590 if (diagnostic_manager.HasFixIts()) {
591 if (m_parser->RewriteExpression(diagnostic_manager)) {
592 size_t fixed_start;
593 size_t fixed_end;
594 m_fixed_text = diagnostic_manager.GetFixedExpression();
595 // Retrieve the original expression in case we don't have a top level
596 // expression (which has no surrounding source code).
597 if (m_source_code && m_source_code->GetOriginalBodyBounds(
598 m_fixed_text, fixed_start, fixed_end))
600 m_fixed_text.substr(fixed_start, fixed_end - fixed_start);
601 }
602 }
603 return false;
604 }
605
606 //////////////////////////////////////////////////////////////////////////////
607 // Prepare the output of the parser for execution, evaluating it statically
608 // if possible
609 //
610
611 {
612 Status jit_error = m_parser->PrepareForExecution(
614 m_can_interpret, execution_policy);
615
616 if (!jit_error.Success()) {
617 const char *error_cstr = jit_error.AsCString();
618 if (error_cstr && error_cstr[0])
619 diagnostic_manager.PutString(lldb::eSeverityError, error_cstr);
620 else
621 diagnostic_manager.PutString(lldb::eSeverityError,
622 "expression can't be interpreted or run");
623 return false;
624 }
625 }
626 return true;
627}
628
631
632 CppModuleConfiguration module_config =
633 GetModuleConfig(m_language.AsLanguageType(), exe_ctx);
635 m_include_directories = module_config.GetIncludeDirs();
636
637 LLDB_LOG(log, "List of imported modules in expression: {0}",
638 llvm::make_range(m_imported_cpp_modules.begin(),
640 LLDB_LOG(log, "List of include directories gathered for modules: {0}",
641 llvm::make_range(m_include_directories.begin(),
642 m_include_directories.end()));
643}
644
645static bool shouldRetryWithCppModule(Target &target, ExecutionPolicy exe_policy) {
646 // Top-level expression don't yet support importing C++ modules.
648 return false;
650}
651
653 ExecutionContext &exe_ctx,
654 lldb_private::ExecutionPolicy execution_policy,
655 bool keep_result_in_memory,
656 bool generate_debug_info) {
658
659 if (!PrepareForParsing(diagnostic_manager, exe_ctx, /*for_completion*/ false))
660 return false;
661
662 LLDB_LOGF(log, "Parsing the following code:\n%s", m_transformed_text.c_str());
663
664 ////////////////////////////////////
665 // Set up the target and compiler
666 //
667
668 Target *target = exe_ctx.GetTargetPtr();
669
670 if (!target) {
671 diagnostic_manager.PutString(lldb::eSeverityError, "invalid target");
672 return false;
673 }
674
675 //////////////////////////
676 // Parse the expression
677 //
678
679 bool parse_success = TryParse(diagnostic_manager, exe_ctx, execution_policy,
680 keep_result_in_memory, generate_debug_info);
681 // If the expression failed to parse, check if retrying parsing with a loaded
682 // C++ module is possible.
683 if (!parse_success && shouldRetryWithCppModule(*target, execution_policy)) {
684 // Load the loaded C++ modules.
685 SetupCppModuleImports(exe_ctx);
686 // If we did load any modules, then retry parsing.
687 if (!m_imported_cpp_modules.empty()) {
688 // Create a dedicated diagnostic manager for the second parse attempt.
689 // These diagnostics are only returned to the caller if using the fallback
690 // actually succeeded in getting the expression to parse. This prevents
691 // that module-specific issues regress diagnostic quality with the
692 // fallback mode.
693 DiagnosticManager retry_manager;
694 // The module imports are injected into the source code wrapper,
695 // so recreate those.
696 CreateSourceCode(retry_manager, exe_ctx, m_imported_cpp_modules,
697 /*for_completion*/ false);
698 parse_success = TryParse(retry_manager, exe_ctx, execution_policy,
699 keep_result_in_memory, generate_debug_info);
700 // Return the parse diagnostics if we were successful.
701 if (parse_success)
702 diagnostic_manager = std::move(retry_manager);
703 }
704 }
705 if (!parse_success)
706 return false;
707
709 bool register_execution_unit = false;
710
711 if (m_options.GetExecutionPolicy() == eExecutionPolicyTopLevel) {
712 register_execution_unit = true;
713 }
714
715 // If there is more than one external function in the execution unit, it
716 // needs to keep living even if it's not top level, because the result
717 // could refer to that function.
718
719 if (m_execution_unit_sp->GetJittedFunctions().size() > 1) {
720 register_execution_unit = true;
721 }
722
723 if (register_execution_unit) {
724 if (auto *persistent_state =
726 m_language.AsLanguageType()))
727 persistent_state->RegisterExecutionUnit(m_execution_unit_sp);
728 }
729 }
730
731 if (generate_debug_info) {
732 lldb::ModuleSP jit_module_sp(m_execution_unit_sp->GetJITModule());
733
734 if (jit_module_sp) {
735 ConstString const_func_name(FunctionName());
736 FileSpec jit_file;
737 jit_file.SetFilename(const_func_name);
738 jit_module_sp->SetFileSpecAndObjectName(jit_file, ConstString());
739 m_jit_module_wp = jit_module_sp;
740 target->GetImages().Append(jit_module_sp);
741 }
742 }
743
744 Process *process = exe_ctx.GetProcessPtr();
745 if (process && m_jit_start_addr != LLDB_INVALID_ADDRESS)
746 m_jit_process_wp = lldb::ProcessWP(process->shared_from_this());
747 return true;
748}
749
750/// Converts an absolute position inside a given code string into
751/// a column/line pair.
752///
753/// \param[in] abs_pos
754/// A absolute position in the code string that we want to convert
755/// to a column/line pair.
756///
757/// \param[in] code
758/// A multi-line string usually representing source code.
759///
760/// \param[out] line
761/// The line in the code that contains the given absolute position.
762/// The first line in the string is indexed as 1.
763///
764/// \param[out] column
765/// The column in the line that contains the absolute position.
766/// The first character in a line is indexed as 0.
767static void AbsPosToLineColumnPos(size_t abs_pos, llvm::StringRef code,
768 unsigned &line, unsigned &column) {
769 // Reset to code position to beginning of the file.
770 line = 0;
771 column = 0;
772
773 assert(abs_pos <= code.size() && "Absolute position outside code string?");
774
775 // We have to walk up to the position and count lines/columns.
776 for (std::size_t i = 0; i < abs_pos; ++i) {
777 // If we hit a line break, we go back to column 0 and enter a new line.
778 // We only handle \n because that's what we internally use to make new
779 // lines for our temporary code strings.
780 if (code[i] == '\n') {
781 ++line;
782 column = 0;
783 continue;
784 }
785 ++column;
786 }
787}
788
790 CompletionRequest &request,
791 unsigned complete_pos) {
793
794 // We don't want any visible feedback when completing an expression. Mostly
795 // because the results we get from an incomplete invocation are probably not
796 // correct.
797 DiagnosticManager diagnostic_manager;
798
799 if (!PrepareForParsing(diagnostic_manager, exe_ctx, /*for_completion*/ true))
800 return false;
801
802 LLDB_LOGF(log, "Parsing the following code:\n%s", m_transformed_text.c_str());
803
804 //////////////////////////
805 // Parse the expression
806 //
807
808 m_materializer_up = std::make_unique<Materializer>();
809
810 ResetDeclMap(exe_ctx, m_result_delegate, /*keep result in memory*/ true);
811
812 llvm::scope_exit on_exit([this]() { ResetDeclMap(); });
813
814 if (!DeclMap()->WillParse(exe_ctx, GetMaterializer())) {
815 diagnostic_manager.PutString(
817 "current process state is unsuitable for expression parsing");
818
819 return false;
820 }
821
822 if (m_options.GetExecutionPolicy() == eExecutionPolicyTopLevel) {
823 DeclMap()->SetLookupsEnabled(true);
824 }
825
827 false, diagnostic_manager);
828
829 // We have to find the source code location where the user text is inside
830 // the transformed expression code. When creating the transformed text, we
831 // already stored the absolute position in the m_transformed_text string. The
832 // only thing left to do is to transform it into the line:column format that
833 // Clang expects.
834
835 // The line and column of the user expression inside the transformed source
836 // code.
837 unsigned user_expr_line, user_expr_column;
840 user_expr_line, user_expr_column);
841 else
842 return false;
843
844 // The actual column where we have to complete is the start column of the
845 // user expression + the offset inside the user code that we were given.
846 const unsigned completion_column = user_expr_column + complete_pos;
847 parser.Complete(request, user_expr_line, completion_column, complete_pos);
848
849 return true;
850}
851
853 lldb::StackFrameSP frame_sp, llvm::StringRef object_name, Status &err) {
854 auto valobj_sp =
855 GetObjectPointerValueObject(std::move(frame_sp), object_name, err);
856
857 // We're inside a C++ class method. This could potentially be an unnamed
858 // lambda structure. If the lambda captured a "this", that should be
859 // the object pointer.
860 if (auto thisChildSP = valobj_sp->GetChildMemberWithName("this")) {
861 valobj_sp = thisChildSP;
862 }
863
864 if (!err.Success() || !valobj_sp.get())
866
867 lldb::addr_t ret = valobj_sp->GetValueAsUnsigned(LLDB_INVALID_ADDRESS);
868
869 if (ret == LLDB_INVALID_ADDRESS) {
871 "Couldn't load '{0}' because its value couldn't be evaluated",
872 object_name);
874 }
875
876 return ret;
877}
878
880 std::vector<lldb::addr_t> &args,
881 lldb::addr_t struct_address,
882 DiagnosticManager &diagnostic_manager) {
885
886 if (m_needs_object_ptr) {
887 lldb::StackFrameSP frame_sp = exe_ctx.GetFrameSP();
888 if (!frame_sp)
889 return true;
890
892 diagnostic_manager.PutString(
894 "need object pointer but don't know the language");
895 return false;
896 }
897
898 static constexpr llvm::StringLiteral g_cplusplus_object_name("this");
899 static constexpr llvm::StringLiteral g_objc_object_name("self");
900 llvm::StringRef object_name =
901 m_in_cplusplus_method ? g_cplusplus_object_name : g_objc_object_name;
902
903 Status object_ptr_error;
904
905 if (m_ctx_obj) {
906 ValueObject::AddrAndType address = m_ctx_obj->GetAddressOf(false);
907 if (address.address == LLDB_INVALID_ADDRESS ||
908 address.type != eAddressTypeLoad)
909 object_ptr_error = Status::FromErrorString("Can't get context object's "
910 "debuggee address");
911 else
912 object_ptr = address.address;
913 } else {
915 object_ptr =
916 GetCppObjectPointer(frame_sp, object_name, object_ptr_error);
917 } else {
918 object_ptr = GetObjectPointer(frame_sp, object_name, object_ptr_error);
919 }
920 }
921
922 if (!object_ptr_error.Success()) {
923 exe_ctx.GetTargetRef().GetDebugger().GetAsyncOutputStream()->Format(
924 "warning: `{0}' is not accessible (substituting 0). {1}\n",
925 object_name, object_ptr_error.AsCString());
926 object_ptr = 0;
927 }
928
930 static constexpr llvm::StringLiteral cmd_name("_cmd");
931
932 cmd_ptr = GetObjectPointer(frame_sp, cmd_name, object_ptr_error);
933
934 if (!object_ptr_error.Success()) {
935 diagnostic_manager.Printf(
937 "couldn't get cmd pointer (substituting NULL): %s",
938 object_ptr_error.AsCString());
939 cmd_ptr = 0;
940 }
941 }
942
943 args.push_back(object_ptr);
944
946 args.push_back(cmd_ptr);
947
948 args.push_back(struct_address);
949 } else {
950 args.push_back(struct_address);
951 }
952 return true;
953}
954
959
961 DiagnosticManager &diagnostic_manager) const {
962 const bool is_fixable_cvr_error = llvm::any_of(
963 diagnostic_manager.Diagnostics(),
964 [](std::unique_ptr<Diagnostic> const &diag) {
965 switch (diag->GetCompilerID()) {
966 case clang::diag::err_member_function_call_bad_cvr:
967 case clang::diag::err_typecheck_assign_const_method:
968 return true;
969 default:
970 return false;
971 }
972 });
973
974 // Nothing to report.
975 if (!is_fixable_cvr_error)
976 return;
977
978 // If the user already tried ignoring function qualifiers but
979 // the expression still failed, we don't want to suggest the hint again.
980 if (m_options.GetCppIgnoreContextQualifiers()) {
981 // Hard to prove that we don't get here so don't emit a diagnostic n
982 // non-asserts builds. But we do want a signal in asserts builds.
983 assert(false &&
984 "CppIgnoreContextQualifiers didn't resolve compiler diagnostic.");
985 return;
986 }
987
988 diagnostic_manager.Printf(
990 "Possibly trying to mutate object in a const context. Try "
991 "running the expression with: expression --c++-ignore-context-qualifiers "
992 "-- %s",
993 !m_fixed_text.empty() ? m_fixed_text.c_str() : m_expr_text.c_str());
994}
995
997 DiagnosticManager &diagnostic_manager) const {
998 if (llvm::none_of(diagnostic_manager.Diagnostics(),
999 [](std::unique_ptr<Diagnostic> const &diag) {
1000 switch (diag->GetCompilerID()) {
1001 // FIXME: should we also be checking
1002 // clang::diag::err_no_member_template?
1003 case clang::diag::err_no_template:
1004 case clang::diag::err_non_template_in_template_id:
1005 return true;
1006 default:
1007 return false;
1008 }
1009 }))
1010 return;
1011
1012 diagnostic_manager.AddDiagnostic(
1013 "Naming template instantiation not yet supported. Template functions "
1014 "can be invoked via their mangled name. For example, using "
1015 "`_Z3fooIiEvi(123)` for `foo<int>(123)`",
1017}
1018
1020 DiagnosticManager &diagnostic_manager) const {
1021 FixupCVRParseErrorDiagnostics(diagnostic_manager);
1022 FixupTemplateLookupDiagnostics(diagnostic_manager);
1023}
1024
1026
1028 ExecutionContext &exe_ctx,
1030 bool keep_result_in_memory, ValueObject *ctx_obj,
1031 bool ignore_context_qualifiers) {
1032 std::shared_ptr<ClangASTImporter> ast_importer;
1033 auto *state = exe_ctx.GetTargetSP()->GetPersistentExpressionStateForLanguage(
1035 if (state) {
1036 auto *persistent_vars = llvm::cast<ClangPersistentVariables>(state);
1037 ast_importer = persistent_vars->GetClangASTImporter();
1038 }
1039 m_expr_decl_map_up = std::make_unique<ClangExpressionDeclMap>(
1040 keep_result_in_memory, &delegate, exe_ctx.GetTargetSP(), ast_importer,
1041 ctx_obj, ignore_context_qualifiers);
1042}
1043
1044clang::ASTConsumer *
1046 clang::ASTConsumer *passthrough) {
1047 m_result_synthesizer_up = std::make_unique<ASTResultSynthesizer>(
1048 passthrough, m_top_level, m_target);
1049
1050 return m_result_synthesizer_up.get();
1051}
1052
1058
1060 return m_persistent_state->GetNextPersistentVariableName(false);
1061}
1062
1067
1072
static bool shouldRetryWithCppModule(Target &target, ExecutionPolicy exe_policy)
CppModuleConfiguration GetModuleConfig(lldb::LanguageType language, ExecutionContext &exe_ctx)
static CppModuleConfiguration LogConfigError(const std::string &msg)
Utility method that puts a message into the expression log and returns an invalid module configuratio...
static void AbsPosToLineColumnPos(size_t abs_pos, llvm::StringRef code, unsigned &line, unsigned &column)
Converts an absolute position inside a given code string into a column/line pair.
static void SetupDeclVendor(ExecutionContext &exe_ctx, Target *target, DiagnosticManager &diagnostic_manager)
static bool SupportsCxxModuleImport(lldb::LanguageType language)
static void ApplyObjcCastHack(std::string &expr)
#define LLDB_LOG(log,...)
The LLDB_LOG* macros defined below are the way to emit log messages.
Definition Log.h:364
#define LLDB_LOGF(log,...)
Definition Log.h:378
#define LLDB_LOG_VERBOSE(log,...)
Definition Log.h:371
llvm::Triple & GetTriple()
Architecture triple accessor.
Definition ArchSpec.h:460
A class that describes a single lexical block.
Definition Block.h:41
lldb::VariableListSP GetBlockVariableList(bool can_create)
Get the variable list for this block only.
Definition Block.cpp:392
void CalculateSymbolContext(SymbolContext *sc) override
Reconstruct the object's symbol context into sc.
Definition Block.cpp:137
CompilerDeclContext GetDeclContext()
Definition Block.cpp:473
void SetLookupsEnabled(bool lookups_enabled)
"lldb/Expression/ClangExpressionParser.h" Encapsulates an instance of Clang that can parse expression...
bool Complete(CompletionRequest &request, unsigned line, unsigned pos, unsigned typed_pos) override
Attempts to find possible command line completions for the given expression.
WrapKind
The possible ways an expression can be wrapped.
static ClangExpressionSourceCode * CreateWrapped(llvm::StringRef filename, llvm::StringRef prefix, llvm::StringRef body, WrapKind wrap_kind)
clang::ASTConsumer * ASTTransformer(clang::ASTConsumer *passthrough) override
Return the object that the parser should allow to access ASTs.
std::unique_ptr< ClangExpressionDeclMap > m_expr_decl_map_up
std::unique_ptr< ASTResultSynthesizer > m_result_synthesizer_up
void RegisterPersistentState(PersistentExpressionState *persistent_state)
void DidDematerialize(lldb::ExpressionVariableSP &variable) override
void FixupTemplateLookupDiagnostics(DiagnosticManager &diagnostic_manager) const
bool m_enforce_valid_object
True if the expression parser should enforce the presence of a valid class pointer in order to genera...
std::string m_filename
File name used for the expression.
lldb::ExpressionVariableSP GetResultAfterDematerialization(ExecutionContextScope *exe_scope) override
ClangUserExpression(ExecutionContextScope &exe_scope, llvm::StringRef expr, llvm::StringRef prefix, SourceLanguage language, ResultType desired_type, const EvaluateExpressionOptions &options, ValueObject *ctx_obj)
Constructor.
bool m_in_objectivec_method
True if the expression is compiled as an Objective-C method (true if it was parsed when exe_ctx was i...
void CreateSourceCode(DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx, std::vector< std::string > modules_to_import, bool for_completion)
bool Complete(ExecutionContext &exe_ctx, CompletionRequest &request, unsigned complete_pos) override
Attempts to find possible command line completions for the given (possible incomplete) user expressio...
ClangExpressionSourceCode::WrapKind GetWrapKind() const
Defines how the current expression should be wrapped.
std::unique_ptr< ClangExpressionParser > m_parser
The parser instance we used to parse the expression.
void SetupCppModuleImports(ExecutionContext &exe_ctx)
void FixupParseErrorDiagnostics(DiagnosticManager &diagnostic_manager) const override
Called by expression evaluator when a parse error occurs.
bool PrepareForParsing(DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx, bool for_completion)
bool m_needs_object_ptr
True if "this" or "self" must be looked up and passed in.
ClangExpressionDeclMap * DeclMap()
bool SetupPersistentState(DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx)
bool m_in_static_method
True if the expression is compiled as a static (or class) method (currently true if it was parsed whe...
bool Parse(DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx, lldb_private::ExecutionPolicy execution_policy, bool keep_result_in_memory, bool generate_debug_info) override
Parse the expression.
bool TryParse(DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx, lldb_private::ExecutionPolicy execution_policy, bool keep_result_in_memory, bool generate_debug_info)
Populate m_in_cplusplus_method and m_in_objectivec_method based on the environment.
std::optional< size_t > m_user_expression_start_pos
The absolute character position in the transformed source code where the user code (as typed by the u...
bool AddArguments(ExecutionContext &exe_ctx, std::vector< lldb::addr_t > &args, lldb::addr_t struct_address, DiagnosticManager &diagnostic_manager) override
void ScanContext(DiagnosticManager &diagnostic_manager, ExecutionContext &exe_ctx)
lldb::addr_t GetCppObjectPointer(lldb::StackFrameSP frame, llvm::StringRef object_name, Status &err)
std::unique_ptr< ClangExpressionSourceCode > m_source_code
std::vector< std::string > m_imported_cpp_modules
A list of module names that should be imported when parsing.
ClangUserExpressionHelper m_type_system_helper
ClangPersistentVariables * m_clang_state
void FixupCVRParseErrorDiagnostics(DiagnosticManager &diagnostic_manager) const
bool m_in_cplusplus_method
True if the expression is compiled as a C++ member function (true if it was parsed when exe_ctx was i...
std::vector< std::string > m_include_directories
The include directories that should be used when parsing the expression.
ValueObject * m_ctx_obj
The object (if any) in which context the expression is evaluated.
const SupportFileList & GetSupportFiles()
Get the compile unit's support file list.
virtual bool ForEachExternalModule(llvm::DenseSet< lldb_private::SymbolFile * > &visited_symbol_files, llvm::function_ref< bool(Module &)> lambda)
Apply a lambda to each external lldb::Module referenced by this compilation unit.
Represents a generic declaration context in a program.
Generic representation of a type in a programming language.
"lldb/Utility/ArgCompletionRequest.h"
A uniqued constant string class.
Definition ConstString.h:40
A Clang configuration when importing C++ modules.
llvm::ArrayRef< std::string > GetIncludeDirs() const
Returns a list of include directories that should be used when using this configuration (e....
llvm::ArrayRef< std::string > GetImportedModules() const
Returns a list of (top level) modules that should be imported when using this configuration (e....
lldb::StreamUP GetAsyncOutputStream()
size_t void PutString(lldb::Severity severity, llvm::StringRef str)
const DiagnosticList & Diagnostics() const
void AddDiagnostic(llvm::StringRef message, lldb::Severity severity, DiagnosticOrigin origin, uint32_t compiler_id=LLDB_INVALID_COMPILER_ID)
size_t Printf(lldb::Severity severity, const char *format,...) __attribute__((format(printf
const std::string & GetFixedExpression()
"lldb/Target/ExecutionContextScope.h" Inherit from this if your object can reconstruct its execution ...
"lldb/Target/ExecutionContext.h" A class that contains an execution context.
ExecutionContextScope * GetBestExecutionContextScope() const
const lldb::TargetSP & GetTargetSP() const
Get accessor to get the target shared pointer.
StackFrame * GetFramePtr() const
Returns a pointer to the frame object.
const lldb::StackFrameSP & GetFrameSP() const
Get accessor to get the frame shared pointer.
Target * GetTargetPtr() const
Returns a pointer to the target object.
Target & GetTargetRef() const
Returns a reference to the target object.
Process * GetProcessPtr() const
Returns a pointer to the process object.
lldb::addr_t m_jit_end_addr
The address of the JITted function within the JIT allocation.
Definition Expression.h:95
lldb::ProcessWP m_jit_process_wp
Expression's always have to have a target...
Definition Expression.h:89
lldb::addr_t m_jit_start_addr
An expression might have a process, but it doesn't need to (e.g.
Definition Expression.h:92
lldb::TargetWP m_target_wp
Definition Expression.h:88
A file collection class.
size_t GetSize() const
Get the number of files in the file list.
bool AppendIfUnique(const FileSpec &file)
Append a FileSpec object if unique.
A file utility class.
Definition FileSpec.h:57
void SetFilename(ConstString filename)
Filename string set accessor.
Definition FileSpec.cpp:352
std::string m_transformed_text
The text of the expression, as send to the parser.
bool m_can_interpret
True if the expression could be evaluated statically; false otherwise.
Materializer * GetMaterializer() override
Return the Materializer that the parser should use when registering external values.
std::unique_ptr< Materializer > m_materializer_up
The materializer to use when running the expression.
bool m_allow_cxx
True if the language allows C++.
Target * m_target
The target for storing persistent data like types and variables.
LLVMUserExpression(ExecutionContextScope &exe_scope, llvm::StringRef expr, llvm::StringRef prefix, SourceLanguage language, ResultType desired_type, const EvaluateExpressionOptions &options)
std::shared_ptr< IRExecutionUnit > m_execution_unit_sp
The execution unit the expression is stored in.
bool m_allow_objc
True if the language allows Objective-C.
bool GetVerbose() const
Definition Log.cpp:300
void Append(const lldb::ModuleSP &module_sp, bool notify=true)
Append a module to the module list.
A class that describes an executable image and its associated object and symbol files.
Definition Module.h:90
size_t GetNumCompileUnits()
Get the number of compile units for this module.
Definition Module.cpp:412
A plug-in interface definition class for debugging a process.
Definition Process.h:356
This base class provides an interface to stack frames.
Definition StackFrame.h:44
virtual const SymbolContext & GetSymbolContext(lldb::SymbolContextItem resolve_scope)
Provide a SymbolContext for this StackFrame's current pc value.
virtual Block * GetFrameBlock()
Get the current lexical scope block for this StackFrame, if possible.
An error handling class.
Definition Status.h:118
static Status FromErrorString(const char *str)
Definition Status.h:141
const char * AsCString(const char *default_error_str="unknown error") const
Get the error string associated with the current error.
Definition Status.cpp:194
static Status static Status FromErrorStringWithFormatv(const char *format, Args &&...args)
Definition Status.h:151
bool Success() const
Test for success condition.
Definition Status.cpp:303
A list of support files for a CompileUnit.
Defines a symbol context baton that can be handed other debug core functions.
Function * function
The Function for a given query.
Block * GetFunctionBlock()
Find a block that defines the function represented by this symbol context.
CompileUnit * comp_unit
The CompileUnit for a given query.
ImportStdModule GetImportStdModule() const
Definition Target.cpp:5458
bool GetEnableAutoImportClangModules() const
Definition Target.cpp:5452
Debugger & GetDebugger() const
Definition Target.h:1323
PersistentExpressionState * GetPersistentExpressionStateForLanguage(lldb::LanguageType language)
Definition Target.cpp:2744
const ModuleList & GetImages() const
Get accessor for the images for this process.
Definition Target.h:1240
const ArchSpec & GetArchitecture() const
Definition Target.h:1282
static clang::CXXMethodDecl * DeclContextGetAsCXXMethodDecl(const CompilerDeclContext &dc)
static clang::ObjCMethodDecl * DeclContextGetAsObjCMethodDecl(const CompilerDeclContext &dc)
static clang::FunctionDecl * DeclContextGetAsFunctionDecl(const CompilerDeclContext &dc)
static bool IsObjCClassType(const CompilerType &type)
static std::optional< ClangASTMetadata > DeclContextGetMetaData(const CompilerDeclContext &dc, const clang::Decl *object)
static bool IsObjCObjectPointerType(const CompilerType &type, CompilerType *target_type=nullptr)
CompilerType GetForwardCompilerType()
Definition Type.cpp:782
static lldb::ValueObjectSP GetObjectPointerValueObject(lldb::StackFrameSP frame, llvm::StringRef object_name, Status &err)
Return ValueObject for a given variable name in the current stack frame.
SourceLanguage m_language
The language to use when parsing (unknown means use defaults).
std::string m_fixed_text
The text of the expression with fix-its applied this won't be set if the fixed text doesn't parse.
void InstallContext(ExecutionContext &exe_ctx)
Populate m_in_cplusplus_method and m_in_objectivec_method based on the environment.
std::string m_expr_prefix
The text of the translation-level definitions, as provided by the user.
const char * FunctionName() override
Return the function name that should be used for executing the expression.
std::string m_expr_text
The text of the expression, as typed by the user.
EvaluateExpressionOptions m_options
Additional options provided by the user.
static lldb::addr_t GetObjectPointer(lldb::StackFrameSP frame_sp, llvm::StringRef object_name, Status &err)
#define LLDB_INVALID_ADDRESS
A class that represents a running process on the host machine.
Log * GetLog(Cat mask)
Retrieve the Log object for the channel associated with the given log enum.
Definition Log.h:327
ExecutionPolicy
Expression execution policies.
@ eImportStdModuleFallback
Definition Target.h:73
@ eImportStdModuleTrue
Definition Target.h:74
@ eAddressTypeLoad
Address is an address as in the current target inferior process.
std::shared_ptr< lldb_private::StackFrame > StackFrameSP
std::shared_ptr< lldb_private::ExpressionVariable > ExpressionVariableSP
LanguageType
Programming language type.
@ eLanguageTypeC_plus_plus_14
ISO C++:2014.
@ eLanguageTypeC11
ISO C:2011.
@ eLanguageTypeC99
ISO C:1999.
@ eLanguageTypeC_plus_plus_03
ISO C++:2003.
@ eLanguageTypeObjC_plus_plus
Objective-C++.
@ eLanguageTypeC_plus_plus_11
ISO C++:2011.
@ eLanguageTypeC89
ISO C:1989.
@ eLanguageTypeC
Non-standardized C, such as K&R.
@ eLanguageTypeObjC
Objective-C.
@ eLanguageTypeC_plus_plus
ISO C++:1998.
std::shared_ptr< lldb_private::VariableList > VariableListSP
std::weak_ptr< lldb_private::Process > ProcessWP
std::shared_ptr< lldb_private::Variable > VariableSP
uint64_t addr_t
Definition lldb-types.h:80
std::shared_ptr< lldb_private::Module > ModuleSP
A type-erased pair of llvm::dwarf::SourceLanguageName and version.