annotate lldb/source/Expression/UserExpression.cpp @ 173:0572611fdcc8 llvm10 llvm12

reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children 2e18cbf3894f
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) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
171 LLDB_LOG(log, "== [UserExpression::Evaluate] Passed a NULL target, can't "
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
172 "run expressions.");
150
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) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
181 LLDB_LOG(log, "== [UserExpression::Evaluate] Expression may not run, but "
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
182 "is not constant ==");
150
anatofuz
parents:
diff changeset
183
anatofuz
parents:
diff changeset
184 error.SetErrorString("expression needed to run but couldn't");
anatofuz
parents:
diff changeset
185
anatofuz
parents:
diff changeset
186 return execution_results;
anatofuz
parents:
diff changeset
187 }
anatofuz
parents:
diff changeset
188 }
anatofuz
parents:
diff changeset
189
anatofuz
parents:
diff changeset
190 if (process == nullptr || !process->CanJIT())
anatofuz
parents:
diff changeset
191 execution_policy = eExecutionPolicyNever;
anatofuz
parents:
diff changeset
192
anatofuz
parents:
diff changeset
193 // We need to set the expression execution thread here, turns out parse can
anatofuz
parents:
diff changeset
194 // call functions in the process of looking up symbols, which will escape the
anatofuz
parents:
diff changeset
195 // context set by exe_ctx passed to Execute.
anatofuz
parents:
diff changeset
196 lldb::ThreadSP thread_sp = exe_ctx.GetThreadSP();
anatofuz
parents:
diff changeset
197 ThreadList::ExpressionExecutionThreadPusher execution_thread_pusher(
anatofuz
parents:
diff changeset
198 thread_sp);
anatofuz
parents:
diff changeset
199
anatofuz
parents:
diff changeset
200 llvm::StringRef full_prefix;
anatofuz
parents:
diff changeset
201 llvm::StringRef option_prefix(options.GetPrefix());
anatofuz
parents:
diff changeset
202 std::string full_prefix_storage;
anatofuz
parents:
diff changeset
203 if (!prefix.empty() && !option_prefix.empty()) {
anatofuz
parents:
diff changeset
204 full_prefix_storage = std::string(prefix);
anatofuz
parents:
diff changeset
205 full_prefix_storage.append(std::string(option_prefix));
anatofuz
parents:
diff changeset
206 full_prefix = full_prefix_storage;
anatofuz
parents:
diff changeset
207 } else if (!prefix.empty())
anatofuz
parents:
diff changeset
208 full_prefix = prefix;
anatofuz
parents:
diff changeset
209 else
anatofuz
parents:
diff changeset
210 full_prefix = option_prefix;
anatofuz
parents:
diff changeset
211
anatofuz
parents:
diff changeset
212 // If the language was not specified in the expression command, set it to the
anatofuz
parents:
diff changeset
213 // language in the target's properties if specified, else default to the
anatofuz
parents:
diff changeset
214 // langage for the frame.
anatofuz
parents:
diff changeset
215 if (language == lldb::eLanguageTypeUnknown) {
anatofuz
parents:
diff changeset
216 if (target->GetLanguage() != lldb::eLanguageTypeUnknown)
anatofuz
parents:
diff changeset
217 language = target->GetLanguage();
anatofuz
parents:
diff changeset
218 else if (StackFrame *frame = exe_ctx.GetFramePtr())
anatofuz
parents:
diff changeset
219 language = frame->GetLanguage();
anatofuz
parents:
diff changeset
220 }
anatofuz
parents:
diff changeset
221
anatofuz
parents:
diff changeset
222 lldb::UserExpressionSP user_expression_sp(
anatofuz
parents:
diff changeset
223 target->GetUserExpressionForLanguage(expr, full_prefix, language,
anatofuz
parents:
diff changeset
224 desired_type, options, ctx_obj,
anatofuz
parents:
diff changeset
225 error));
anatofuz
parents:
diff changeset
226 if (error.Fail()) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
227 LLDB_LOG(log, "== [UserExpression::Evaluate] Getting expression: {0} ==",
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
228 error.AsCString());
150
anatofuz
parents:
diff changeset
229 return lldb::eExpressionSetupError;
anatofuz
parents:
diff changeset
230 }
anatofuz
parents:
diff changeset
231
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
232 LLDB_LOG(log, "== [UserExpression::Evaluate] Parsing expression {0} ==",
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
233 expr.str());
150
anatofuz
parents:
diff changeset
234
anatofuz
parents:
diff changeset
235 const bool keep_expression_in_memory = true;
anatofuz
parents:
diff changeset
236 const bool generate_debug_info = options.GetGenerateDebugInfo();
anatofuz
parents:
diff changeset
237
anatofuz
parents:
diff changeset
238 if (options.InvokeCancelCallback(lldb::eExpressionEvaluationParse)) {
anatofuz
parents:
diff changeset
239 error.SetErrorString("expression interrupted by callback before parse");
anatofuz
parents:
diff changeset
240 result_valobj_sp = ValueObjectConstResult::Create(
anatofuz
parents:
diff changeset
241 exe_ctx.GetBestExecutionContextScope(), error);
anatofuz
parents:
diff changeset
242 return lldb::eExpressionInterrupted;
anatofuz
parents:
diff changeset
243 }
anatofuz
parents:
diff changeset
244
anatofuz
parents:
diff changeset
245 DiagnosticManager diagnostic_manager;
anatofuz
parents:
diff changeset
246
anatofuz
parents:
diff changeset
247 bool parse_success =
anatofuz
parents:
diff changeset
248 user_expression_sp->Parse(diagnostic_manager, exe_ctx, execution_policy,
anatofuz
parents:
diff changeset
249 keep_expression_in_memory, generate_debug_info);
anatofuz
parents:
diff changeset
250
anatofuz
parents:
diff changeset
251 // Calculate the fixed expression always, since we need it for errors.
anatofuz
parents:
diff changeset
252 std::string tmp_fixed_expression;
anatofuz
parents:
diff changeset
253 if (fixed_expression == nullptr)
anatofuz
parents:
diff changeset
254 fixed_expression = &tmp_fixed_expression;
anatofuz
parents:
diff changeset
255
anatofuz
parents:
diff changeset
256 const char *fixed_text = user_expression_sp->GetFixedText();
anatofuz
parents:
diff changeset
257 if (fixed_text != nullptr)
anatofuz
parents:
diff changeset
258 fixed_expression->append(fixed_text);
anatofuz
parents:
diff changeset
259
anatofuz
parents:
diff changeset
260 // If there is a fixed expression, try to parse it:
anatofuz
parents:
diff changeset
261 if (!parse_success) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
262 // Delete the expression that failed to parse before attempting to parse
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
263 // the next expression.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
264 user_expression_sp.reset();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
265
150
anatofuz
parents:
diff changeset
266 execution_results = lldb::eExpressionParseError;
anatofuz
parents:
diff changeset
267 if (fixed_expression && !fixed_expression->empty() &&
anatofuz
parents:
diff changeset
268 options.GetAutoApplyFixIts()) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
269 const uint64_t max_fix_retries = options.GetRetriesWithFixIts();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
270 for (uint64_t i = 0; i < max_fix_retries; ++i) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
271 // Try parsing the fixed expression.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
272 lldb::UserExpressionSP fixed_expression_sp(
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
273 target->GetUserExpressionForLanguage(
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
274 fixed_expression->c_str(), full_prefix, language, desired_type,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
275 options, ctx_obj, error));
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
276 DiagnosticManager fixed_diagnostic_manager;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
277 parse_success = fixed_expression_sp->Parse(
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
278 fixed_diagnostic_manager, exe_ctx, execution_policy,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
279 keep_expression_in_memory, generate_debug_info);
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
280 if (parse_success) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
281 diagnostic_manager.Clear();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
282 user_expression_sp = fixed_expression_sp;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
283 break;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
284 } else {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
285 // The fixed expression also didn't parse. Let's check for any new
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
286 // Fix-Its we could try.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
287 if (fixed_expression_sp->GetFixedText()) {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
288 *fixed_expression = fixed_expression_sp->GetFixedText();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
289 } else {
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
290 // Fixed expression didn't compile without a fixit, don't retry and
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
291 // don't tell the user about it.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
292 fixed_expression->clear();
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
293 break;
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
294 }
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
295 }
150
anatofuz
parents:
diff changeset
296 }
anatofuz
parents:
diff changeset
297 }
anatofuz
parents:
diff changeset
298
anatofuz
parents:
diff changeset
299 if (!parse_success) {
anatofuz
parents:
diff changeset
300 if (!fixed_expression->empty() && target->GetEnableNotifyAboutFixIts()) {
anatofuz
parents:
diff changeset
301 error.SetExpressionErrorWithFormat(
anatofuz
parents:
diff changeset
302 execution_results,
anatofuz
parents:
diff changeset
303 "expression failed to parse, fixed expression suggested:\n %s",
anatofuz
parents:
diff changeset
304 fixed_expression->c_str());
anatofuz
parents:
diff changeset
305 } else {
anatofuz
parents:
diff changeset
306 if (!diagnostic_manager.Diagnostics().size())
anatofuz
parents:
diff changeset
307 error.SetExpressionError(execution_results,
anatofuz
parents:
diff changeset
308 "expression failed to parse, unknown error");
anatofuz
parents:
diff changeset
309 else
anatofuz
parents:
diff changeset
310 error.SetExpressionError(execution_results,
anatofuz
parents:
diff changeset
311 diagnostic_manager.GetString().c_str());
anatofuz
parents:
diff changeset
312 }
anatofuz
parents:
diff changeset
313 }
anatofuz
parents:
diff changeset
314 }
anatofuz
parents:
diff changeset
315
anatofuz
parents:
diff changeset
316 if (parse_success) {
anatofuz
parents:
diff changeset
317 lldb::ExpressionVariableSP expr_result;
anatofuz
parents:
diff changeset
318
anatofuz
parents:
diff changeset
319 if (execution_policy == eExecutionPolicyNever &&
anatofuz
parents:
diff changeset
320 !user_expression_sp->CanInterpret()) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
321 LLDB_LOG(log, "== [UserExpression::Evaluate] Expression may not run, but "
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
322 "is not constant ==");
150
anatofuz
parents:
diff changeset
323
anatofuz
parents:
diff changeset
324 if (!diagnostic_manager.Diagnostics().size())
anatofuz
parents:
diff changeset
325 error.SetExpressionError(lldb::eExpressionSetupError,
anatofuz
parents:
diff changeset
326 "expression needed to run but couldn't");
anatofuz
parents:
diff changeset
327 } else if (execution_policy == eExecutionPolicyTopLevel) {
anatofuz
parents:
diff changeset
328 error.SetError(UserExpression::kNoResult, lldb::eErrorTypeGeneric);
anatofuz
parents:
diff changeset
329 return lldb::eExpressionCompleted;
anatofuz
parents:
diff changeset
330 } else {
anatofuz
parents:
diff changeset
331 if (options.InvokeCancelCallback(lldb::eExpressionEvaluationExecution)) {
anatofuz
parents:
diff changeset
332 error.SetExpressionError(
anatofuz
parents:
diff changeset
333 lldb::eExpressionInterrupted,
anatofuz
parents:
diff changeset
334 "expression interrupted by callback before execution");
anatofuz
parents:
diff changeset
335 result_valobj_sp = ValueObjectConstResult::Create(
anatofuz
parents:
diff changeset
336 exe_ctx.GetBestExecutionContextScope(), error);
anatofuz
parents:
diff changeset
337 return lldb::eExpressionInterrupted;
anatofuz
parents:
diff changeset
338 }
anatofuz
parents:
diff changeset
339
anatofuz
parents:
diff changeset
340 diagnostic_manager.Clear();
anatofuz
parents:
diff changeset
341
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
342 LLDB_LOG(log, "== [UserExpression::Evaluate] Executing expression ==");
150
anatofuz
parents:
diff changeset
343
anatofuz
parents:
diff changeset
344 execution_results =
anatofuz
parents:
diff changeset
345 user_expression_sp->Execute(diagnostic_manager, exe_ctx, options,
anatofuz
parents:
diff changeset
346 user_expression_sp, expr_result);
anatofuz
parents:
diff changeset
347
anatofuz
parents:
diff changeset
348 if (execution_results != lldb::eExpressionCompleted) {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
349 LLDB_LOG(log, "== [UserExpression::Evaluate] Execution completed "
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
350 "abnormally ==");
150
anatofuz
parents:
diff changeset
351
anatofuz
parents:
diff changeset
352 if (!diagnostic_manager.Diagnostics().size())
anatofuz
parents:
diff changeset
353 error.SetExpressionError(
anatofuz
parents:
diff changeset
354 execution_results, "expression failed to execute, unknown error");
anatofuz
parents:
diff changeset
355 else
anatofuz
parents:
diff changeset
356 error.SetExpressionError(execution_results,
anatofuz
parents:
diff changeset
357 diagnostic_manager.GetString().c_str());
anatofuz
parents:
diff changeset
358 } else {
anatofuz
parents:
diff changeset
359 if (expr_result) {
anatofuz
parents:
diff changeset
360 result_valobj_sp = expr_result->GetValueObject();
anatofuz
parents:
diff changeset
361
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
362 LLDB_LOG(log,
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
363 "== [UserExpression::Evaluate] Execution completed "
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
364 "normally with result %s ==",
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
365 result_valobj_sp->GetValueAsCString());
150
anatofuz
parents:
diff changeset
366 } else {
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
367 LLDB_LOG(log, "== [UserExpression::Evaluate] Execution completed "
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
368 "normally with no result ==");
150
anatofuz
parents:
diff changeset
369
anatofuz
parents:
diff changeset
370 error.SetError(UserExpression::kNoResult, lldb::eErrorTypeGeneric);
anatofuz
parents:
diff changeset
371 }
anatofuz
parents:
diff changeset
372 }
anatofuz
parents:
diff changeset
373 }
anatofuz
parents:
diff changeset
374 }
anatofuz
parents:
diff changeset
375
anatofuz
parents:
diff changeset
376 if (options.InvokeCancelCallback(lldb::eExpressionEvaluationComplete)) {
anatofuz
parents:
diff changeset
377 error.SetExpressionError(
anatofuz
parents:
diff changeset
378 lldb::eExpressionInterrupted,
anatofuz
parents:
diff changeset
379 "expression interrupted by callback after complete");
anatofuz
parents:
diff changeset
380 return lldb::eExpressionInterrupted;
anatofuz
parents:
diff changeset
381 }
anatofuz
parents:
diff changeset
382
anatofuz
parents:
diff changeset
383 if (result_valobj_sp.get() == nullptr) {
anatofuz
parents:
diff changeset
384 result_valobj_sp = ValueObjectConstResult::Create(
anatofuz
parents:
diff changeset
385 exe_ctx.GetBestExecutionContextScope(), error);
anatofuz
parents:
diff changeset
386 }
anatofuz
parents:
diff changeset
387
anatofuz
parents:
diff changeset
388 return execution_results;
anatofuz
parents:
diff changeset
389 }
anatofuz
parents:
diff changeset
390
anatofuz
parents:
diff changeset
391 lldb::ExpressionResults
anatofuz
parents:
diff changeset
392 UserExpression::Execute(DiagnosticManager &diagnostic_manager,
anatofuz
parents:
diff changeset
393 ExecutionContext &exe_ctx,
anatofuz
parents:
diff changeset
394 const EvaluateExpressionOptions &options,
anatofuz
parents:
diff changeset
395 lldb::UserExpressionSP &shared_ptr_to_me,
anatofuz
parents:
diff changeset
396 lldb::ExpressionVariableSP &result_var) {
anatofuz
parents:
diff changeset
397 lldb::ExpressionResults expr_result = DoExecute(
anatofuz
parents:
diff changeset
398 diagnostic_manager, exe_ctx, options, shared_ptr_to_me, result_var);
anatofuz
parents:
diff changeset
399 Target *target = exe_ctx.GetTargetPtr();
anatofuz
parents:
diff changeset
400 if (options.GetResultIsInternal() && result_var && target) {
anatofuz
parents:
diff changeset
401 if (auto *persistent_state =
anatofuz
parents:
diff changeset
402 target->GetPersistentExpressionStateForLanguage(m_language))
anatofuz
parents:
diff changeset
403 persistent_state->RemovePersistentVariable(result_var);
anatofuz
parents:
diff changeset
404 }
anatofuz
parents:
diff changeset
405 return expr_result;
anatofuz
parents:
diff changeset
406 }