180814287SRaphael Isemann //===-- UserExpression.cpp ------------------------------------------------===//
2151c032cSJim Ingham //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6151c032cSJim Ingham //
7151c032cSJim Ingham //===----------------------------------------------------------------------===//
8151c032cSJim Ingham 
976e47d48SRaphael Isemann #include <cstdio>
10151c032cSJim Ingham #include <sys/types.h>
11151c032cSJim Ingham 
12151c032cSJim Ingham #include <cstdlib>
13151c032cSJim Ingham #include <map>
14b9c1b51eSKate Stone #include <string>
15151c032cSJim Ingham 
16151c032cSJim Ingham #include "lldb/Core/Module.h"
17151c032cSJim Ingham #include "lldb/Core/StreamFile.h"
18151c032cSJim Ingham #include "lldb/Core/ValueObjectConstResult.h"
19579e70c9SSean Callanan #include "lldb/Expression/DiagnosticManager.h"
208b6071f5SAlex Langford #include "lldb/Expression/ExpressionVariable.h"
21151c032cSJim Ingham #include "lldb/Expression/IRExecutionUnit.h"
22151c032cSJim Ingham #include "lldb/Expression/IRInterpreter.h"
23151c032cSJim Ingham #include "lldb/Expression/Materializer.h"
24151c032cSJim Ingham #include "lldb/Expression/UserExpression.h"
25151c032cSJim Ingham #include "lldb/Host/HostInfo.h"
26151c032cSJim Ingham #include "lldb/Symbol/Block.h"
27151c032cSJim Ingham #include "lldb/Symbol/Function.h"
28151c032cSJim Ingham #include "lldb/Symbol/ObjectFile.h"
29151c032cSJim Ingham #include "lldb/Symbol/SymbolVendor.h"
30151c032cSJim Ingham #include "lldb/Symbol/Type.h"
318f1f9a1bSSean Callanan #include "lldb/Symbol/TypeSystem.h"
32151c032cSJim Ingham #include "lldb/Symbol/VariableList.h"
33151c032cSJim Ingham #include "lldb/Target/ExecutionContext.h"
34151c032cSJim Ingham #include "lldb/Target/Process.h"
35151c032cSJim Ingham #include "lldb/Target/StackFrame.h"
36151c032cSJim Ingham #include "lldb/Target/Target.h"
37151c032cSJim Ingham #include "lldb/Target/ThreadPlan.h"
38151c032cSJim Ingham #include "lldb/Target/ThreadPlanCallUserExpression.h"
39bf9a7730SZachary Turner #include "lldb/Utility/ConstString.h"
40c34698a8SPavel Labath #include "lldb/Utility/LLDBLog.h"
416f9e6901SZachary Turner #include "lldb/Utility/Log.h"
42bf9a7730SZachary Turner #include "lldb/Utility/StreamString.h"
43151c032cSJim Ingham 
44151c032cSJim Ingham using namespace lldb_private;
45151c032cSJim Ingham 
4652f3a2faSRaphael Isemann char UserExpression::ID;
4752f3a2faSRaphael Isemann 
UserExpression(ExecutionContextScope & exe_scope,llvm::StringRef expr,llvm::StringRef prefix,lldb::LanguageType language,ResultType desired_type,const EvaluateExpressionOptions & options)4819a63fc6SJim Ingham UserExpression::UserExpression(ExecutionContextScope &exe_scope,
49c5d7df90SZachary Turner                                llvm::StringRef expr, llvm::StringRef prefix,
5019a63fc6SJim Ingham                                lldb::LanguageType language,
5119a63fc6SJim Ingham                                ResultType desired_type,
5252f3a2faSRaphael Isemann                                const EvaluateExpressionOptions &options)
53adcd0268SBenjamin Kramer     : Expression(exe_scope), m_expr_text(std::string(expr)),
54adcd0268SBenjamin Kramer       m_expr_prefix(std::string(prefix)), m_language(language),
55adcd0268SBenjamin Kramer       m_desired_type(desired_type), m_options(options) {}
56151c032cSJim Ingham 
57fd2433e1SJonas Devlieghere UserExpression::~UserExpression() = default;
58151c032cSJim Ingham 
InstallContext(ExecutionContext & exe_ctx)59b9c1b51eSKate Stone void UserExpression::InstallContext(ExecutionContext &exe_ctx) {
60151c032cSJim Ingham   m_jit_process_wp = exe_ctx.GetProcessSP();
61151c032cSJim Ingham 
62151c032cSJim Ingham   lldb::StackFrameSP frame_sp = exe_ctx.GetFrameSP();
63151c032cSJim Ingham 
64151c032cSJim Ingham   if (frame_sp)
65151c032cSJim Ingham     m_address = frame_sp->GetFrameCodeAddress();
66151c032cSJim Ingham }
67151c032cSJim Ingham 
LockAndCheckContext(ExecutionContext & exe_ctx,lldb::TargetSP & target_sp,lldb::ProcessSP & process_sp,lldb::StackFrameSP & frame_sp)68b9c1b51eSKate Stone bool UserExpression::LockAndCheckContext(ExecutionContext &exe_ctx,
69151c032cSJim Ingham                                          lldb::TargetSP &target_sp,
70151c032cSJim Ingham                                          lldb::ProcessSP &process_sp,
71b9c1b51eSKate Stone                                          lldb::StackFrameSP &frame_sp) {
72151c032cSJim Ingham   lldb::ProcessSP expected_process_sp = m_jit_process_wp.lock();
73151c032cSJim Ingham   process_sp = exe_ctx.GetProcessSP();
74151c032cSJim Ingham 
75151c032cSJim Ingham   if (process_sp != expected_process_sp)
76151c032cSJim Ingham     return false;
77151c032cSJim Ingham 
78151c032cSJim Ingham   process_sp = exe_ctx.GetProcessSP();
79151c032cSJim Ingham   target_sp = exe_ctx.GetTargetSP();
80151c032cSJim Ingham   frame_sp = exe_ctx.GetFrameSP();
81151c032cSJim Ingham 
82b9c1b51eSKate Stone   if (m_address.IsValid()) {
83151c032cSJim Ingham     if (!frame_sp)
84151c032cSJim Ingham       return false;
856c876236SDavide Italiano     return (Address::CompareLoadAddress(m_address,
86b9c1b51eSKate Stone                                         frame_sp->GetFrameCodeAddress(),
876c876236SDavide Italiano                                         target_sp.get()) == 0);
88151c032cSJim Ingham   }
89151c032cSJim Ingham 
90151c032cSJim Ingham   return true;
91151c032cSJim Ingham }
92151c032cSJim Ingham 
MatchesContext(ExecutionContext & exe_ctx)93b9c1b51eSKate Stone bool UserExpression::MatchesContext(ExecutionContext &exe_ctx) {
94151c032cSJim Ingham   lldb::TargetSP target_sp;
95151c032cSJim Ingham   lldb::ProcessSP process_sp;
96151c032cSJim Ingham   lldb::StackFrameSP frame_sp;
97151c032cSJim Ingham 
98151c032cSJim Ingham   return LockAndCheckContext(exe_ctx, target_sp, process_sp, frame_sp);
99151c032cSJim Ingham }
100151c032cSJim Ingham 
GetObjectPointerValueObject(lldb::StackFrameSP frame_sp,ConstString const & object_name,Status & err)101*8184b252SMichael Buch lldb::ValueObjectSP UserExpression::GetObjectPointerValueObject(
102*8184b252SMichael Buch     lldb::StackFrameSP frame_sp, ConstString const &object_name, Status &err) {
103151c032cSJim Ingham   err.Clear();
104151c032cSJim Ingham 
105b9c1b51eSKate Stone   if (!frame_sp) {
106b9c1b51eSKate Stone     err.SetErrorStringWithFormat(
107b9c1b51eSKate Stone         "Couldn't load '%s' because the context is incomplete",
108b9c1b51eSKate Stone         object_name.AsCString());
109*8184b252SMichael Buch     return {};
110151c032cSJim Ingham   }
111151c032cSJim Ingham 
112151c032cSJim Ingham   lldb::VariableSP var_sp;
113151c032cSJim Ingham   lldb::ValueObjectSP valobj_sp;
114151c032cSJim Ingham 
115*8184b252SMichael Buch   return frame_sp->GetValueForVariableExpressionPath(
116642bc15dSRaphael Isemann       object_name.GetStringRef(), lldb::eNoDynamicValues,
117151c032cSJim Ingham       StackFrame::eExpressionPathOptionCheckPtrVsMember |
118151c032cSJim Ingham           StackFrame::eExpressionPathOptionsNoFragileObjcIvar |
119151c032cSJim Ingham           StackFrame::eExpressionPathOptionsNoSyntheticChildren |
120151c032cSJim Ingham           StackFrame::eExpressionPathOptionsNoSyntheticArrayRange,
121b9c1b51eSKate Stone       var_sp, err);
122*8184b252SMichael Buch }
123*8184b252SMichael Buch 
GetObjectPointer(lldb::StackFrameSP frame_sp,ConstString & object_name,Status & err)124*8184b252SMichael Buch lldb::addr_t UserExpression::GetObjectPointer(lldb::StackFrameSP frame_sp,
125*8184b252SMichael Buch                                               ConstString &object_name,
126*8184b252SMichael Buch                                               Status &err) {
127*8184b252SMichael Buch   auto valobj_sp =
128*8184b252SMichael Buch       GetObjectPointerValueObject(std::move(frame_sp), object_name, err);
129151c032cSJim Ingham 
130151c032cSJim Ingham   if (!err.Success() || !valobj_sp.get())
131151c032cSJim Ingham     return LLDB_INVALID_ADDRESS;
132151c032cSJim Ingham 
133151c032cSJim Ingham   lldb::addr_t ret = valobj_sp->GetValueAsUnsigned(LLDB_INVALID_ADDRESS);
134151c032cSJim Ingham 
135b9c1b51eSKate Stone   if (ret == LLDB_INVALID_ADDRESS) {
136b9c1b51eSKate Stone     err.SetErrorStringWithFormat(
137b9c1b51eSKate Stone         "Couldn't load '%s' because its value couldn't be evaluated",
138b9c1b51eSKate Stone         object_name.AsCString());
139151c032cSJim Ingham     return LLDB_INVALID_ADDRESS;
140151c032cSJim Ingham   }
141151c032cSJim Ingham 
142151c032cSJim Ingham   return ret;
143151c032cSJim Ingham }
144151c032cSJim Ingham 
145381e81a0SAlex Langford lldb::ExpressionResults
Evaluate(ExecutionContext & exe_ctx,const EvaluateExpressionOptions & options,llvm::StringRef expr,llvm::StringRef prefix,lldb::ValueObjectSP & result_valobj_sp,Status & error,std::string * fixed_expression,ValueObject * ctx_obj)146381e81a0SAlex Langford UserExpression::Evaluate(ExecutionContext &exe_ctx,
147381e81a0SAlex Langford                          const EvaluateExpressionOptions &options,
148c5d7df90SZachary Turner                          llvm::StringRef expr, llvm::StringRef prefix,
14981dbc026SAlex Langford                          lldb::ValueObjectSP &result_valobj_sp, Status &error,
150381e81a0SAlex Langford                          std::string *fixed_expression, ValueObject *ctx_obj) {
151a007a6d8SPavel Labath   Log *log(GetLog(LLDBLog::Expressions | LLDBLog::Step));
152151c032cSJim Ingham 
15340624a08SAleksandr Urakov   if (ctx_obj) {
1546a85b9d1SEmre Kultursay     static unsigned const ctx_type_mask = lldb::TypeFlags::eTypeIsClass |
1556a85b9d1SEmre Kultursay                                           lldb::TypeFlags::eTypeIsStructUnion |
1566a85b9d1SEmre Kultursay                                           lldb::TypeFlags::eTypeIsReference;
15740624a08SAleksandr Urakov     if (!(ctx_obj->GetTypeInfo() & ctx_type_mask)) {
15840624a08SAleksandr Urakov       LLDB_LOG(log, "== [UserExpression::Evaluate] Passed a context object of "
15940624a08SAleksandr Urakov                     "an invalid type, can't run expressions.");
16040624a08SAleksandr Urakov       error.SetErrorString("a context object of an invalid type passed");
16140624a08SAleksandr Urakov       return lldb::eExpressionSetupError;
16240624a08SAleksandr Urakov     }
16340624a08SAleksandr Urakov   }
16440624a08SAleksandr Urakov 
1656a85b9d1SEmre Kultursay   if (ctx_obj && ctx_obj->GetTypeInfo() & lldb::TypeFlags::eTypeIsReference) {
1666a85b9d1SEmre Kultursay     Status error;
1676a85b9d1SEmre Kultursay     lldb::ValueObjectSP deref_ctx_sp = ctx_obj->Dereference(error);
1686a85b9d1SEmre Kultursay     if (!error.Success()) {
1696a85b9d1SEmre Kultursay       LLDB_LOG(log, "== [UserExpression::Evaluate] Passed a context object of "
1706a85b9d1SEmre Kultursay                     "a reference type that can't be dereferenced, can't run "
1716a85b9d1SEmre Kultursay                     "expressions.");
1726a85b9d1SEmre Kultursay       error.SetErrorString(
1736a85b9d1SEmre Kultursay           "passed context object of an reference type cannot be deferenced");
1746a85b9d1SEmre Kultursay       return lldb::eExpressionSetupError;
1756a85b9d1SEmre Kultursay     }
1766a85b9d1SEmre Kultursay 
1776a85b9d1SEmre Kultursay     ctx_obj = deref_ctx_sp.get();
1786a85b9d1SEmre Kultursay   }
1796a85b9d1SEmre Kultursay 
180151c032cSJim Ingham   lldb_private::ExecutionPolicy execution_policy = options.GetExecutionPolicy();
1811bbaede5SDawn Perchik   lldb::LanguageType language = options.GetLanguage();
182b9c1b51eSKate Stone   const ResultType desired_type = options.DoesCoerceToId()
183b9c1b51eSKate Stone                                       ? UserExpression::eResultTypeId
184b9c1b51eSKate Stone                                       : UserExpression::eResultTypeAny;
185151c032cSJim Ingham   lldb::ExpressionResults execution_results = lldb::eExpressionSetupError;
186151c032cSJim Ingham 
187151c032cSJim Ingham   Target *target = exe_ctx.GetTargetPtr();
188b9c1b51eSKate Stone   if (!target) {
1890ab109d4SRaphael Isemann     LLDB_LOG(log, "== [UserExpression::Evaluate] Passed a NULL target, can't "
190b9c1b51eSKate Stone                   "run expressions.");
19102980825SJim Ingham     error.SetErrorString("expression passed a null target");
192151c032cSJim Ingham     return lldb::eExpressionSetupError;
193151c032cSJim Ingham   }
194151c032cSJim Ingham 
195151c032cSJim Ingham   Process *process = exe_ctx.GetProcessPtr();
196151c032cSJim Ingham 
197248a1305SKonrad Kleine   if (process == nullptr || process->GetState() != lldb::eStateStopped) {
198b9c1b51eSKate Stone     if (execution_policy == eExecutionPolicyAlways) {
1990ab109d4SRaphael Isemann       LLDB_LOG(log, "== [UserExpression::Evaluate] Expression may not run, but "
200b9c1b51eSKate Stone                     "is not constant ==");
201151c032cSJim Ingham 
202151c032cSJim Ingham       error.SetErrorString("expression needed to run but couldn't");
203151c032cSJim Ingham 
204151c032cSJim Ingham       return execution_results;
205151c032cSJim Ingham     }
206151c032cSJim Ingham   }
207151c032cSJim Ingham 
20871536fd0SRaphael Isemann   // Explicitly force the IR interpreter to evaluate the expression when the
20971536fd0SRaphael Isemann   // there is no process that supports running the expression for us. Don't
21071536fd0SRaphael Isemann   // change the execution policy if we have the special top-level policy that
21171536fd0SRaphael Isemann   // doesn't contain any expression and there is nothing to interpret.
21271536fd0SRaphael Isemann   if (execution_policy != eExecutionPolicyTopLevel &&
21371536fd0SRaphael Isemann       (process == nullptr || !process->CanJIT()))
214151c032cSJim Ingham     execution_policy = eExecutionPolicyNever;
2156896b355SJim Ingham 
216b9c1b51eSKate Stone   // We need to set the expression execution thread here, turns out parse can
21705097246SAdrian Prantl   // call functions in the process of looking up symbols, which will escape the
21805097246SAdrian Prantl   // context set by exe_ctx passed to Execute.
2196896b355SJim Ingham   lldb::ThreadSP thread_sp = exe_ctx.GetThreadSP();
220b9c1b51eSKate Stone   ThreadList::ExpressionExecutionThreadPusher execution_thread_pusher(
221b9c1b51eSKate Stone       thread_sp);
222151c032cSJim Ingham 
223c5d7df90SZachary Turner   llvm::StringRef full_prefix;
224c5d7df90SZachary Turner   llvm::StringRef option_prefix(options.GetPrefix());
225151c032cSJim Ingham   std::string full_prefix_storage;
226c5d7df90SZachary Turner   if (!prefix.empty() && !option_prefix.empty()) {
227adcd0268SBenjamin Kramer     full_prefix_storage = std::string(prefix);
228adcd0268SBenjamin Kramer     full_prefix_storage.append(std::string(option_prefix));
229c5d7df90SZachary Turner     full_prefix = full_prefix_storage;
230c5d7df90SZachary Turner   } else if (!prefix.empty())
231c5d7df90SZachary Turner     full_prefix = prefix;
232151c032cSJim Ingham   else
233151c032cSJim Ingham     full_prefix = option_prefix;
234151c032cSJim Ingham 
23505097246SAdrian Prantl   // If the language was not specified in the expression command, set it to the
23605097246SAdrian Prantl   // language in the target's properties if specified, else default to the
23705097246SAdrian Prantl   // langage for the frame.
238b9c1b51eSKate Stone   if (language == lldb::eLanguageTypeUnknown) {
2391bbaede5SDawn Perchik     if (target->GetLanguage() != lldb::eLanguageTypeUnknown)
2401bbaede5SDawn Perchik       language = target->GetLanguage();
2411bbaede5SDawn Perchik     else if (StackFrame *frame = exe_ctx.GetFramePtr())
2421bbaede5SDawn Perchik       language = frame->GetLanguage();
2431bbaede5SDawn Perchik   }
2441bbaede5SDawn Perchik 
245b9c1b51eSKate Stone   lldb::UserExpressionSP user_expression_sp(
246c5d7df90SZachary Turner       target->GetUserExpressionForLanguage(expr, full_prefix, language,
24740624a08SAleksandr Urakov                                            desired_type, options, ctx_obj,
24840624a08SAleksandr Urakov                                            error));
249b9c1b51eSKate Stone   if (error.Fail()) {
2500ab109d4SRaphael Isemann     LLDB_LOG(log, "== [UserExpression::Evaluate] Getting expression: {0} ==",
251b9c1b51eSKate Stone              error.AsCString());
252151c032cSJim Ingham     return lldb::eExpressionSetupError;
253151c032cSJim Ingham   }
254151c032cSJim Ingham 
2550ab109d4SRaphael Isemann   LLDB_LOG(log, "== [UserExpression::Evaluate] Parsing expression {0} ==",
2560ab109d4SRaphael Isemann            expr.str());
257151c032cSJim Ingham 
258151c032cSJim Ingham   const bool keep_expression_in_memory = true;
259151c032cSJim Ingham   const bool generate_debug_info = options.GetGenerateDebugInfo();
260151c032cSJim Ingham 
261b9c1b51eSKate Stone   if (options.InvokeCancelCallback(lldb::eExpressionEvaluationParse)) {
262151c032cSJim Ingham     error.SetErrorString("expression interrupted by callback before parse");
263b9c1b51eSKate Stone     result_valobj_sp = ValueObjectConstResult::Create(
264b9c1b51eSKate Stone         exe_ctx.GetBestExecutionContextScope(), error);
265151c032cSJim Ingham     return lldb::eExpressionInterrupted;
266151c032cSJim Ingham   }
267151c032cSJim Ingham 
268579e70c9SSean Callanan   DiagnosticManager diagnostic_manager;
269579e70c9SSean Callanan 
270b9c1b51eSKate Stone   bool parse_success =
271b9c1b51eSKate Stone       user_expression_sp->Parse(diagnostic_manager, exe_ctx, execution_policy,
272b9c1b51eSKate Stone                                 keep_expression_in_memory, generate_debug_info);
273e5ee6f04SJim Ingham 
274e5ee6f04SJim Ingham   // Calculate the fixed expression always, since we need it for errors.
275e5ee6f04SJim Ingham   std::string tmp_fixed_expression;
276e5ee6f04SJim Ingham   if (fixed_expression == nullptr)
277e5ee6f04SJim Ingham     fixed_expression = &tmp_fixed_expression;
278e5ee6f04SJim Ingham 
2798b624290SAdrian Prantl   *fixed_expression = user_expression_sp->GetFixedText().str();
280e5ee6f04SJim Ingham 
281e5ee6f04SJim Ingham   // If there is a fixed expression, try to parse it:
282b9c1b51eSKate Stone   if (!parse_success) {
28350f19853SRaphael Isemann     // Delete the expression that failed to parse before attempting to parse
28450f19853SRaphael Isemann     // the next expression.
28550f19853SRaphael Isemann     user_expression_sp.reset();
28650f19853SRaphael Isemann 
287151c032cSJim Ingham     execution_results = lldb::eExpressionParseError;
28811c2af04SAdrian Prantl     if (!fixed_expression->empty() && options.GetAutoApplyFixIts()) {
289203a8adbSRaphael Isemann       const uint64_t max_fix_retries = options.GetRetriesWithFixIts();
290203a8adbSRaphael Isemann       for (uint64_t i = 0; i < max_fix_retries; ++i) {
291203a8adbSRaphael Isemann         // Try parsing the fixed expression.
292b9c1b51eSKate Stone         lldb::UserExpressionSP fixed_expression_sp(
293203a8adbSRaphael Isemann             target->GetUserExpressionForLanguage(
294203a8adbSRaphael Isemann                 fixed_expression->c_str(), full_prefix, language, desired_type,
295203a8adbSRaphael Isemann                 options, ctx_obj, error));
296e5ee6f04SJim Ingham         DiagnosticManager fixed_diagnostic_manager;
297b9c1b51eSKate Stone         parse_success = fixed_expression_sp->Parse(
298b9c1b51eSKate Stone             fixed_diagnostic_manager, exe_ctx, execution_policy,
299b9c1b51eSKate Stone             keep_expression_in_memory, generate_debug_info);
300b9c1b51eSKate Stone         if (parse_success) {
301e5ee6f04SJim Ingham           diagnostic_manager.Clear();
302e5ee6f04SJim Ingham           user_expression_sp = fixed_expression_sp;
303203a8adbSRaphael Isemann           break;
304b9c1b51eSKate Stone         } else {
305203a8adbSRaphael Isemann           // The fixed expression also didn't parse. Let's check for any new
306203a8adbSRaphael Isemann           // Fix-Its we could try.
3078b624290SAdrian Prantl           if (!fixed_expression_sp->GetFixedText().empty()) {
3088b624290SAdrian Prantl             *fixed_expression = fixed_expression_sp->GetFixedText().str();
309203a8adbSRaphael Isemann           } else {
310203a8adbSRaphael Isemann             // Fixed expression didn't compile without a fixit, don't retry and
311203a8adbSRaphael Isemann             // don't tell the user about it.
312b29c42f9SJim Ingham             fixed_expression->clear();
313203a8adbSRaphael Isemann             break;
314203a8adbSRaphael Isemann           }
315203a8adbSRaphael Isemann         }
316b29c42f9SJim Ingham       }
317e5ee6f04SJim Ingham     }
318e5ee6f04SJim Ingham 
319b9c1b51eSKate Stone     if (!parse_success) {
32025bf137bSAdrian Prantl       std::string msg;
32125bf137bSAdrian Prantl       {
32225bf137bSAdrian Prantl         llvm::raw_string_ostream os(msg);
32325bf137bSAdrian Prantl         os << "expression failed to parse:\n";
32425bf137bSAdrian Prantl         if (!diagnostic_manager.Diagnostics().empty())
32525bf137bSAdrian Prantl           os << diagnostic_manager.GetString();
326151c032cSJim Ingham         else
32725bf137bSAdrian Prantl           os << "unknown error";
32825bf137bSAdrian Prantl         if (target->GetEnableNotifyAboutFixIts() && fixed_expression &&
32925bf137bSAdrian Prantl             !fixed_expression->empty())
33025bf137bSAdrian Prantl           os << "\nfixed expression suggested:\n  " << *fixed_expression;
331151c032cSJim Ingham       }
33225bf137bSAdrian Prantl       error.SetExpressionError(execution_results, msg.c_str());
333e5ee6f04SJim Ingham     }
334e5ee6f04SJim Ingham   }
335e5ee6f04SJim Ingham 
336b9c1b51eSKate Stone   if (parse_success) {
337151c032cSJim Ingham     lldb::ExpressionVariableSP expr_result;
338151c032cSJim Ingham 
339151c032cSJim Ingham     if (execution_policy == eExecutionPolicyNever &&
340b9c1b51eSKate Stone         !user_expression_sp->CanInterpret()) {
3410ab109d4SRaphael Isemann       LLDB_LOG(log, "== [UserExpression::Evaluate] Expression may not run, but "
342b9c1b51eSKate Stone                     "is not constant ==");
343151c032cSJim Ingham 
344579e70c9SSean Callanan       if (!diagnostic_manager.Diagnostics().size())
345b9c1b51eSKate Stone         error.SetExpressionError(lldb::eExpressionSetupError,
346b9c1b51eSKate Stone                                  "expression needed to run but couldn't");
347b9c1b51eSKate Stone     } else if (execution_policy == eExecutionPolicyTopLevel) {
348a35912daSKrasimir Georgiev       error.SetError(UserExpression::kNoResult, lldb::eErrorTypeGeneric);
3492ff00003SSean Callanan       return lldb::eExpressionCompleted;
350b9c1b51eSKate Stone     } else {
351b9c1b51eSKate Stone       if (options.InvokeCancelCallback(lldb::eExpressionEvaluationExecution)) {
352b9c1b51eSKate Stone         error.SetExpressionError(
353b9c1b51eSKate Stone             lldb::eExpressionInterrupted,
354b9c1b51eSKate Stone             "expression interrupted by callback before execution");
355b9c1b51eSKate Stone         result_valobj_sp = ValueObjectConstResult::Create(
356b9c1b51eSKate Stone             exe_ctx.GetBestExecutionContextScope(), error);
357151c032cSJim Ingham         return lldb::eExpressionInterrupted;
358151c032cSJim Ingham       }
359151c032cSJim Ingham 
360579e70c9SSean Callanan       diagnostic_manager.Clear();
361151c032cSJim Ingham 
3620ab109d4SRaphael Isemann       LLDB_LOG(log, "== [UserExpression::Evaluate] Executing expression ==");
363151c032cSJim Ingham 
364579e70c9SSean Callanan       execution_results =
365b9c1b51eSKate Stone           user_expression_sp->Execute(diagnostic_manager, exe_ctx, options,
366b9c1b51eSKate Stone                                       user_expression_sp, expr_result);
367151c032cSJim Ingham 
368b9c1b51eSKate Stone       if (execution_results != lldb::eExpressionCompleted) {
3690ab109d4SRaphael Isemann         LLDB_LOG(log, "== [UserExpression::Evaluate] Execution completed "
370b9c1b51eSKate Stone                       "abnormally ==");
371151c032cSJim Ingham 
372579e70c9SSean Callanan         if (!diagnostic_manager.Diagnostics().size())
373b9c1b51eSKate Stone           error.SetExpressionError(
374b9c1b51eSKate Stone               execution_results, "expression failed to execute, unknown error");
375151c032cSJim Ingham         else
376b9c1b51eSKate Stone           error.SetExpressionError(execution_results,
377b9c1b51eSKate Stone                                    diagnostic_manager.GetString().c_str());
378b9c1b51eSKate Stone       } else {
379b9c1b51eSKate Stone         if (expr_result) {
380151c032cSJim Ingham           result_valobj_sp = expr_result->GetValueObject();
381406ad187SJonas Devlieghere           result_valobj_sp->SetPreferredDisplayLanguage(language);
382151c032cSJim Ingham 
3830ab109d4SRaphael Isemann           LLDB_LOG(log,
38463e5fb76SJonas Devlieghere                    "== [UserExpression::Evaluate] Execution completed "
385e87b8e44SRaphael Isemann                    "normally with result {0} ==",
386151c032cSJim Ingham                    result_valobj_sp->GetValueAsCString());
387b9c1b51eSKate Stone         } else {
3880ab109d4SRaphael Isemann           LLDB_LOG(log, "== [UserExpression::Evaluate] Execution completed "
389b9c1b51eSKate Stone                         "normally with no result ==");
390151c032cSJim Ingham 
391a35912daSKrasimir Georgiev           error.SetError(UserExpression::kNoResult, lldb::eErrorTypeGeneric);
392151c032cSJim Ingham         }
393151c032cSJim Ingham       }
394151c032cSJim Ingham     }
395151c032cSJim Ingham   }
396151c032cSJim Ingham 
397b9c1b51eSKate Stone   if (options.InvokeCancelCallback(lldb::eExpressionEvaluationComplete)) {
398b9c1b51eSKate Stone     error.SetExpressionError(
399b9c1b51eSKate Stone         lldb::eExpressionInterrupted,
400b9c1b51eSKate Stone         "expression interrupted by callback after complete");
401151c032cSJim Ingham     return lldb::eExpressionInterrupted;
402151c032cSJim Ingham   }
403151c032cSJim Ingham 
404248a1305SKonrad Kleine   if (result_valobj_sp.get() == nullptr) {
405b9c1b51eSKate Stone     result_valobj_sp = ValueObjectConstResult::Create(
406b9c1b51eSKate Stone         exe_ctx.GetBestExecutionContextScope(), error);
407151c032cSJim Ingham   }
408151c032cSJim Ingham 
409151c032cSJim Ingham   return execution_results;
410151c032cSJim Ingham }
411ff7ac6a7SJim Ingham 
412ff7ac6a7SJim Ingham lldb::ExpressionResults
Execute(DiagnosticManager & diagnostic_manager,ExecutionContext & exe_ctx,const EvaluateExpressionOptions & options,lldb::UserExpressionSP & shared_ptr_to_me,lldb::ExpressionVariableSP & result_var)413ff7ac6a7SJim Ingham UserExpression::Execute(DiagnosticManager &diagnostic_manager,
414ff7ac6a7SJim Ingham                         ExecutionContext &exe_ctx,
415ff7ac6a7SJim Ingham                         const EvaluateExpressionOptions &options,
416ff7ac6a7SJim Ingham                         lldb::UserExpressionSP &shared_ptr_to_me,
417b9c1b51eSKate Stone                         lldb::ExpressionVariableSP &result_var) {
418b9c1b51eSKate Stone   lldb::ExpressionResults expr_result = DoExecute(
419b9c1b51eSKate Stone       diagnostic_manager, exe_ctx, options, shared_ptr_to_me, result_var);
420ff7ac6a7SJim Ingham   Target *target = exe_ctx.GetTargetPtr();
421b9c1b51eSKate Stone   if (options.GetResultIsInternal() && result_var && target) {
422e9331a56SAdrian Prantl     if (auto *persistent_state =
423e9331a56SAdrian Prantl             target->GetPersistentExpressionStateForLanguage(m_language))
424e9331a56SAdrian Prantl       persistent_state->RemovePersistentVariable(result_var);
425ff7ac6a7SJim Ingham   }
426ff7ac6a7SJim Ingham   return expr_result;
427ff7ac6a7SJim Ingham }
428