annotate lldb/source/Expression/UserExpression.cpp @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===-- UserExpression.cpp ------------------------------------------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 #include "lldb/Host/Config.h"
anatofuz
parents:
diff changeset
10
anatofuz
parents:
diff changeset
11 #include <stdio.h>
anatofuz
parents:
diff changeset
12 #if HAVE_SYS_TYPES_H
anatofuz
parents:
diff changeset
13 #include <sys/types.h>
anatofuz
parents:
diff changeset
14 #endif
anatofuz
parents:
diff changeset
15
anatofuz
parents:
diff changeset
16 #include <cstdlib>
anatofuz
parents:
diff changeset
17 #include <map>
anatofuz
parents:
diff changeset
18 #include <string>
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 #include "lldb/Core/Module.h"
anatofuz
parents:
diff changeset
21 #include "lldb/Core/StreamFile.h"
anatofuz
parents:
diff changeset
22 #include "lldb/Core/ValueObjectConstResult.h"
anatofuz
parents:
diff changeset
23 #include "lldb/Expression/DiagnosticManager.h"
anatofuz
parents:
diff changeset
24 #include "lldb/Expression/ExpressionVariable.h"
anatofuz
parents:
diff changeset
25 #include "lldb/Expression/IRExecutionUnit.h"
anatofuz
parents:
diff changeset
26 #include "lldb/Expression/IRInterpreter.h"
anatofuz
parents:
diff changeset
27 #include "lldb/Expression/Materializer.h"
anatofuz
parents:
diff changeset
28 #include "lldb/Expression/UserExpression.h"
anatofuz
parents:
diff changeset
29 #include "lldb/Host/HostInfo.h"
anatofuz
parents:
diff changeset
30 #include "lldb/Symbol/Block.h"
anatofuz
parents:
diff changeset
31 #include "lldb/Symbol/Function.h"
anatofuz
parents:
diff changeset
32 #include "lldb/Symbol/ObjectFile.h"
anatofuz
parents:
diff changeset
33 #include "lldb/Symbol/SymbolVendor.h"
anatofuz
parents:
diff changeset
34 #include "lldb/Symbol/Type.h"
anatofuz
parents:
diff changeset
35 #include "lldb/Symbol/TypeSystem.h"
anatofuz
parents:
diff changeset
36 #include "lldb/Symbol/VariableList.h"
anatofuz
parents:
diff changeset
37 #include "lldb/Target/ExecutionContext.h"
anatofuz
parents:
diff changeset
38 #include "lldb/Target/Process.h"
anatofuz
parents:
diff changeset
39 #include "lldb/Target/StackFrame.h"
anatofuz
parents:
diff changeset
40 #include "lldb/Target/Target.h"
anatofuz
parents:
diff changeset
41 #include "lldb/Target/ThreadPlan.h"
anatofuz
parents:
diff changeset
42 #include "lldb/Target/ThreadPlanCallUserExpression.h"
anatofuz
parents:
diff changeset
43 #include "lldb/Utility/ConstString.h"
anatofuz
parents:
diff changeset
44 #include "lldb/Utility/Log.h"
anatofuz
parents:
diff changeset
45 #include "lldb/Utility/StreamString.h"
anatofuz
parents:
diff changeset
46
anatofuz
parents:
diff changeset
47 using namespace lldb_private;
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 char UserExpression::ID;
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 UserExpression::UserExpression(ExecutionContextScope &exe_scope,
anatofuz
parents:
diff changeset
52 llvm::StringRef expr, llvm::StringRef prefix,
anatofuz
parents:
diff changeset
53 lldb::LanguageType language,
anatofuz
parents:
diff changeset
54 ResultType desired_type,
anatofuz
parents:
diff changeset
55 const EvaluateExpressionOptions &options)
anatofuz
parents:
diff changeset
56 : Expression(exe_scope), m_expr_text(std::string(expr)),
anatofuz
parents:
diff changeset
57 m_expr_prefix(std::string(prefix)), m_language(language),
anatofuz
parents:
diff changeset
58 m_desired_type(desired_type), m_options(options) {}
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 UserExpression::~UserExpression() {}
anatofuz
parents:
diff changeset
61
anatofuz
parents:
diff changeset
62 void UserExpression::InstallContext(ExecutionContext &exe_ctx) {
anatofuz
parents:
diff changeset
63 m_jit_process_wp = exe_ctx.GetProcessSP();
anatofuz
parents:
diff changeset
64
anatofuz
parents:
diff changeset
65 lldb::StackFrameSP frame_sp = exe_ctx.GetFrameSP();
anatofuz
parents:
diff changeset
66
anatofuz
parents:
diff changeset
67 if (frame_sp)
anatofuz
parents:
diff changeset
68 m_address = frame_sp->GetFrameCodeAddress();
anatofuz
parents:
diff changeset
69 }
anatofuz
parents:
diff changeset
70
anatofuz
parents:
diff changeset
71 bool UserExpression::LockAndCheckContext(ExecutionContext &exe_ctx,
anatofuz
parents:
diff changeset
72 lldb::TargetSP &target_sp,
anatofuz
parents:
diff changeset
73 lldb::ProcessSP &process_sp,
anatofuz
parents:
diff changeset
74 lldb::StackFrameSP &frame_sp) {
anatofuz
parents:
diff changeset
75 lldb::ProcessSP expected_process_sp = m_jit_process_wp.lock();
anatofuz
parents:
diff changeset
76 process_sp = exe_ctx.GetProcessSP();
anatofuz
parents:
diff changeset
77
anatofuz
parents:
diff changeset
78 if (process_sp != expected_process_sp)
anatofuz
parents:
diff changeset
79 return false;
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 process_sp = exe_ctx.GetProcessSP();
anatofuz
parents:
diff changeset
82 target_sp = exe_ctx.GetTargetSP();
anatofuz
parents:
diff changeset
83 frame_sp = exe_ctx.GetFrameSP();
anatofuz
parents:
diff changeset
84
anatofuz
parents:
diff changeset
85 if (m_address.IsValid()) {
anatofuz
parents:
diff changeset
86 if (!frame_sp)
anatofuz
parents:
diff changeset
87 return false;
anatofuz
parents:
diff changeset
88 return (Address::CompareLoadAddress(m_address,
anatofuz
parents:
diff changeset
89 frame_sp->GetFrameCodeAddress(),
anatofuz
parents:
diff changeset
90 target_sp.get()) == 0);
anatofuz
parents:
diff changeset
91 }
anatofuz
parents:
diff changeset
92
anatofuz
parents:
diff changeset
93 return true;
anatofuz
parents:
diff changeset
94 }
anatofuz
parents:
diff changeset
95
anatofuz
parents:
diff changeset
96 bool UserExpression::MatchesContext(ExecutionContext &exe_ctx) {
anatofuz
parents:
diff changeset
97 lldb::TargetSP target_sp;
anatofuz
parents:
diff changeset
98 lldb::ProcessSP process_sp;
anatofuz
parents:
diff changeset
99 lldb::StackFrameSP frame_sp;
anatofuz
parents:
diff changeset
100
anatofuz
parents:
diff changeset
101 return LockAndCheckContext(exe_ctx, target_sp, process_sp, frame_sp);
anatofuz
parents:
diff changeset
102 }
anatofuz
parents:
diff changeset
103
anatofuz
parents:
diff changeset
104 lldb::addr_t UserExpression::GetObjectPointer(lldb::StackFrameSP frame_sp,
anatofuz
parents:
diff changeset
105 ConstString &object_name,
anatofuz
parents:
diff changeset
106 Status &err) {
anatofuz
parents:
diff changeset
107 err.Clear();
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 if (!frame_sp) {
anatofuz
parents:
diff changeset
110 err.SetErrorStringWithFormat(
anatofuz
parents:
diff changeset
111 "Couldn't load '%s' because the context is incomplete",
anatofuz
parents:
diff changeset
112 object_name.AsCString());
anatofuz
parents:
diff changeset
113 return LLDB_INVALID_ADDRESS;
anatofuz
parents:
diff changeset
114 }
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 lldb::VariableSP var_sp;
anatofuz
parents:
diff changeset
117 lldb::ValueObjectSP valobj_sp;
anatofuz
parents:
diff changeset
118
anatofuz
parents:
diff changeset
119 valobj_sp = frame_sp->GetValueForVariableExpressionPath(
anatofuz
parents:
diff changeset
120 object_name.GetStringRef(), lldb::eNoDynamicValues,
anatofuz
parents:
diff changeset
121 StackFrame::eExpressionPathOptionCheckPtrVsMember |
anatofuz
parents:
diff changeset
122 StackFrame::eExpressionPathOptionsNoFragileObjcIvar |
anatofuz
parents:
diff changeset
123 StackFrame::eExpressionPathOptionsNoSyntheticChildren |
anatofuz
parents:
diff changeset
124 StackFrame::eExpressionPathOptionsNoSyntheticArrayRange,
anatofuz
parents:
diff changeset
125 var_sp, err);
anatofuz
parents:
diff changeset
126
anatofuz
parents:
diff changeset
127 if (!err.Success() || !valobj_sp.get())
anatofuz
parents:
diff changeset
128 return LLDB_INVALID_ADDRESS;
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 lldb::addr_t ret = valobj_sp->GetValueAsUnsigned(LLDB_INVALID_ADDRESS);
anatofuz
parents:
diff changeset
131
anatofuz
parents:
diff changeset
132 if (ret == LLDB_INVALID_ADDRESS) {
anatofuz
parents:
diff changeset
133 err.SetErrorStringWithFormat(
anatofuz
parents:
diff changeset
134 "Couldn't load '%s' because its value couldn't be evaluated",
anatofuz
parents:
diff changeset
135 object_name.AsCString());
anatofuz
parents:
diff changeset
136 return LLDB_INVALID_ADDRESS;
anatofuz
parents:
diff changeset
137 }
anatofuz
parents:
diff changeset
138
anatofuz
parents:
diff changeset
139 return ret;
anatofuz
parents:
diff changeset
140 }
anatofuz
parents:
diff changeset
141
anatofuz
parents:
diff changeset
142 lldb::ExpressionResults
anatofuz
parents:
diff changeset
143 UserExpression::Evaluate(ExecutionContext &exe_ctx,
anatofuz
parents:
diff changeset
144 const EvaluateExpressionOptions &options,
anatofuz
parents:
diff changeset
145 llvm::StringRef expr, llvm::StringRef prefix,
anatofuz
parents:
diff changeset
146 lldb::ValueObjectSP &result_valobj_sp, Status &error,
anatofuz
parents:
diff changeset
147 std::string *fixed_expression, ValueObject *ctx_obj) {
anatofuz
parents:
diff changeset
148 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_EXPRESSIONS |
anatofuz
parents:
diff changeset
149 LIBLLDB_LOG_STEP));
anatofuz
parents:
diff changeset
150
anatofuz
parents:
diff changeset
151 if (ctx_obj) {
anatofuz
parents:
diff changeset
152 static unsigned const ctx_type_mask =
anatofuz
parents:
diff changeset
153 lldb::TypeFlags::eTypeIsClass | lldb::TypeFlags::eTypeIsStructUnion;
anatofuz
parents:
diff changeset
154 if (!(ctx_obj->GetTypeInfo() & ctx_type_mask)) {
anatofuz
parents:
diff changeset
155 LLDB_LOG(log, "== [UserExpression::Evaluate] Passed a context object of "
anatofuz
parents:
diff changeset
156 "an invalid type, can't run expressions.");
anatofuz
parents:
diff changeset
157 error.SetErrorString("a context object of an invalid type passed");
anatofuz
parents:
diff changeset
158 return lldb::eExpressionSetupError;
anatofuz
parents:
diff changeset
159 }
anatofuz
parents:
diff changeset
160 }
anatofuz
parents:
diff changeset
161
anatofuz
parents:
diff changeset
162 lldb_private::ExecutionPolicy execution_policy = options.GetExecutionPolicy();
anatofuz
parents:
diff changeset
163 lldb::LanguageType language = options.GetLanguage();
anatofuz
parents:
diff changeset
164 const ResultType desired_type = options.DoesCoerceToId()
anatofuz
parents:
diff changeset
165 ? UserExpression::eResultTypeId
anatofuz
parents:
diff changeset
166 : UserExpression::eResultTypeAny;
anatofuz
parents:
diff changeset
167 lldb::ExpressionResults execution_results = lldb::eExpressionSetupError;
anatofuz
parents:
diff changeset
168
anatofuz
parents:
diff changeset
169 Target *target = exe_ctx.GetTargetPtr();
anatofuz
parents:
diff changeset
170 if (!target) {
anatofuz
parents:
diff changeset
171 LLDB_LOGF(log, "== [UserExpression::Evaluate] Passed a NULL target, can't "
anatofuz
parents:
diff changeset
172 "run expressions.");
anatofuz
parents:
diff changeset
173 error.SetErrorString("expression passed a null target");
anatofuz
parents:
diff changeset
174 return lldb::eExpressionSetupError;
anatofuz
parents:
diff changeset
175 }
anatofuz
parents:
diff changeset
176
anatofuz
parents:
diff changeset
177 Process *process = exe_ctx.GetProcessPtr();
anatofuz
parents:
diff changeset
178
anatofuz
parents:
diff changeset
179 if (process == nullptr || process->GetState() != lldb::eStateStopped) {
anatofuz
parents:
diff changeset
180 if (execution_policy == eExecutionPolicyAlways) {
anatofuz
parents:
diff changeset
181 LLDB_LOGF(log,
anatofuz
parents:
diff changeset
182 "== [UserExpression::Evaluate] Expression may not run, but "
anatofuz
parents:
diff changeset
183 "is not constant ==");
anatofuz
parents:
diff changeset
184
anatofuz
parents:
diff changeset
185 error.SetErrorString("expression needed to run but couldn't");
anatofuz
parents:
diff changeset
186
anatofuz
parents:
diff changeset
187 return execution_results;
anatofuz
parents:
diff changeset
188 }
anatofuz
parents:
diff changeset
189 }
anatofuz
parents:
diff changeset
190
anatofuz
parents:
diff changeset
191 if (process == nullptr || !process->CanJIT())
anatofuz
parents:
diff changeset
192 execution_policy = eExecutionPolicyNever;
anatofuz
parents:
diff changeset
193
anatofuz
parents:
diff changeset
194 // We need to set the expression execution thread here, turns out parse can
anatofuz
parents:
diff changeset
195 // call functions in the process of looking up symbols, which will escape the
anatofuz
parents:
diff changeset
196 // context set by exe_ctx passed to Execute.
anatofuz
parents:
diff changeset
197 lldb::ThreadSP thread_sp = exe_ctx.GetThreadSP();
anatofuz
parents:
diff changeset
198 ThreadList::ExpressionExecutionThreadPusher execution_thread_pusher(
anatofuz
parents:
diff changeset
199 thread_sp);
anatofuz
parents:
diff changeset
200
anatofuz
parents:
diff changeset
201 llvm::StringRef full_prefix;
anatofuz
parents:
diff changeset
202 llvm::StringRef option_prefix(options.GetPrefix());
anatofuz
parents:
diff changeset
203 std::string full_prefix_storage;
anatofuz
parents:
diff changeset
204 if (!prefix.empty() && !option_prefix.empty()) {
anatofuz
parents:
diff changeset
205 full_prefix_storage = std::string(prefix);
anatofuz
parents:
diff changeset
206 full_prefix_storage.append(std::string(option_prefix));
anatofuz
parents:
diff changeset
207 full_prefix = full_prefix_storage;
anatofuz
parents:
diff changeset
208 } else if (!prefix.empty())
anatofuz
parents:
diff changeset
209 full_prefix = prefix;
anatofuz
parents:
diff changeset
210 else
anatofuz
parents:
diff changeset
211 full_prefix = option_prefix;
anatofuz
parents:
diff changeset
212
anatofuz
parents:
diff changeset
213 // If the language was not specified in the expression command, set it to the
anatofuz
parents:
diff changeset
214 // language in the target's properties if specified, else default to the
anatofuz
parents:
diff changeset
215 // langage for the frame.
anatofuz
parents:
diff changeset
216 if (language == lldb::eLanguageTypeUnknown) {
anatofuz
parents:
diff changeset
217 if (target->GetLanguage() != lldb::eLanguageTypeUnknown)
anatofuz
parents:
diff changeset
218 language = target->GetLanguage();
anatofuz
parents:
diff changeset
219 else if (StackFrame *frame = exe_ctx.GetFramePtr())
anatofuz
parents:
diff changeset
220 language = frame->GetLanguage();
anatofuz
parents:
diff changeset
221 }
anatofuz
parents:
diff changeset
222
anatofuz
parents:
diff changeset
223 lldb::UserExpressionSP user_expression_sp(
anatofuz
parents:
diff changeset
224 target->GetUserExpressionForLanguage(expr, full_prefix, language,
anatofuz
parents:
diff changeset
225 desired_type, options, ctx_obj,
anatofuz
parents:
diff changeset
226 error));
anatofuz
parents:
diff changeset
227 if (error.Fail()) {
anatofuz
parents:
diff changeset
228 if (log)
anatofuz
parents:
diff changeset
229 LLDB_LOGF(log, "== [UserExpression::Evaluate] Getting expression: %s ==",
anatofuz
parents:
diff changeset
230 error.AsCString());
anatofuz
parents:
diff changeset
231 return lldb::eExpressionSetupError;
anatofuz
parents:
diff changeset
232 }
anatofuz
parents:
diff changeset
233
anatofuz
parents:
diff changeset
234 if (log)
anatofuz
parents:
diff changeset
235 LLDB_LOGF(log, "== [UserExpression::Evaluate] Parsing expression %s ==",
anatofuz
parents:
diff changeset
236 expr.str().c_str());
anatofuz
parents:
diff changeset
237
anatofuz
parents:
diff changeset
238 const bool keep_expression_in_memory = true;
anatofuz
parents:
diff changeset
239 const bool generate_debug_info = options.GetGenerateDebugInfo();
anatofuz
parents:
diff changeset
240
anatofuz
parents:
diff changeset
241 if (options.InvokeCancelCallback(lldb::eExpressionEvaluationParse)) {
anatofuz
parents:
diff changeset
242 error.SetErrorString("expression interrupted by callback before parse");
anatofuz
parents:
diff changeset
243 result_valobj_sp = ValueObjectConstResult::Create(
anatofuz
parents:
diff changeset
244 exe_ctx.GetBestExecutionContextScope(), error);
anatofuz
parents:
diff changeset
245 return lldb::eExpressionInterrupted;
anatofuz
parents:
diff changeset
246 }
anatofuz
parents:
diff changeset
247
anatofuz
parents:
diff changeset
248 DiagnosticManager diagnostic_manager;
anatofuz
parents:
diff changeset
249
anatofuz
parents:
diff changeset
250 bool parse_success =
anatofuz
parents:
diff changeset
251 user_expression_sp->Parse(diagnostic_manager, exe_ctx, execution_policy,
anatofuz
parents:
diff changeset
252 keep_expression_in_memory, generate_debug_info);
anatofuz
parents:
diff changeset
253
anatofuz
parents:
diff changeset
254 // Calculate the fixed expression always, since we need it for errors.
anatofuz
parents:
diff changeset
255 std::string tmp_fixed_expression;
anatofuz
parents:
diff changeset
256 if (fixed_expression == nullptr)
anatofuz
parents:
diff changeset
257 fixed_expression = &tmp_fixed_expression;
anatofuz
parents:
diff changeset
258
anatofuz
parents:
diff changeset
259 const char *fixed_text = user_expression_sp->GetFixedText();
anatofuz
parents:
diff changeset
260 if (fixed_text != nullptr)
anatofuz
parents:
diff changeset
261 fixed_expression->append(fixed_text);
anatofuz
parents:
diff changeset
262
anatofuz
parents:
diff changeset
263 // If there is a fixed expression, try to parse it:
anatofuz
parents:
diff changeset
264 if (!parse_success) {
anatofuz
parents:
diff changeset
265 execution_results = lldb::eExpressionParseError;
anatofuz
parents:
diff changeset
266 if (fixed_expression && !fixed_expression->empty() &&
anatofuz
parents:
diff changeset
267 options.GetAutoApplyFixIts()) {
anatofuz
parents:
diff changeset
268 lldb::UserExpressionSP fixed_expression_sp(
anatofuz
parents:
diff changeset
269 target->GetUserExpressionForLanguage(fixed_expression->c_str(),
anatofuz
parents:
diff changeset
270 full_prefix, language,
anatofuz
parents:
diff changeset
271 desired_type, options, ctx_obj,
anatofuz
parents:
diff changeset
272 error));
anatofuz
parents:
diff changeset
273 DiagnosticManager fixed_diagnostic_manager;
anatofuz
parents:
diff changeset
274 parse_success = fixed_expression_sp->Parse(
anatofuz
parents:
diff changeset
275 fixed_diagnostic_manager, exe_ctx, execution_policy,
anatofuz
parents:
diff changeset
276 keep_expression_in_memory, generate_debug_info);
anatofuz
parents:
diff changeset
277 if (parse_success) {
anatofuz
parents:
diff changeset
278 diagnostic_manager.Clear();
anatofuz
parents:
diff changeset
279 user_expression_sp = fixed_expression_sp;
anatofuz
parents:
diff changeset
280 } else {
anatofuz
parents:
diff changeset
281 // If the fixed expression failed to parse, don't tell the user about,
anatofuz
parents:
diff changeset
282 // that won't help.
anatofuz
parents:
diff changeset
283 fixed_expression->clear();
anatofuz
parents:
diff changeset
284 }
anatofuz
parents:
diff changeset
285 }
anatofuz
parents:
diff changeset
286
anatofuz
parents:
diff changeset
287 if (!parse_success) {
anatofuz
parents:
diff changeset
288 if (!fixed_expression->empty() && target->GetEnableNotifyAboutFixIts()) {
anatofuz
parents:
diff changeset
289 error.SetExpressionErrorWithFormat(
anatofuz
parents:
diff changeset
290 execution_results,
anatofuz
parents:
diff changeset
291 "expression failed to parse, fixed expression suggested:\n %s",
anatofuz
parents:
diff changeset
292 fixed_expression->c_str());
anatofuz
parents:
diff changeset
293 } else {
anatofuz
parents:
diff changeset
294 if (!diagnostic_manager.Diagnostics().size())
anatofuz
parents:
diff changeset
295 error.SetExpressionError(execution_results,
anatofuz
parents:
diff changeset
296 "expression failed to parse, unknown error");
anatofuz
parents:
diff changeset
297 else
anatofuz
parents:
diff changeset
298 error.SetExpressionError(execution_results,
anatofuz
parents:
diff changeset
299 diagnostic_manager.GetString().c_str());
anatofuz
parents:
diff changeset
300 }
anatofuz
parents:
diff changeset
301 }
anatofuz
parents:
diff changeset
302 }
anatofuz
parents:
diff changeset
303
anatofuz
parents:
diff changeset
304 if (parse_success) {
anatofuz
parents:
diff changeset
305 lldb::ExpressionVariableSP expr_result;
anatofuz
parents:
diff changeset
306
anatofuz
parents:
diff changeset
307 if (execution_policy == eExecutionPolicyNever &&
anatofuz
parents:
diff changeset
308 !user_expression_sp->CanInterpret()) {
anatofuz
parents:
diff changeset
309 if (log)
anatofuz
parents:
diff changeset
310 LLDB_LOGF(log,
anatofuz
parents:
diff changeset
311 "== [UserExpression::Evaluate] Expression may not run, but "
anatofuz
parents:
diff changeset
312 "is not constant ==");
anatofuz
parents:
diff changeset
313
anatofuz
parents:
diff changeset
314 if (!diagnostic_manager.Diagnostics().size())
anatofuz
parents:
diff changeset
315 error.SetExpressionError(lldb::eExpressionSetupError,
anatofuz
parents:
diff changeset
316 "expression needed to run but couldn't");
anatofuz
parents:
diff changeset
317 } else if (execution_policy == eExecutionPolicyTopLevel) {
anatofuz
parents:
diff changeset
318 error.SetError(UserExpression::kNoResult, lldb::eErrorTypeGeneric);
anatofuz
parents:
diff changeset
319 return lldb::eExpressionCompleted;
anatofuz
parents:
diff changeset
320 } else {
anatofuz
parents:
diff changeset
321 if (options.InvokeCancelCallback(lldb::eExpressionEvaluationExecution)) {
anatofuz
parents:
diff changeset
322 error.SetExpressionError(
anatofuz
parents:
diff changeset
323 lldb::eExpressionInterrupted,
anatofuz
parents:
diff changeset
324 "expression interrupted by callback before execution");
anatofuz
parents:
diff changeset
325 result_valobj_sp = ValueObjectConstResult::Create(
anatofuz
parents:
diff changeset
326 exe_ctx.GetBestExecutionContextScope(), error);
anatofuz
parents:
diff changeset
327 return lldb::eExpressionInterrupted;
anatofuz
parents:
diff changeset
328 }
anatofuz
parents:
diff changeset
329
anatofuz
parents:
diff changeset
330 diagnostic_manager.Clear();
anatofuz
parents:
diff changeset
331
anatofuz
parents:
diff changeset
332 if (log)
anatofuz
parents:
diff changeset
333 LLDB_LOGF(log, "== [UserExpression::Evaluate] Executing expression ==");
anatofuz
parents:
diff changeset
334
anatofuz
parents:
diff changeset
335 execution_results =
anatofuz
parents:
diff changeset
336 user_expression_sp->Execute(diagnostic_manager, exe_ctx, options,
anatofuz
parents:
diff changeset
337 user_expression_sp, expr_result);
anatofuz
parents:
diff changeset
338
anatofuz
parents:
diff changeset
339 if (execution_results != lldb::eExpressionCompleted) {
anatofuz
parents:
diff changeset
340 if (log)
anatofuz
parents:
diff changeset
341 LLDB_LOGF(log, "== [UserExpression::Evaluate] Execution completed "
anatofuz
parents:
diff changeset
342 "abnormally ==");
anatofuz
parents:
diff changeset
343
anatofuz
parents:
diff changeset
344 if (!diagnostic_manager.Diagnostics().size())
anatofuz
parents:
diff changeset
345 error.SetExpressionError(
anatofuz
parents:
diff changeset
346 execution_results, "expression failed to execute, unknown error");
anatofuz
parents:
diff changeset
347 else
anatofuz
parents:
diff changeset
348 error.SetExpressionError(execution_results,
anatofuz
parents:
diff changeset
349 diagnostic_manager.GetString().c_str());
anatofuz
parents:
diff changeset
350 } else {
anatofuz
parents:
diff changeset
351 if (expr_result) {
anatofuz
parents:
diff changeset
352 result_valobj_sp = expr_result->GetValueObject();
anatofuz
parents:
diff changeset
353
anatofuz
parents:
diff changeset
354 if (log)
anatofuz
parents:
diff changeset
355 LLDB_LOGF(log,
anatofuz
parents:
diff changeset
356 "== [UserExpression::Evaluate] Execution completed "
anatofuz
parents:
diff changeset
357 "normally with result %s ==",
anatofuz
parents:
diff changeset
358 result_valobj_sp->GetValueAsCString());
anatofuz
parents:
diff changeset
359 } else {
anatofuz
parents:
diff changeset
360 if (log)
anatofuz
parents:
diff changeset
361 LLDB_LOGF(log, "== [UserExpression::Evaluate] Execution completed "
anatofuz
parents:
diff changeset
362 "normally with no result ==");
anatofuz
parents:
diff changeset
363
anatofuz
parents:
diff changeset
364 error.SetError(UserExpression::kNoResult, lldb::eErrorTypeGeneric);
anatofuz
parents:
diff changeset
365 }
anatofuz
parents:
diff changeset
366 }
anatofuz
parents:
diff changeset
367 }
anatofuz
parents:
diff changeset
368 }
anatofuz
parents:
diff changeset
369
anatofuz
parents:
diff changeset
370 if (options.InvokeCancelCallback(lldb::eExpressionEvaluationComplete)) {
anatofuz
parents:
diff changeset
371 error.SetExpressionError(
anatofuz
parents:
diff changeset
372 lldb::eExpressionInterrupted,
anatofuz
parents:
diff changeset
373 "expression interrupted by callback after complete");
anatofuz
parents:
diff changeset
374 return lldb::eExpressionInterrupted;
anatofuz
parents:
diff changeset
375 }
anatofuz
parents:
diff changeset
376
anatofuz
parents:
diff changeset
377 if (result_valobj_sp.get() == nullptr) {
anatofuz
parents:
diff changeset
378 result_valobj_sp = ValueObjectConstResult::Create(
anatofuz
parents:
diff changeset
379 exe_ctx.GetBestExecutionContextScope(), error);
anatofuz
parents:
diff changeset
380 }
anatofuz
parents:
diff changeset
381
anatofuz
parents:
diff changeset
382 return execution_results;
anatofuz
parents:
diff changeset
383 }
anatofuz
parents:
diff changeset
384
anatofuz
parents:
diff changeset
385 lldb::ExpressionResults
anatofuz
parents:
diff changeset
386 UserExpression::Execute(DiagnosticManager &diagnostic_manager,
anatofuz
parents:
diff changeset
387 ExecutionContext &exe_ctx,
anatofuz
parents:
diff changeset
388 const EvaluateExpressionOptions &options,
anatofuz
parents:
diff changeset
389 lldb::UserExpressionSP &shared_ptr_to_me,
anatofuz
parents:
diff changeset
390 lldb::ExpressionVariableSP &result_var) {
anatofuz
parents:
diff changeset
391 lldb::ExpressionResults expr_result = DoExecute(
anatofuz
parents:
diff changeset
392 diagnostic_manager, exe_ctx, options, shared_ptr_to_me, result_var);
anatofuz
parents:
diff changeset
393 Target *target = exe_ctx.GetTargetPtr();
anatofuz
parents:
diff changeset
394 if (options.GetResultIsInternal() && result_var && target) {
anatofuz
parents:
diff changeset
395 if (auto *persistent_state =
anatofuz
parents:
diff changeset
396 target->GetPersistentExpressionStateForLanguage(m_language))
anatofuz
parents:
diff changeset
397 persistent_state->RemovePersistentVariable(result_var);
anatofuz
parents:
diff changeset
398 }
anatofuz
parents:
diff changeset
399 return expr_result;
anatofuz
parents:
diff changeset
400 }