blob: 433733bea0271cb07c86c58103c43c4b2f1abd9d [file] [log] [blame]
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001//===-- ValueObject.cpp -----------------------------------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Chris Lattner30fdc8d2010-06-08 16:52:24 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "lldb/Core/ValueObject.h"
10
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000011#include "lldb/Core/Address.h"
Greg Clayton1f746072012-08-29 21:13:06 +000012#include "lldb/Core/Module.h"
Enrico Granata21fd13f2012-10-27 02:05:48 +000013#include "lldb/Core/ValueObjectCast.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000014#include "lldb/Core/ValueObjectChild.h"
Greg Clayton8b2fe6d2010-12-14 02:59:59 +000015#include "lldb/Core/ValueObjectConstResult.h"
Jim Ingham78a685a2011-04-16 00:01:13 +000016#include "lldb/Core/ValueObjectDynamicValue.h"
Greg Claytonb2dcc362011-05-05 23:32:56 +000017#include "lldb/Core/ValueObjectMemory.h"
Enrico Granatad55546b2011-07-22 00:16:08 +000018#include "lldb/Core/ValueObjectSyntheticFilter.h"
Enrico Granata5548cb52013-01-28 23:47:25 +000019#include "lldb/DataFormatters/DataVisualization.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000020#include "lldb/DataFormatters/DumpValueObjectOptions.h"
21#include "lldb/DataFormatters/FormatManager.h"
Enrico Granata2206b482014-10-30 18:27:31 +000022#include "lldb/DataFormatters/StringPrinter.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000023#include "lldb/DataFormatters/TypeFormat.h"
24#include "lldb/DataFormatters/TypeSummary.h"
25#include "lldb/DataFormatters/TypeValidator.h"
Enrico Granata4d93b8c2013-09-30 19:11:51 +000026#include "lldb/DataFormatters/ValueObjectPrinter.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000027#include "lldb/Expression/ExpressionVariable.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000028#include "lldb/Symbol/ClangASTContext.h"
Enrico Granatac1247f52014-11-06 21:23:20 +000029#include "lldb/Symbol/CompileUnit.h"
Kate Stoneb9c1b512016-09-06 20:57:50 +000030#include "lldb/Symbol/CompilerType.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000031#include "lldb/Symbol/Declaration.h"
32#include "lldb/Symbol/SymbolContext.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000033#include "lldb/Symbol/Type.h"
Jim Ingham53c47f12010-09-10 23:12:17 +000034#include "lldb/Target/ExecutionContext.h"
Enrico Granata407b5c62015-11-02 21:52:05 +000035#include "lldb/Target/Language.h"
Jim Ingham5a369122010-09-28 01:25:32 +000036#include "lldb/Target/LanguageRuntime.h"
Enrico Granatac3e320a2011-08-02 17:27:39 +000037#include "lldb/Target/ObjCLanguageRuntime.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000038#include "lldb/Target/Process.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000039#include "lldb/Target/StackFrame.h"
Greg Claytonf5e56de2010-09-14 23:36:40 +000040#include "lldb/Target/Target.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000041#include "lldb/Target/Thread.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000042#include "lldb/Target/ThreadList.h"
43#include "lldb/Utility/DataBuffer.h"
Zachary Turner2f3df612017-04-06 21:28:29 +000044#include "lldb/Utility/DataBufferHeap.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000045#include "lldb/Utility/Flags.h"
Zachary Turner2f3df612017-04-06 21:28:29 +000046#include "lldb/Utility/Log.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000047#include "lldb/Utility/Logging.h"
48#include "lldb/Utility/Scalar.h"
49#include "lldb/Utility/SharingPtr.h"
50#include "lldb/Utility/Stream.h"
Zachary Turner2f3df612017-04-06 21:28:29 +000051#include "lldb/Utility/StreamString.h"
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000052#include "lldb/lldb-private-types.h"
Zachary Turner2f3df612017-04-06 21:28:29 +000053
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000054#include "llvm/Support/Compiler.h"
Zachary Turner2f3df612017-04-06 21:28:29 +000055
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000056#include <algorithm>
57#include <cstdint>
58#include <cstdlib>
59#include <memory>
60#include <tuple>
Zachary Turner2f3df612017-04-06 21:28:29 +000061
Jonas Devlieghere672d2c12018-11-11 23:16:43 +000062#include <assert.h>
63#include <inttypes.h>
64#include <stdio.h>
65#include <string.h>
Zachary Turner2f3df612017-04-06 21:28:29 +000066
67namespace lldb_private {
68class ExecutionContextScope;
69}
70namespace lldb_private {
71class SymbolContextScope;
72}
Chris Lattner30fdc8d2010-06-08 16:52:24 +000073
74using namespace lldb;
75using namespace lldb_private;
Enrico Granataf4efecd2011-07-12 22:56:10 +000076using namespace lldb_utility;
Chris Lattner30fdc8d2010-06-08 16:52:24 +000077
Greg Claytonafacd142011-09-02 01:15:17 +000078static user_id_t g_value_obj_uid = 0;
Chris Lattner30fdc8d2010-06-08 16:52:24 +000079
80//----------------------------------------------------------------------
81// ValueObject constructor
82//----------------------------------------------------------------------
Kate Stoneb9c1b512016-09-06 20:57:50 +000083ValueObject::ValueObject(ValueObject &parent)
84 : UserID(++g_value_obj_uid), // Unique identifier for every value object
85 m_parent(&parent), m_root(NULL), m_update_point(parent.GetUpdatePoint()),
86 m_name(), m_data(), m_value(), m_error(), m_value_str(),
87 m_old_value_str(), m_location_str(), m_summary_str(), m_object_desc_str(),
88 m_validation_result(), m_manager(parent.GetManager()), m_children(),
89 m_synthetic_children(), m_dynamic_value(NULL), m_synthetic_value(NULL),
90 m_deref_valobj(NULL), m_format(eFormatDefault),
91 m_last_format(eFormatDefault), m_last_format_mgr_revision(0),
92 m_type_summary_sp(), m_type_format_sp(), m_synthetic_children_sp(),
93 m_type_validator_sp(), m_user_id_of_forced_summary(),
94 m_address_type_of_ptr_or_ref_children(eAddressTypeInvalid),
95 m_value_checksum(),
96 m_preferred_display_language(lldb::eLanguageTypeUnknown),
97 m_language_flags(0), m_value_is_valid(false), m_value_did_change(false),
98 m_children_count_valid(false), m_old_value_valid(false),
99 m_is_deref_of_parent(false), m_is_array_item_for_pointer(false),
100 m_is_bitfield_for_scalar(false), m_is_child_at_offset(false),
101 m_is_getting_summary(false),
102 m_did_calculate_complete_objc_class_type(false),
103 m_is_synthetic_children_generated(
104 parent.m_is_synthetic_children_generated) {
105 m_manager->ManageObject(this);
Jim Ingham6035b672011-03-31 00:19:25 +0000106}
107
108//----------------------------------------------------------------------
109// ValueObject constructor
110//----------------------------------------------------------------------
Kate Stoneb9c1b512016-09-06 20:57:50 +0000111ValueObject::ValueObject(ExecutionContextScope *exe_scope,
112 AddressType child_ptr_or_ref_addr_type)
113 : UserID(++g_value_obj_uid), // Unique identifier for every value object
114 m_parent(NULL), m_root(NULL), m_update_point(exe_scope), m_name(),
115 m_data(), m_value(), m_error(), m_value_str(), m_old_value_str(),
116 m_location_str(), m_summary_str(), m_object_desc_str(),
117 m_validation_result(), m_manager(), m_children(), m_synthetic_children(),
118 m_dynamic_value(NULL), m_synthetic_value(NULL), m_deref_valobj(NULL),
119 m_format(eFormatDefault), m_last_format(eFormatDefault),
120 m_last_format_mgr_revision(0), m_type_summary_sp(), m_type_format_sp(),
121 m_synthetic_children_sp(), m_type_validator_sp(),
122 m_user_id_of_forced_summary(),
123 m_address_type_of_ptr_or_ref_children(child_ptr_or_ref_addr_type),
124 m_value_checksum(),
125 m_preferred_display_language(lldb::eLanguageTypeUnknown),
126 m_language_flags(0), m_value_is_valid(false), m_value_did_change(false),
127 m_children_count_valid(false), m_old_value_valid(false),
128 m_is_deref_of_parent(false), m_is_array_item_for_pointer(false),
129 m_is_bitfield_for_scalar(false), m_is_child_at_offset(false),
130 m_is_getting_summary(false),
131 m_did_calculate_complete_objc_class_type(false),
132 m_is_synthetic_children_generated(false) {
133 m_manager = new ValueObjectManager();
134 m_manager->ManageObject(this);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000135}
136
137//----------------------------------------------------------------------
138// Destructor
139//----------------------------------------------------------------------
Kate Stoneb9c1b512016-09-06 20:57:50 +0000140ValueObject::~ValueObject() {}
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000141
Kate Stoneb9c1b512016-09-06 20:57:50 +0000142bool ValueObject::UpdateValueIfNeeded(bool update_format) {
Greg Claytonb71f3842010-10-05 03:13:51 +0000143
Kate Stoneb9c1b512016-09-06 20:57:50 +0000144 bool did_change_formats = false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000145
Kate Stoneb9c1b512016-09-06 20:57:50 +0000146 if (update_format)
147 did_change_formats = UpdateFormatsIfNeeded();
Greg Claytonefbc7d22012-03-09 04:23:44 +0000148
Adrian Prantl05097242018-04-30 16:49:04 +0000149 // If this is a constant value, then our success is predicated on whether we
150 // have an error or not
Kate Stoneb9c1b512016-09-06 20:57:50 +0000151 if (GetIsConstant()) {
152 // if you are constant, things might still have changed behind your back
153 // (e.g. you are a frozen object and things have changed deeper than you
Adrian Prantl05097242018-04-30 16:49:04 +0000154 // cared to freeze-dry yourself) in this case, your value has not changed,
155 // but "computed" entries might have, so you might now have a different
156 // summary, or a different object description. clear these so we will
157 // recompute them
Kate Stoneb9c1b512016-09-06 20:57:50 +0000158 if (update_format && !did_change_formats)
159 ClearUserVisibleData(eClearUserVisibleDataItemsSummary |
160 eClearUserVisibleDataItemsDescription);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000161 return m_error.Success();
Kate Stoneb9c1b512016-09-06 20:57:50 +0000162 }
163
164 bool first_update = IsChecksumEmpty();
165
166 if (NeedsUpdating()) {
167 m_update_point.SetUpdated();
168
Adrian Prantl05097242018-04-30 16:49:04 +0000169 // Save the old value using swap to avoid a string copy which also will
170 // clear our m_value_str
Kate Stoneb9c1b512016-09-06 20:57:50 +0000171 if (m_value_str.empty()) {
172 m_old_value_valid = false;
173 } else {
174 m_old_value_valid = true;
175 m_old_value_str.swap(m_value_str);
176 ClearUserVisibleData(eClearUserVisibleDataItemsValue);
177 }
178
179 ClearUserVisibleData();
180
181 if (IsInScope()) {
182 const bool value_was_valid = GetValueIsValid();
183 SetValueDidChange(false);
184
185 m_error.Clear();
186
187 // Call the pure virtual function to update the value
188
189 bool need_compare_checksums = false;
190 llvm::SmallVector<uint8_t, 16> old_checksum;
191
192 if (!first_update && CanProvideValue()) {
193 need_compare_checksums = true;
194 old_checksum.resize(m_value_checksum.size());
195 std::copy(m_value_checksum.begin(), m_value_checksum.end(),
196 old_checksum.begin());
197 }
198
199 bool success = UpdateValue();
200
201 SetValueIsValid(success);
202
203 if (success) {
204 const uint64_t max_checksum_size = 128;
205 m_data.Checksum(m_value_checksum, max_checksum_size);
206 } else {
207 need_compare_checksums = false;
208 m_value_checksum.clear();
209 }
210
211 assert(!need_compare_checksums ||
212 (!old_checksum.empty() && !m_value_checksum.empty()));
213
214 if (first_update)
215 SetValueDidChange(false);
Jonas Devliegherea6682a42018-12-15 00:15:33 +0000216 else if (!m_value_did_change && !success) {
Adrian Prantl05097242018-04-30 16:49:04 +0000217 // The value wasn't gotten successfully, so we mark this as changed if
218 // the value used to be valid and now isn't
Kate Stoneb9c1b512016-09-06 20:57:50 +0000219 SetValueDidChange(value_was_valid);
220 } else if (need_compare_checksums) {
221 SetValueDidChange(memcmp(&old_checksum[0], &m_value_checksum[0],
222 m_value_checksum.size()));
223 }
224
225 } else {
226 m_error.SetErrorString("out of scope");
227 }
228 }
229 return m_error.Success();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000230}
231
Kate Stoneb9c1b512016-09-06 20:57:50 +0000232bool ValueObject::UpdateFormatsIfNeeded() {
233 Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_DATAFORMATTERS));
234 if (log)
235 log->Printf("[%s %p] checking for FormatManager revisions. ValueObject "
236 "rev: %d - Global rev: %d",
237 GetName().GetCString(), static_cast<void *>(this),
238 m_last_format_mgr_revision,
239 DataVisualization::GetCurrentRevision());
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000240
Kate Stoneb9c1b512016-09-06 20:57:50 +0000241 bool any_change = false;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000242
Kate Stoneb9c1b512016-09-06 20:57:50 +0000243 if ((m_last_format_mgr_revision != DataVisualization::GetCurrentRevision())) {
244 m_last_format_mgr_revision = DataVisualization::GetCurrentRevision();
245 any_change = true;
246
247 SetValueFormat(DataVisualization::GetFormat(*this, eNoDynamicValues));
248 SetSummaryFormat(
249 DataVisualization::GetSummaryFormat(*this, GetDynamicValueType()));
Jason Molenda7a9a72b2012-05-16 00:38:08 +0000250#ifndef LLDB_DISABLE_PYTHON
Kate Stoneb9c1b512016-09-06 20:57:50 +0000251 SetSyntheticChildren(
252 DataVisualization::GetSyntheticChildren(*this, GetDynamicValueType()));
Jason Molenda7a9a72b2012-05-16 00:38:08 +0000253#endif
Kate Stoneb9c1b512016-09-06 20:57:50 +0000254 SetValidator(DataVisualization::GetValidator(*this, GetDynamicValueType()));
255 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000256
Kate Stoneb9c1b512016-09-06 20:57:50 +0000257 return any_change;
Enrico Granata4becb372011-06-29 22:27:15 +0000258}
259
Kate Stoneb9c1b512016-09-06 20:57:50 +0000260void ValueObject::SetNeedsUpdate() {
261 m_update_point.SetNeedsUpdate();
262 // We have to clear the value string here so ConstResult children will notice
Adrian Prantl05097242018-04-30 16:49:04 +0000263 // if their values are changed by hand (i.e. with SetValueAsCString).
Kate Stoneb9c1b512016-09-06 20:57:50 +0000264 ClearUserVisibleData(eClearUserVisibleDataItemsValue);
Jim Ingham16e0c682011-08-12 23:34:31 +0000265}
266
Kate Stoneb9c1b512016-09-06 20:57:50 +0000267void ValueObject::ClearDynamicTypeInformation() {
268 m_children_count_valid = false;
269 m_did_calculate_complete_objc_class_type = false;
270 m_last_format_mgr_revision = 0;
271 m_override_type = CompilerType();
272 SetValueFormat(lldb::TypeFormatImplSP());
273 SetSummaryFormat(lldb::TypeSummaryImplSP());
274 SetSyntheticChildren(lldb::SyntheticChildrenSP());
Enrico Granata13ac0e22012-10-17 19:03:34 +0000275}
276
Kate Stoneb9c1b512016-09-06 20:57:50 +0000277CompilerType ValueObject::MaybeCalculateCompleteType() {
278 CompilerType compiler_type(GetCompilerTypeImpl());
279
280 if (m_did_calculate_complete_objc_class_type) {
281 if (m_override_type.IsValid())
282 return m_override_type;
Sean Callanan72772842012-02-22 23:57:45 +0000283 else
Kate Stoneb9c1b512016-09-06 20:57:50 +0000284 return compiler_type;
285 }
286
287 CompilerType class_type;
288 bool is_pointer_type = false;
289
290 if (ClangASTContext::IsObjCObjectPointerType(compiler_type, &class_type)) {
291 is_pointer_type = true;
292 } else if (ClangASTContext::IsObjCObjectOrInterfaceType(compiler_type)) {
293 class_type = compiler_type;
294 } else {
Bruce Mitchener3ad353f2015-09-24 03:54:50 +0000295 return compiler_type;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000296 }
297
298 m_did_calculate_complete_objc_class_type = true;
299
300 if (class_type) {
301 ConstString class_name(class_type.GetConstTypeName());
302
303 if (class_name) {
304 ProcessSP process_sp(
305 GetUpdatePoint().GetExecutionContextRef().GetProcessSP());
306
307 if (process_sp) {
308 ObjCLanguageRuntime *objc_language_runtime(
309 process_sp->GetObjCLanguageRuntime());
310
311 if (objc_language_runtime) {
312 TypeSP complete_objc_class_type_sp =
313 objc_language_runtime->LookupInCompleteClassCache(class_name);
314
315 if (complete_objc_class_type_sp) {
316 CompilerType complete_class(
317 complete_objc_class_type_sp->GetFullCompilerType());
318
319 if (complete_class.GetCompleteType()) {
320 if (is_pointer_type) {
321 m_override_type = complete_class.GetPointerType();
322 } else {
323 m_override_type = complete_class;
324 }
325
326 if (m_override_type.IsValid())
327 return m_override_type;
328 }
329 }
330 }
331 }
332 }
333 }
334 return compiler_type;
Sean Callanan72772842012-02-22 23:57:45 +0000335}
336
Kate Stoneb9c1b512016-09-06 20:57:50 +0000337CompilerType ValueObject::GetCompilerType() {
338 return MaybeCalculateCompleteType();
Sean Callanan72772842012-02-22 23:57:45 +0000339}
340
Kate Stoneb9c1b512016-09-06 20:57:50 +0000341TypeImpl ValueObject::GetTypeImpl() { return TypeImpl(GetCompilerType()); }
342
343DataExtractor &ValueObject::GetDataExtractor() {
344 UpdateValueIfNeeded(false);
345 return m_data;
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000346}
347
Zachary Turner97206d52017-05-12 04:51:55 +0000348const Status &ValueObject::GetError() {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000349 UpdateValueIfNeeded(false);
350 return m_error;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000351}
352
Kate Stoneb9c1b512016-09-06 20:57:50 +0000353const ConstString &ValueObject::GetName() const { return m_name; }
354
355const char *ValueObject::GetLocationAsCString() {
356 return GetLocationAsCStringImpl(m_value, m_data);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000357}
358
Kate Stoneb9c1b512016-09-06 20:57:50 +0000359const char *ValueObject::GetLocationAsCStringImpl(const Value &value,
360 const DataExtractor &data) {
361 if (UpdateValueIfNeeded(false)) {
362 if (m_location_str.empty()) {
363 StreamString sstr;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000364
Kate Stoneb9c1b512016-09-06 20:57:50 +0000365 Value::ValueType value_type = value.GetValueType();
Enrico Granata82fabf82013-04-30 20:45:04 +0000366
Kate Stoneb9c1b512016-09-06 20:57:50 +0000367 switch (value_type) {
368 case Value::eValueTypeScalar:
369 case Value::eValueTypeVector:
370 if (value.GetContextType() == Value::eContextTypeRegisterInfo) {
371 RegisterInfo *reg_info = value.GetRegisterInfo();
372 if (reg_info) {
373 if (reg_info->name)
374 m_location_str = reg_info->name;
375 else if (reg_info->alt_name)
376 m_location_str = reg_info->alt_name;
377 if (m_location_str.empty())
378 m_location_str = (reg_info->encoding == lldb::eEncodingVector)
379 ? "vector"
380 : "scalar";
381 }
382 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000383 if (m_location_str.empty())
Kate Stoneb9c1b512016-09-06 20:57:50 +0000384 m_location_str =
385 (value_type == Value::eValueTypeVector) ? "vector" : "scalar";
386 break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000387
Kate Stoneb9c1b512016-09-06 20:57:50 +0000388 case Value::eValueTypeLoadAddress:
389 case Value::eValueTypeFileAddress:
390 case Value::eValueTypeHostAddress: {
391 uint32_t addr_nibble_size = data.GetAddressByteSize() * 2;
392 sstr.Printf("0x%*.*llx", addr_nibble_size, addr_nibble_size,
393 value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS));
Zachary Turnerc1564272016-11-16 21:15:24 +0000394 m_location_str = sstr.GetString();
Kate Stoneb9c1b512016-09-06 20:57:50 +0000395 } break;
396 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000397 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000398 }
399 return m_location_str.c_str();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000400}
401
Kate Stoneb9c1b512016-09-06 20:57:50 +0000402Value &ValueObject::GetValue() { return m_value; }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000403
Kate Stoneb9c1b512016-09-06 20:57:50 +0000404const Value &ValueObject::GetValue() const { return m_value; }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000405
Kate Stoneb9c1b512016-09-06 20:57:50 +0000406bool ValueObject::ResolveValue(Scalar &scalar) {
407 if (UpdateValueIfNeeded(
408 false)) // make sure that you are up to date before returning anything
409 {
410 ExecutionContext exe_ctx(GetExecutionContextRef());
411 Value tmp_value(m_value);
412 scalar = tmp_value.ResolveValue(&exe_ctx);
413 if (scalar.IsValid()) {
414 const uint32_t bitfield_bit_size = GetBitfieldBitSize();
415 if (bitfield_bit_size)
416 return scalar.ExtractBitfield(bitfield_bit_size,
417 GetBitfieldBitOffset());
418 return true;
Enrico Granata6fd87d52011-08-04 01:41:02 +0000419 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000420 }
421 return false;
422}
423
Zachary Turner97206d52017-05-12 04:51:55 +0000424bool ValueObject::IsLogicalTrue(Status &error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000425 if (Language *language = Language::FindPlugin(GetObjectRuntimeLanguage())) {
426 LazyBool is_logical_true = language->IsLogicalTrue(*this, error);
427 switch (is_logical_true) {
428 case eLazyBoolYes:
429 case eLazyBoolNo:
430 return (is_logical_true == true);
431 case eLazyBoolCalculate:
432 break;
433 }
434 }
435
436 Scalar scalar_value;
437
438 if (!ResolveValue(scalar_value)) {
439 error.SetErrorString("failed to get a scalar result");
Greg Claytondcad5022011-12-29 01:26:56 +0000440 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000441 }
442
443 bool ret;
Jonas Devliegherea6682a42018-12-15 00:15:33 +0000444 ret = scalar_value.ULongLong(1) != 0;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000445 error.Clear();
446 return ret;
Greg Clayton8f343b02010-11-04 01:54:29 +0000447}
448
Kate Stoneb9c1b512016-09-06 20:57:50 +0000449bool ValueObject::GetValueIsValid() const { return m_value_is_valid; }
450
451void ValueObject::SetValueIsValid(bool b) { m_value_is_valid = b; }
452
453bool ValueObject::GetValueDidChange() { return m_value_did_change; }
454
455void ValueObject::SetValueDidChange(bool value_changed) {
456 m_value_did_change = value_changed;
457}
458
459ValueObjectSP ValueObject::GetChildAtIndex(size_t idx, bool can_create) {
460 ValueObjectSP child_sp;
461 // We may need to update our value if we are dynamic
462 if (IsPossibleDynamicType())
463 UpdateValueIfNeeded(false);
464 if (idx < GetNumChildren()) {
465 // Check if we have already made the child value object?
466 if (can_create && !m_children.HasChildAtIndex(idx)) {
467 // No we haven't created the child at this index, so lets have our
468 // subclass do it and cache the result for quick future access.
469 m_children.SetChildAtIndex(idx, CreateChildAtIndex(idx, false, 0));
Enrico Granata407b5c62015-11-02 21:52:05 +0000470 }
Jim Ingham98e6daf2015-10-31 00:02:18 +0000471
Kate Stoneb9c1b512016-09-06 20:57:50 +0000472 ValueObject *child = m_children.GetChildAtIndex(idx);
473 if (child != NULL)
474 return child->GetSP();
475 }
476 return child_sp;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000477}
478
Enrico Granata3309d882013-01-12 01:00:22 +0000479lldb::ValueObjectSP
Lang Hames088d0012017-04-26 18:15:40 +0000480ValueObject::GetChildAtIndexPath(llvm::ArrayRef<size_t> idxs,
Kate Stoneb9c1b512016-09-06 20:57:50 +0000481 size_t *index_of_error) {
482 if (idxs.size() == 0)
483 return GetSP();
484 ValueObjectSP root(GetSP());
485 for (size_t idx : idxs) {
486 root = root->GetChildAtIndex(idx, true);
487 if (!root) {
488 if (index_of_error)
489 *index_of_error = idx;
490 return root;
Enrico Granata3309d882013-01-12 01:00:22 +0000491 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000492 }
493 return root;
494}
495
496lldb::ValueObjectSP ValueObject::GetChildAtIndexPath(
Lang Hames088d0012017-04-26 18:15:40 +0000497 llvm::ArrayRef<std::pair<size_t, bool>> idxs, size_t *index_of_error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000498 if (idxs.size() == 0)
499 return GetSP();
500 ValueObjectSP root(GetSP());
501 for (std::pair<size_t, bool> idx : idxs) {
502 root = root->GetChildAtIndex(idx.first, idx.second);
503 if (!root) {
504 if (index_of_error)
505 *index_of_error = idx.first;
506 return root;
507 }
508 }
509 return root;
Enrico Granata3309d882013-01-12 01:00:22 +0000510}
511
512lldb::ValueObjectSP
Lang Hames088d0012017-04-26 18:15:40 +0000513ValueObject::GetChildAtNamePath(llvm::ArrayRef<ConstString> names,
Kate Stoneb9c1b512016-09-06 20:57:50 +0000514 ConstString *name_of_error) {
515 if (names.size() == 0)
516 return GetSP();
517 ValueObjectSP root(GetSP());
518 for (ConstString name : names) {
519 root = root->GetChildMemberWithName(name, true);
520 if (!root) {
521 if (name_of_error)
522 *name_of_error = name;
523 return root;
524 }
525 }
526 return root;
Enrico Granataef8dde62015-12-21 23:10:17 +0000527}
528
Kate Stoneb9c1b512016-09-06 20:57:50 +0000529lldb::ValueObjectSP ValueObject::GetChildAtNamePath(
Lang Hames088d0012017-04-26 18:15:40 +0000530 llvm::ArrayRef<std::pair<ConstString, bool>> names,
Kate Stoneb9c1b512016-09-06 20:57:50 +0000531 ConstString *name_of_error) {
532 if (names.size() == 0)
533 return GetSP();
534 ValueObjectSP root(GetSP());
535 for (std::pair<ConstString, bool> name : names) {
536 root = root->GetChildMemberWithName(name.first, name.second);
537 if (!root) {
538 if (name_of_error)
539 *name_of_error = name.first;
540 return root;
541 }
542 }
543 return root;
Enrico Granatae2e220a2013-09-12 00:48:47 +0000544}
545
Kate Stoneb9c1b512016-09-06 20:57:50 +0000546size_t ValueObject::GetIndexOfChildWithName(const ConstString &name) {
547 bool omit_empty_base_classes = true;
548 return GetCompilerType().GetIndexOfChildWithName(name.GetCString(),
549 omit_empty_base_classes);
Enrico Granatae2e220a2013-09-12 00:48:47 +0000550}
551
Kate Stoneb9c1b512016-09-06 20:57:50 +0000552ValueObjectSP ValueObject::GetChildMemberWithName(const ConstString &name,
553 bool can_create) {
Adrian Prantl05097242018-04-30 16:49:04 +0000554 // when getting a child by name, it could be buried inside some base classes
555 // (which really aren't part of the expression path), so we need a vector of
556 // indexes that can get us down to the correct child
Kate Stoneb9c1b512016-09-06 20:57:50 +0000557 ValueObjectSP child_sp;
558
559 // We may need to update our value if we are dynamic
560 if (IsPossibleDynamicType())
561 UpdateValueIfNeeded(false);
562
563 std::vector<uint32_t> child_indexes;
564 bool omit_empty_base_classes = true;
565 const size_t num_child_indexes =
566 GetCompilerType().GetIndexOfChildMemberWithName(
567 name.GetCString(), omit_empty_base_classes, child_indexes);
568 if (num_child_indexes > 0) {
569 std::vector<uint32_t>::const_iterator pos = child_indexes.begin();
570 std::vector<uint32_t>::const_iterator end = child_indexes.end();
571
572 child_sp = GetChildAtIndex(*pos, can_create);
573 for (++pos; pos != end; ++pos) {
574 if (child_sp) {
575 ValueObjectSP new_child_sp(child_sp->GetChildAtIndex(*pos, can_create));
576 child_sp = new_child_sp;
577 } else {
578 child_sp.reset();
579 }
Enrico Granatae2e220a2013-09-12 00:48:47 +0000580 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000581 }
582 return child_sp;
Enrico Granatae2e220a2013-09-12 00:48:47 +0000583}
584
Kate Stoneb9c1b512016-09-06 20:57:50 +0000585size_t ValueObject::GetNumChildren(uint32_t max) {
586 UpdateValueIfNeeded();
587
588 if (max < UINT32_MAX) {
589 if (m_children_count_valid) {
590 size_t children_count = m_children.GetChildrenCount();
591 return children_count <= max ? children_count : max;
592 } else
593 return CalculateNumChildren(max);
594 }
595
596 if (!m_children_count_valid) {
597 SetNumChildren(CalculateNumChildren());
598 }
599 return m_children.GetChildrenCount();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000600}
601
Kate Stoneb9c1b512016-09-06 20:57:50 +0000602bool ValueObject::MightHaveChildren() {
603 bool has_children = false;
604 const uint32_t type_info = GetTypeInfo();
605 if (type_info) {
606 if (type_info & (eTypeHasChildren | eTypeIsPointer | eTypeIsReference))
607 has_children = true;
608 } else {
609 has_children = GetNumChildren() > 0;
610 }
611 return has_children;
Greg Clayton4a792072012-10-23 01:50:10 +0000612}
613
614// Should only be called by ValueObject::GetNumChildren()
Kate Stoneb9c1b512016-09-06 20:57:50 +0000615void ValueObject::SetNumChildren(size_t num_children) {
616 m_children_count_valid = true;
617 m_children.SetChildrenCount(num_children);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000618}
619
Kate Stoneb9c1b512016-09-06 20:57:50 +0000620void ValueObject::SetName(const ConstString &name) { m_name = name; }
621
622ValueObject *ValueObject::CreateChildAtIndex(size_t idx,
623 bool synthetic_array_member,
624 int32_t synthetic_index) {
625 ValueObject *valobj = NULL;
626
627 bool omit_empty_base_classes = true;
628 bool ignore_array_bounds = synthetic_array_member;
629 std::string child_name_str;
630 uint32_t child_byte_size = 0;
631 int32_t child_byte_offset = 0;
632 uint32_t child_bitfield_bit_size = 0;
633 uint32_t child_bitfield_bit_offset = 0;
634 bool child_is_base_class = false;
635 bool child_is_deref_of_parent = false;
636 uint64_t language_flags = 0;
637
Jonas Devliegherea6682a42018-12-15 00:15:33 +0000638 const bool transparent_pointers = !synthetic_array_member;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000639 CompilerType child_compiler_type;
640
641 ExecutionContext exe_ctx(GetExecutionContextRef());
642
643 child_compiler_type = GetCompilerType().GetChildCompilerTypeAtIndex(
644 &exe_ctx, idx, transparent_pointers, omit_empty_base_classes,
645 ignore_array_bounds, child_name_str, child_byte_size, child_byte_offset,
646 child_bitfield_bit_size, child_bitfield_bit_offset, child_is_base_class,
647 child_is_deref_of_parent, this, language_flags);
648 if (child_compiler_type) {
649 if (synthetic_index)
650 child_byte_offset += child_byte_size * synthetic_index;
651
652 ConstString child_name;
653 if (!child_name_str.empty())
654 child_name.SetCString(child_name_str.c_str());
655
656 valobj = new ValueObjectChild(
657 *this, child_compiler_type, child_name, child_byte_size,
658 child_byte_offset, child_bitfield_bit_size, child_bitfield_bit_offset,
659 child_is_base_class, child_is_deref_of_parent, eAddressTypeInvalid,
660 language_flags);
Kate Stoneb9c1b512016-09-06 20:57:50 +0000661 }
662
663 return valobj;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000664}
665
Kate Stoneb9c1b512016-09-06 20:57:50 +0000666bool ValueObject::GetSummaryAsCString(TypeSummaryImpl *summary_ptr,
667 std::string &destination,
668 lldb::LanguageType lang) {
669 return GetSummaryAsCString(summary_ptr, destination,
670 TypeSummaryOptions().SetLanguage(lang));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000671}
672
Kate Stoneb9c1b512016-09-06 20:57:50 +0000673bool ValueObject::GetSummaryAsCString(TypeSummaryImpl *summary_ptr,
674 std::string &destination,
675 const TypeSummaryOptions &options) {
676 destination.clear();
677
Adrian Prantl05097242018-04-30 16:49:04 +0000678 // ideally we would like to bail out if passing NULL, but if we do so we end
679 // up not providing the summary for function pointers anymore
Kate Stoneb9c1b512016-09-06 20:57:50 +0000680 if (/*summary_ptr == NULL ||*/ m_is_getting_summary)
681 return false;
682
683 m_is_getting_summary = true;
684
685 TypeSummaryOptions actual_options(options);
686
687 if (actual_options.GetLanguage() == lldb::eLanguageTypeUnknown)
688 actual_options.SetLanguage(GetPreferredDisplayLanguage());
689
690 // this is a hot path in code and we prefer to avoid setting this string all
Adrian Prantl05097242018-04-30 16:49:04 +0000691 // too often also clearing out other information that we might care to see in
692 // a crash log. might be useful in very specific situations though.
Kate Stoneb9c1b512016-09-06 20:57:50 +0000693 /*Host::SetCrashDescriptionWithFormat("Trying to fetch a summary for %s %s.
694 Summary provider's description is %s",
695 GetTypeName().GetCString(),
696 GetName().GetCString(),
697 summary_ptr->GetDescription().c_str());*/
698
699 if (UpdateValueIfNeeded(false) && summary_ptr) {
700 if (HasSyntheticValue())
701 m_synthetic_value->UpdateValueIfNeeded(); // the summary might depend on
702 // the synthetic children being
703 // up-to-date (e.g. ${svar%#})
704 summary_ptr->FormatObject(this, destination, actual_options);
705 }
706 m_is_getting_summary = false;
707 return !destination.empty();
Enrico Granatac1247f52014-11-06 21:23:20 +0000708}
709
Kate Stoneb9c1b512016-09-06 20:57:50 +0000710const char *ValueObject::GetSummaryAsCString(lldb::LanguageType lang) {
711 if (UpdateValueIfNeeded(true) && m_summary_str.empty()) {
712 TypeSummaryOptions summary_options;
713 summary_options.SetLanguage(lang);
714 GetSummaryAsCString(GetSummaryFormat().get(), m_summary_str,
715 summary_options);
716 }
717 if (m_summary_str.empty())
718 return NULL;
719 return m_summary_str.c_str();
720}
721
722bool ValueObject::GetSummaryAsCString(std::string &destination,
723 const TypeSummaryOptions &options) {
724 return GetSummaryAsCString(GetSummaryFormat().get(), destination, options);
725}
726
727bool ValueObject::IsCStringContainer(bool check_pointer) {
728 CompilerType pointee_or_element_compiler_type;
729 const Flags type_flags(GetTypeInfo(&pointee_or_element_compiler_type));
730 bool is_char_arr_ptr(type_flags.AnySet(eTypeIsArray | eTypeIsPointer) &&
731 pointee_or_element_compiler_type.IsCharType());
732 if (!is_char_arr_ptr)
733 return false;
734 if (!check_pointer)
735 return true;
736 if (type_flags.Test(eTypeIsArray))
737 return true;
738 addr_t cstr_address = LLDB_INVALID_ADDRESS;
739 AddressType cstr_address_type = eAddressTypeInvalid;
740 cstr_address = GetAddressOf(true, &cstr_address_type);
741 return (cstr_address != LLDB_INVALID_ADDRESS);
742}
743
744size_t ValueObject::GetPointeeData(DataExtractor &data, uint32_t item_idx,
745 uint32_t item_count) {
746 CompilerType pointee_or_element_compiler_type;
747 const uint32_t type_info = GetTypeInfo(&pointee_or_element_compiler_type);
748 const bool is_pointer_type = type_info & eTypeIsPointer;
749 const bool is_array_type = type_info & eTypeIsArray;
750 if (!(is_pointer_type || is_array_type))
751 return 0;
752
753 if (item_count == 0)
754 return 0;
755
756 ExecutionContext exe_ctx(GetExecutionContextRef());
757
Adrian Prantld6a9bbf2019-01-15 20:33:58 +0000758 llvm::Optional<uint64_t> item_type_size =
759 pointee_or_element_compiler_type.GetByteSize(
760 exe_ctx.GetBestExecutionContextScope());
Adrian Prantld963a7c2019-01-15 18:07:52 +0000761 if (!item_type_size)
762 return 0;
763 const uint64_t bytes = item_count * *item_type_size;
764 const uint64_t offset = item_idx * *item_type_size;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000765
766 if (item_idx == 0 && item_count == 1) // simply a deref
767 {
768 if (is_pointer_type) {
Zachary Turner97206d52017-05-12 04:51:55 +0000769 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000770 ValueObjectSP pointee_sp = Dereference(error);
771 if (error.Fail() || pointee_sp.get() == NULL)
772 return 0;
773 return pointee_sp->GetData(data, error);
774 } else {
775 ValueObjectSP child_sp = GetChildAtIndex(0, true);
776 if (child_sp.get() == NULL)
777 return 0;
Zachary Turner97206d52017-05-12 04:51:55 +0000778 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000779 return child_sp->GetData(data, error);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000780 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000781 return true;
782 } else /* (items > 1) */
783 {
Zachary Turner97206d52017-05-12 04:51:55 +0000784 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000785 lldb_private::DataBufferHeap *heap_buf_ptr = NULL;
786 lldb::DataBufferSP data_sp(heap_buf_ptr =
787 new lldb_private::DataBufferHeap());
Enrico Granata0c489f52012-03-01 04:24:26 +0000788
Kate Stoneb9c1b512016-09-06 20:57:50 +0000789 AddressType addr_type;
790 lldb::addr_t addr = is_pointer_type ? GetPointerValue(&addr_type)
791 : GetAddressOf(true, &addr_type);
792
793 switch (addr_type) {
794 case eAddressTypeFile: {
795 ModuleSP module_sp(GetModule());
796 if (module_sp) {
797 addr = addr + offset;
798 Address so_addr;
799 module_sp->ResolveFileAddress(addr, so_addr);
800 ExecutionContext exe_ctx(GetExecutionContextRef());
801 Target *target = exe_ctx.GetTargetPtr();
802 if (target) {
803 heap_buf_ptr->SetByteSize(bytes);
804 size_t bytes_read = target->ReadMemory(
805 so_addr, false, heap_buf_ptr->GetBytes(), bytes, error);
806 if (error.Success()) {
807 data.SetData(data_sp);
808 return bytes_read;
809 }
810 }
811 }
812 } break;
813 case eAddressTypeLoad: {
814 ExecutionContext exe_ctx(GetExecutionContextRef());
815 Process *process = exe_ctx.GetProcessPtr();
816 if (process) {
817 heap_buf_ptr->SetByteSize(bytes);
818 size_t bytes_read = process->ReadMemory(
819 addr + offset, heap_buf_ptr->GetBytes(), bytes, error);
820 if (error.Success() || bytes_read > 0) {
821 data.SetData(data_sp);
822 return bytes_read;
823 }
824 }
825 } break;
826 case eAddressTypeHost: {
Adrian Prantld963a7c2019-01-15 18:07:52 +0000827 auto max_bytes =
Kate Stoneb9c1b512016-09-06 20:57:50 +0000828 GetCompilerType().GetByteSize(exe_ctx.GetBestExecutionContextScope());
Adrian Prantld963a7c2019-01-15 18:07:52 +0000829 if (max_bytes && *max_bytes > offset) {
830 size_t bytes_read = std::min<uint64_t>(*max_bytes - offset, bytes);
Kate Stoneb9c1b512016-09-06 20:57:50 +0000831 addr = m_value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS);
832 if (addr == 0 || addr == LLDB_INVALID_ADDRESS)
833 break;
834 heap_buf_ptr->CopyData((uint8_t *)(addr + offset), bytes_read);
835 data.SetData(data_sp);
836 return bytes_read;
837 }
838 } break;
839 case eAddressTypeInvalid:
840 break;
Enrico Granata0c489f52012-03-01 04:24:26 +0000841 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000842 }
843 return 0;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000844}
845
Zachary Turner97206d52017-05-12 04:51:55 +0000846uint64_t ValueObject::GetData(DataExtractor &data, Status &error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000847 UpdateValueIfNeeded(false);
848 ExecutionContext exe_ctx(GetExecutionContextRef());
849 error = m_value.GetValueAsData(&exe_ctx, data, 0, GetModule().get());
850 if (error.Fail()) {
851 if (m_data.GetByteSize()) {
852 data = m_data;
853 error.Clear();
854 return data.GetByteSize();
855 } else {
856 return 0;
857 }
858 }
859 data.SetAddressByteSize(m_data.GetAddressByteSize());
860 data.SetByteOrder(m_data.GetByteOrder());
861 return data.GetByteSize();
Enrico Granata49bfafb2014-11-18 23:36:25 +0000862}
863
Zachary Turner97206d52017-05-12 04:51:55 +0000864bool ValueObject::SetData(DataExtractor &data, Status &error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +0000865 error.Clear();
866 // Make sure our value is up to date first so that our location and location
867 // type is valid.
868 if (!UpdateValueIfNeeded(false)) {
869 error.SetErrorString("unable to read value");
870 return false;
871 }
872
873 uint64_t count = 0;
874 const Encoding encoding = GetCompilerType().GetEncoding(count);
875
876 const size_t byte_size = GetByteSize();
877
878 Value::ValueType value_type = m_value.GetValueType();
879
880 switch (value_type) {
881 case Value::eValueTypeScalar: {
Zachary Turner97206d52017-05-12 04:51:55 +0000882 Status set_error =
Kate Stoneb9c1b512016-09-06 20:57:50 +0000883 m_value.GetScalar().SetValueFromData(data, encoding, byte_size);
884
885 if (!set_error.Success()) {
886 error.SetErrorStringWithFormat("unable to set scalar value: %s",
887 set_error.AsCString());
888 return false;
889 }
890 } break;
891 case Value::eValueTypeLoadAddress: {
892 // If it is a load address, then the scalar value is the storage location
893 // of the data, and we have to shove this value down to that load location.
894 ExecutionContext exe_ctx(GetExecutionContextRef());
895 Process *process = exe_ctx.GetProcessPtr();
896 if (process) {
897 addr_t target_addr = m_value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS);
898 size_t bytes_written = process->WriteMemory(
899 target_addr, data.GetDataStart(), byte_size, error);
900 if (!error.Success())
Enrico Granataf9fa6ee2011-07-12 00:18:11 +0000901 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +0000902 if (bytes_written != byte_size) {
903 error.SetErrorString("unable to write value to memory");
904 return false;
905 }
906 }
907 } break;
908 case Value::eValueTypeHostAddress: {
909 // If it is a host address, then we stuff the scalar as a DataBuffer into
910 // the Value's data.
911 DataBufferSP buffer_sp(new DataBufferHeap(byte_size, 0));
912 m_data.SetData(buffer_sp, 0);
913 data.CopyByteOrderedData(0, byte_size,
914 const_cast<uint8_t *>(m_data.GetDataStart()),
915 byte_size, m_data.GetByteOrder());
916 m_value.GetScalar() = (uintptr_t)m_data.GetDataStart();
917 } break;
918 case Value::eValueTypeFileAddress:
919 case Value::eValueTypeVector:
920 break;
921 }
922
Adrian Prantl05097242018-04-30 16:49:04 +0000923 // If we have reached this point, then we have successfully changed the
924 // value.
Kate Stoneb9c1b512016-09-06 20:57:50 +0000925 SetNeedsUpdate();
926 return true;
927}
928
929static bool CopyStringDataToBufferSP(const StreamString &source,
930 lldb::DataBufferSP &destination) {
931 destination.reset(new DataBufferHeap(source.GetSize() + 1, 0));
Zachary Turnerc1564272016-11-16 21:15:24 +0000932 memcpy(destination->GetBytes(), source.GetString().data(), source.GetSize());
Kate Stoneb9c1b512016-09-06 20:57:50 +0000933 return true;
934}
935
936std::pair<size_t, bool>
Zachary Turner97206d52017-05-12 04:51:55 +0000937ValueObject::ReadPointedString(lldb::DataBufferSP &buffer_sp, Status &error,
Kate Stoneb9c1b512016-09-06 20:57:50 +0000938 uint32_t max_length, bool honor_array,
939 Format item_format) {
940 bool was_capped = false;
941 StreamString s;
942 ExecutionContext exe_ctx(GetExecutionContextRef());
943 Target *target = exe_ctx.GetTargetPtr();
944
945 if (!target) {
946 s << "<no target to read from>";
947 error.SetErrorString("no target to read from");
948 CopyStringDataToBufferSP(s, buffer_sp);
949 return {0, was_capped};
950 }
951
952 if (max_length == 0)
953 max_length = target->GetMaximumSizeOfStringSummary();
954
955 size_t bytes_read = 0;
956 size_t total_bytes_read = 0;
957
958 CompilerType compiler_type = GetCompilerType();
959 CompilerType elem_or_pointee_compiler_type;
960 const Flags type_flags(GetTypeInfo(&elem_or_pointee_compiler_type));
961 if (type_flags.AnySet(eTypeIsArray | eTypeIsPointer) &&
962 elem_or_pointee_compiler_type.IsCharType()) {
Greg Claytonafacd142011-09-02 01:15:17 +0000963 addr_t cstr_address = LLDB_INVALID_ADDRESS;
Enrico Granataf9fa6ee2011-07-12 00:18:11 +0000964 AddressType cstr_address_type = eAddressTypeInvalid;
Enrico Granataf9fa6ee2011-07-12 00:18:11 +0000965
Kate Stoneb9c1b512016-09-06 20:57:50 +0000966 size_t cstr_len = 0;
967 bool capped_data = false;
968 const bool is_array = type_flags.Test(eTypeIsArray);
969 if (is_array) {
970 // We have an array
971 uint64_t array_size = 0;
972 if (compiler_type.IsArrayType(NULL, &array_size, NULL)) {
973 cstr_len = array_size;
974 if (cstr_len > max_length) {
975 capped_data = true;
976 cstr_len = max_length;
Enrico Granata9128ee22011-09-06 19:20:51 +0000977 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000978 }
979 cstr_address = GetAddressOf(true, &cstr_address_type);
980 } else {
981 // We have a pointer
982 cstr_address = GetPointerValue(&cstr_address_type);
Enrico Granata9128ee22011-09-06 19:20:51 +0000983 }
Enrico Granata9128ee22011-09-06 19:20:51 +0000984
Kate Stoneb9c1b512016-09-06 20:57:50 +0000985 if (cstr_address == 0 || cstr_address == LLDB_INVALID_ADDRESS) {
986 if (cstr_address_type == eAddressTypeHost && is_array) {
987 const char *cstr = GetDataExtractor().PeekCStr(0);
988 if (cstr == nullptr) {
989 s << "<invalid address>";
990 error.SetErrorString("invalid address");
991 CopyStringDataToBufferSP(s, buffer_sp);
992 return {0, was_capped};
Sean Callananed185ab2013-04-19 19:47:32 +0000993 }
Kate Stoneb9c1b512016-09-06 20:57:50 +0000994 buffer_sp.reset(new DataBufferHeap(cstr_len, 0));
995 memcpy(buffer_sp->GetBytes(), cstr, cstr_len);
996 return {cstr_len, was_capped};
997 } else {
998 s << "<invalid address>";
999 error.SetErrorString("invalid address");
Enrico Granata2206b482014-10-30 18:27:31 +00001000 CopyStringDataToBufferSP(s, buffer_sp);
Kate Stoneb9c1b512016-09-06 20:57:50 +00001001 return {0, was_capped};
1002 }
Enrico Granata7e0db2a2013-02-28 22:01:33 +00001003 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001004
1005 Address cstr_so_addr(cstr_address);
1006 DataExtractor data;
1007 if (cstr_len > 0 && honor_array) {
1008 // I am using GetPointeeData() here to abstract the fact that some
Adrian Prantl05097242018-04-30 16:49:04 +00001009 // ValueObjects are actually frozen pointers in the host but the pointed-
1010 // to data lives in the debuggee, and GetPointeeData() automatically
1011 // takes care of this
Kate Stoneb9c1b512016-09-06 20:57:50 +00001012 GetPointeeData(data, 0, cstr_len);
1013
1014 if ((bytes_read = data.GetByteSize()) > 0) {
1015 total_bytes_read = bytes_read;
1016 for (size_t offset = 0; offset < bytes_read; offset++)
1017 s.Printf("%c", *data.PeekData(offset, 1));
1018 if (capped_data)
1019 was_capped = true;
1020 }
1021 } else {
1022 cstr_len = max_length;
1023 const size_t k_max_buf_size = 64;
1024
1025 size_t offset = 0;
1026
1027 int cstr_len_displayed = -1;
1028 bool capped_cstr = false;
1029 // I am using GetPointeeData() here to abstract the fact that some
Adrian Prantl05097242018-04-30 16:49:04 +00001030 // ValueObjects are actually frozen pointers in the host but the pointed-
1031 // to data lives in the debuggee, and GetPointeeData() automatically
1032 // takes care of this
Kate Stoneb9c1b512016-09-06 20:57:50 +00001033 while ((bytes_read = GetPointeeData(data, offset, k_max_buf_size)) > 0) {
1034 total_bytes_read += bytes_read;
1035 const char *cstr = data.PeekCStr(0);
1036 size_t len = strnlen(cstr, k_max_buf_size);
1037 if (cstr_len_displayed < 0)
1038 cstr_len_displayed = len;
1039
1040 if (len == 0)
1041 break;
1042 cstr_len_displayed += len;
1043 if (len > bytes_read)
1044 len = bytes_read;
1045 if (len > cstr_len)
1046 len = cstr_len;
1047
1048 for (size_t offset = 0; offset < bytes_read; offset++)
1049 s.Printf("%c", *data.PeekData(offset, 1));
1050
1051 if (len < k_max_buf_size)
1052 break;
1053
1054 if (len >= cstr_len) {
1055 capped_cstr = true;
1056 break;
1057 }
1058
1059 cstr_len -= len;
1060 offset += len;
1061 }
1062
1063 if (cstr_len_displayed >= 0) {
1064 if (capped_cstr)
1065 was_capped = true;
1066 }
1067 }
1068 } else {
1069 error.SetErrorString("not a string object");
1070 s << "<not a string object>";
1071 }
1072 CopyStringDataToBufferSP(s, buffer_sp);
1073 return {total_bytes_read, was_capped};
1074}
1075
1076std::pair<TypeValidatorResult, std::string> ValueObject::GetValidationStatus() {
1077 if (!UpdateValueIfNeeded(true))
1078 return {TypeValidatorResult::Success,
1079 ""}; // not the validator's job to discuss update problems
1080
1081 if (m_validation_result.hasValue())
1082 return m_validation_result.getValue();
1083
1084 if (!m_type_validator_sp)
1085 return {TypeValidatorResult::Success, ""}; // no validator no failure
1086
1087 auto outcome = m_type_validator_sp->FormatObject(this);
1088
1089 return (m_validation_result = {outcome.m_result, outcome.m_message})
1090 .getValue();
1091}
1092
1093const char *ValueObject::GetObjectDescription() {
1094
1095 if (!UpdateValueIfNeeded(true))
1096 return NULL;
1097
1098 if (!m_object_desc_str.empty())
1099 return m_object_desc_str.c_str();
1100
1101 ExecutionContext exe_ctx(GetExecutionContextRef());
1102 Process *process = exe_ctx.GetProcessPtr();
1103 if (process == NULL)
1104 return NULL;
1105
1106 StreamString s;
1107
1108 LanguageType language = GetObjectRuntimeLanguage();
1109 LanguageRuntime *runtime = process->GetLanguageRuntime(language);
1110
1111 if (runtime == NULL) {
1112 // Aw, hell, if the things a pointer, or even just an integer, let's try
1113 // ObjC anyway...
Bruce Mitchener3ad353f2015-09-24 03:54:50 +00001114 CompilerType compiler_type = GetCompilerType();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001115 if (compiler_type) {
1116 bool is_signed;
1117 if (compiler_type.IsIntegerType(is_signed) ||
1118 compiler_type.IsPointerType()) {
1119 runtime = process->GetLanguageRuntime(eLanguageTypeObjC);
1120 }
Enrico Granataf9fa6ee2011-07-12 00:18:11 +00001121 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001122 }
1123
1124 if (runtime && runtime->GetObjectDescription(s, *this)) {
Zachary Turnerc1564272016-11-16 21:15:24 +00001125 m_object_desc_str.append(s.GetString());
Kate Stoneb9c1b512016-09-06 20:57:50 +00001126 }
1127
1128 if (m_object_desc_str.empty())
1129 return NULL;
1130 else
1131 return m_object_desc_str.c_str();
Enrico Granataf9fa6ee2011-07-12 00:18:11 +00001132}
1133
Kate Stoneb9c1b512016-09-06 20:57:50 +00001134bool ValueObject::GetValueAsCString(const lldb_private::TypeFormatImpl &format,
1135 std::string &destination) {
1136 if (UpdateValueIfNeeded(false))
1137 return format.FormatObject(this, destination);
1138 else
1139 return false;
Enrico Granata744794a2014-09-05 21:46:22 +00001140}
1141
Kate Stoneb9c1b512016-09-06 20:57:50 +00001142bool ValueObject::GetValueAsCString(lldb::Format format,
1143 std::string &destination) {
1144 return GetValueAsCString(TypeFormatImpl_Format(format), destination);
1145}
Enrico Granata0a3958e2011-07-02 00:25:22 +00001146
Kate Stoneb9c1b512016-09-06 20:57:50 +00001147const char *ValueObject::GetValueAsCString() {
1148 if (UpdateValueIfNeeded(true)) {
1149 lldb::TypeFormatImplSP format_sp;
1150 lldb::Format my_format = GetFormat();
1151 if (my_format == lldb::eFormatDefault) {
1152 if (m_type_format_sp)
1153 format_sp = m_type_format_sp;
1154 else {
1155 if (m_is_bitfield_for_scalar)
1156 my_format = eFormatUnsigned;
1157 else {
1158 if (m_value.GetContextType() == Value::eContextTypeRegisterInfo) {
1159 const RegisterInfo *reg_info = m_value.GetRegisterInfo();
1160 if (reg_info)
1161 my_format = reg_info->format;
1162 } else {
1163 my_format = GetValue().GetCompilerType().GetFormat();
1164 }
Jim Inghama2cf2632010-12-23 02:29:54 +00001165 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001166 }
Jim Inghama2cf2632010-12-23 02:29:54 +00001167 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001168 if (my_format != m_last_format || m_value_str.empty()) {
1169 m_last_format = my_format;
1170 if (!format_sp)
1171 format_sp.reset(new TypeFormatImpl_Format(my_format));
1172 if (GetValueAsCString(*format_sp.get(), m_value_str)) {
1173 if (!m_value_did_change && m_old_value_valid) {
Adrian Prantl05097242018-04-30 16:49:04 +00001174 // The value was gotten successfully, so we consider the value as
1175 // changed if the value string differs
Kate Stoneb9c1b512016-09-06 20:57:50 +00001176 SetValueDidChange(m_old_value_str != m_value_str);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001177 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001178 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001179 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001180 }
1181 if (m_value_str.empty())
1182 return NULL;
1183 return m_value_str.c_str();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001184}
1185
Adrian Prantl05097242018-04-30 16:49:04 +00001186// if > 8bytes, 0 is returned. this method should mostly be used to read
1187// address values out of pointers
Kate Stoneb9c1b512016-09-06 20:57:50 +00001188uint64_t ValueObject::GetValueAsUnsigned(uint64_t fail_value, bool *success) {
1189 // If our byte size is zero this is an aggregate type that has children
1190 if (CanProvideValue()) {
1191 Scalar scalar;
1192 if (ResolveValue(scalar)) {
1193 if (success)
1194 *success = true;
1195 return scalar.ULongLong(fail_value);
Enrico Granatac3e320a2011-08-02 17:27:39 +00001196 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001197 // fallthrough, otherwise...
1198 }
Johnny Chen3f476c42012-06-05 19:37:43 +00001199
Kate Stoneb9c1b512016-09-06 20:57:50 +00001200 if (success)
1201 *success = false;
1202 return fail_value;
Enrico Granatac3e320a2011-08-02 17:27:39 +00001203}
1204
Kate Stoneb9c1b512016-09-06 20:57:50 +00001205int64_t ValueObject::GetValueAsSigned(int64_t fail_value, bool *success) {
1206 // If our byte size is zero this is an aggregate type that has children
1207 if (CanProvideValue()) {
1208 Scalar scalar;
1209 if (ResolveValue(scalar)) {
1210 if (success)
1211 *success = true;
1212 return scalar.SLongLong(fail_value);
Enrico Granatad7373f62013-10-31 18:57:50 +00001213 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001214 // fallthrough, otherwise...
1215 }
1216
1217 if (success)
1218 *success = false;
1219 return fail_value;
Enrico Granatad7373f62013-10-31 18:57:50 +00001220}
1221
Kate Stoneb9c1b512016-09-06 20:57:50 +00001222// if any more "special cases" are added to
Adrian Prantl05097242018-04-30 16:49:04 +00001223// ValueObject::DumpPrintableRepresentation() please keep this call up to date
1224// by returning true for your new special cases. We will eventually move to
1225// checking this call result before trying to display special cases
Kate Stoneb9c1b512016-09-06 20:57:50 +00001226bool ValueObject::HasSpecialPrintableRepresentation(
1227 ValueObjectRepresentationStyle val_obj_display, Format custom_format) {
1228 Flags flags(GetTypeInfo());
1229 if (flags.AnySet(eTypeIsArray | eTypeIsPointer) &&
1230 val_obj_display == ValueObject::eValueObjectRepresentationStyleValue) {
1231 if (IsCStringContainer(true) &&
1232 (custom_format == eFormatCString || custom_format == eFormatCharArray ||
1233 custom_format == eFormatChar || custom_format == eFormatVectorOfChar))
1234 return true;
Enrico Granatad64d0bc2011-08-19 21:13:46 +00001235
Kate Stoneb9c1b512016-09-06 20:57:50 +00001236 if (flags.Test(eTypeIsArray)) {
1237 if ((custom_format == eFormatBytes) ||
1238 (custom_format == eFormatBytesWithASCII))
1239 return true;
1240
1241 if ((custom_format == eFormatVectorOfChar) ||
1242 (custom_format == eFormatVectorOfFloat32) ||
1243 (custom_format == eFormatVectorOfFloat64) ||
1244 (custom_format == eFormatVectorOfSInt16) ||
1245 (custom_format == eFormatVectorOfSInt32) ||
1246 (custom_format == eFormatVectorOfSInt64) ||
1247 (custom_format == eFormatVectorOfSInt8) ||
1248 (custom_format == eFormatVectorOfUInt128) ||
1249 (custom_format == eFormatVectorOfUInt16) ||
1250 (custom_format == eFormatVectorOfUInt32) ||
1251 (custom_format == eFormatVectorOfUInt64) ||
1252 (custom_format == eFormatVectorOfUInt8))
1253 return true;
Enrico Granatad64d0bc2011-08-19 21:13:46 +00001254 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001255 }
1256 return false;
Enrico Granatad64d0bc2011-08-19 21:13:46 +00001257}
1258
Kate Stoneb9c1b512016-09-06 20:57:50 +00001259bool ValueObject::DumpPrintableRepresentation(
1260 Stream &s, ValueObjectRepresentationStyle val_obj_display,
1261 Format custom_format, PrintableRepresentationSpecialCases special,
1262 bool do_dump_error) {
Enrico Granataf4efecd2011-07-12 22:56:10 +00001263
Kate Stoneb9c1b512016-09-06 20:57:50 +00001264 Flags flags(GetTypeInfo());
Enrico Granata86cc9822012-03-19 22:58:49 +00001265
Enrico Granata65d86e42016-11-07 23:32:20 +00001266 bool allow_special =
1267 (special == ValueObject::PrintableRepresentationSpecialCases::eAllow);
1268 const bool only_special = false;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001269
1270 if (allow_special) {
1271 if (flags.AnySet(eTypeIsArray | eTypeIsPointer) &&
1272 val_obj_display == ValueObject::eValueObjectRepresentationStyleValue) {
1273 // when being asked to get a printable display an array or pointer type
Adrian Prantl05097242018-04-30 16:49:04 +00001274 // directly, try to "do the right thing"
Kate Stoneb9c1b512016-09-06 20:57:50 +00001275
1276 if (IsCStringContainer(true) &&
1277 (custom_format == eFormatCString ||
1278 custom_format == eFormatCharArray || custom_format == eFormatChar ||
1279 custom_format ==
1280 eFormatVectorOfChar)) // print char[] & char* directly
1281 {
Zachary Turner97206d52017-05-12 04:51:55 +00001282 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001283 lldb::DataBufferSP buffer_sp;
1284 std::pair<size_t, bool> read_string = ReadPointedString(
1285 buffer_sp, error, 0, (custom_format == eFormatVectorOfChar) ||
1286 (custom_format == eFormatCharArray));
1287 lldb_private::formatters::StringPrinter::
1288 ReadBufferAndDumpToStreamOptions options(*this);
1289 options.SetData(DataExtractor(
1290 buffer_sp, lldb::eByteOrderInvalid,
1291 8)); // none of this matters for a string - pass some defaults
1292 options.SetStream(&s);
1293 options.SetPrefixToken(0);
1294 options.SetQuote('"');
1295 options.SetSourceSize(buffer_sp->GetByteSize());
1296 options.SetIsTruncated(read_string.second);
1297 formatters::StringPrinter::ReadBufferAndDumpToStream<
1298 lldb_private::formatters::StringPrinter::StringElementType::ASCII>(
1299 options);
1300 return !error.Fail();
1301 }
1302
1303 if (custom_format == eFormatEnum)
Enrico Granata85933ed2011-08-18 16:38:26 +00001304 return false;
Enrico Granata86cc9822012-03-19 22:58:49 +00001305
Adrian Prantl05097242018-04-30 16:49:04 +00001306 // this only works for arrays, because I have no way to know when the
1307 // pointed memory ends, and no special \0 end of data marker
Kate Stoneb9c1b512016-09-06 20:57:50 +00001308 if (flags.Test(eTypeIsArray)) {
1309 if ((custom_format == eFormatBytes) ||
1310 (custom_format == eFormatBytesWithASCII)) {
1311 const size_t count = GetNumChildren();
1312
1313 s << '[';
1314 for (size_t low = 0; low < count; low++) {
1315
1316 if (low)
1317 s << ',';
1318
1319 ValueObjectSP child = GetChildAtIndex(low, true);
1320 if (!child.get()) {
1321 s << "<invalid child>";
1322 continue;
Enrico Granata86cc9822012-03-19 22:58:49 +00001323 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001324 child->DumpPrintableRepresentation(
1325 s, ValueObject::eValueObjectRepresentationStyleValue,
1326 custom_format);
1327 }
1328
1329 s << ']';
1330
1331 return true;
Enrico Granata86cc9822012-03-19 22:58:49 +00001332 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001333
1334 if ((custom_format == eFormatVectorOfChar) ||
1335 (custom_format == eFormatVectorOfFloat32) ||
1336 (custom_format == eFormatVectorOfFloat64) ||
1337 (custom_format == eFormatVectorOfSInt16) ||
1338 (custom_format == eFormatVectorOfSInt32) ||
1339 (custom_format == eFormatVectorOfSInt64) ||
1340 (custom_format == eFormatVectorOfSInt8) ||
1341 (custom_format == eFormatVectorOfUInt128) ||
1342 (custom_format == eFormatVectorOfUInt16) ||
1343 (custom_format == eFormatVectorOfUInt32) ||
1344 (custom_format == eFormatVectorOfUInt64) ||
1345 (custom_format == eFormatVectorOfUInt8)) // arrays of bytes, bytes
1346 // with ASCII or any vector
1347 // format should be printed
1348 // directly
Enrico Granata86cc9822012-03-19 22:58:49 +00001349 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00001350 const size_t count = GetNumChildren();
1351
1352 Format format = FormatManager::GetSingleItemFormat(custom_format);
1353
1354 s << '[';
1355 for (size_t low = 0; low < count; low++) {
1356
1357 if (low)
1358 s << ',';
1359
1360 ValueObjectSP child = GetChildAtIndex(low, true);
1361 if (!child.get()) {
1362 s << "<invalid child>";
1363 continue;
Enrico Granata0dba9b32014-01-08 01:36:59 +00001364 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001365 child->DumpPrintableRepresentation(
1366 s, ValueObject::eValueObjectRepresentationStyleValue, format);
1367 }
1368
1369 s << ']';
1370
1371 return true;
Enrico Granata86cc9822012-03-19 22:58:49 +00001372 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001373 }
1374
1375 if ((custom_format == eFormatBoolean) ||
1376 (custom_format == eFormatBinary) || (custom_format == eFormatChar) ||
1377 (custom_format == eFormatCharPrintable) ||
1378 (custom_format == eFormatComplexFloat) ||
1379 (custom_format == eFormatDecimal) || (custom_format == eFormatHex) ||
1380 (custom_format == eFormatHexUppercase) ||
1381 (custom_format == eFormatFloat) || (custom_format == eFormatOctal) ||
1382 (custom_format == eFormatOSType) ||
1383 (custom_format == eFormatUnicode16) ||
1384 (custom_format == eFormatUnicode32) ||
1385 (custom_format == eFormatUnsigned) ||
1386 (custom_format == eFormatPointer) ||
1387 (custom_format == eFormatComplexInteger) ||
1388 (custom_format == eFormatComplex) ||
1389 (custom_format == eFormatDefault)) // use the [] operator
1390 return false;
Enrico Granata86cc9822012-03-19 22:58:49 +00001391 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001392 }
1393
1394 if (only_special)
1395 return false;
1396
1397 bool var_success = false;
1398
1399 {
Zachary Turnerc1564272016-11-16 21:15:24 +00001400 llvm::StringRef str;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001401
1402 // this is a local stream that we are using to ensure that the data pointed
Adrian Prantl05097242018-04-30 16:49:04 +00001403 // to by cstr survives long enough for us to copy it to its destination -
1404 // it is necessary to have this temporary storage area for cases where our
Zachary Turnerc1564272016-11-16 21:15:24 +00001405 // desired output is not backed by some other longer-term storage
Kate Stoneb9c1b512016-09-06 20:57:50 +00001406 StreamString strm;
1407
1408 if (custom_format != eFormatInvalid)
1409 SetFormat(custom_format);
1410
1411 switch (val_obj_display) {
1412 case eValueObjectRepresentationStyleValue:
Zachary Turnerc1564272016-11-16 21:15:24 +00001413 str = GetValueAsCString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001414 break;
1415
1416 case eValueObjectRepresentationStyleSummary:
Zachary Turnerc1564272016-11-16 21:15:24 +00001417 str = GetSummaryAsCString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001418 break;
1419
1420 case eValueObjectRepresentationStyleLanguageSpecific:
Zachary Turnerc1564272016-11-16 21:15:24 +00001421 str = GetObjectDescription();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001422 break;
1423
1424 case eValueObjectRepresentationStyleLocation:
Zachary Turnerc1564272016-11-16 21:15:24 +00001425 str = GetLocationAsCString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001426 break;
1427
1428 case eValueObjectRepresentationStyleChildrenCount:
1429 strm.Printf("%" PRIu64 "", (uint64_t)GetNumChildren());
Zachary Turnerc1564272016-11-16 21:15:24 +00001430 str = strm.GetString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001431 break;
1432
1433 case eValueObjectRepresentationStyleType:
Zachary Turnerc1564272016-11-16 21:15:24 +00001434 str = GetTypeName().GetStringRef();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001435 break;
1436
1437 case eValueObjectRepresentationStyleName:
Zachary Turnerc1564272016-11-16 21:15:24 +00001438 str = GetName().GetStringRef();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001439 break;
1440
1441 case eValueObjectRepresentationStyleExpressionPath:
1442 GetExpressionPath(strm, false);
Zachary Turnerc1564272016-11-16 21:15:24 +00001443 str = strm.GetString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001444 break;
1445 }
1446
Zachary Turnerc1564272016-11-16 21:15:24 +00001447 if (str.empty()) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00001448 if (val_obj_display == eValueObjectRepresentationStyleValue)
Zachary Turnerc1564272016-11-16 21:15:24 +00001449 str = GetSummaryAsCString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001450 else if (val_obj_display == eValueObjectRepresentationStyleSummary) {
1451 if (!CanProvideValue()) {
1452 strm.Printf("%s @ %s", GetTypeName().AsCString(),
1453 GetLocationAsCString());
Zachary Turnerc1564272016-11-16 21:15:24 +00001454 str = strm.GetString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001455 } else
Zachary Turnerc1564272016-11-16 21:15:24 +00001456 str = GetValueAsCString();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001457 }
1458 }
1459
Zachary Turnerc1564272016-11-16 21:15:24 +00001460 if (!str.empty())
1461 s << str;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001462 else {
1463 if (m_error.Fail()) {
1464 if (do_dump_error)
1465 s.Printf("<%s>", m_error.AsCString());
1466 else
1467 return false;
1468 } else if (val_obj_display == eValueObjectRepresentationStyleSummary)
1469 s.PutCString("<no summary available>");
1470 else if (val_obj_display == eValueObjectRepresentationStyleValue)
1471 s.PutCString("<no value available>");
1472 else if (val_obj_display ==
1473 eValueObjectRepresentationStyleLanguageSpecific)
1474 s.PutCString("<not a valid Objective-C object>"); // edit this if we
1475 // have other runtimes
1476 // that support a
1477 // description
1478 else
1479 s.PutCString("<no printable representation>");
1480 }
1481
Adrian Prantl05097242018-04-30 16:49:04 +00001482 // we should only return false here if we could not do *anything* even if
1483 // we have an error message as output, that's a success from our callers'
1484 // perspective, so return true
Kate Stoneb9c1b512016-09-06 20:57:50 +00001485 var_success = true;
1486
1487 if (custom_format != eFormatInvalid)
1488 SetFormat(eFormatDefault);
1489 }
1490
1491 return var_success;
Enrico Granata9fc19442011-07-06 02:13:41 +00001492}
1493
Kate Stoneb9c1b512016-09-06 20:57:50 +00001494addr_t ValueObject::GetAddressOf(bool scalar_is_load_address,
1495 AddressType *address_type) {
1496 // Can't take address of a bitfield
1497 if (IsBitfield())
Greg Clayton73b472d2010-10-27 03:32:59 +00001498 return LLDB_INVALID_ADDRESS;
Greg Clayton73b472d2010-10-27 03:32:59 +00001499
Kate Stoneb9c1b512016-09-06 20:57:50 +00001500 if (!UpdateValueIfNeeded(false))
1501 return LLDB_INVALID_ADDRESS;
Greg Clayton737b9322010-09-13 03:32:57 +00001502
Kate Stoneb9c1b512016-09-06 20:57:50 +00001503 switch (m_value.GetValueType()) {
1504 case Value::eValueTypeScalar:
1505 case Value::eValueTypeVector:
1506 if (scalar_is_load_address) {
1507 if (address_type)
1508 *address_type = eAddressTypeLoad;
1509 return m_value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS);
Greg Clayton737b9322010-09-13 03:32:57 +00001510 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001511 break;
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00001512
Kate Stoneb9c1b512016-09-06 20:57:50 +00001513 case Value::eValueTypeLoadAddress:
1514 case Value::eValueTypeFileAddress: {
Enrico Granata9128ee22011-09-06 19:20:51 +00001515 if (address_type)
Kate Stoneb9c1b512016-09-06 20:57:50 +00001516 *address_type = m_value.GetValueAddressType();
1517 return m_value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS);
1518 } break;
1519 case Value::eValueTypeHostAddress: {
1520 if (address_type)
1521 *address_type = m_value.GetValueAddressType();
1522 return LLDB_INVALID_ADDRESS;
1523 } break;
1524 }
1525 if (address_type)
1526 *address_type = eAddressTypeInvalid;
1527 return LLDB_INVALID_ADDRESS;
1528}
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00001529
Kate Stoneb9c1b512016-09-06 20:57:50 +00001530addr_t ValueObject::GetPointerValue(AddressType *address_type) {
1531 addr_t address = LLDB_INVALID_ADDRESS;
1532 if (address_type)
1533 *address_type = eAddressTypeInvalid;
1534
1535 if (!UpdateValueIfNeeded(false))
Greg Clayton737b9322010-09-13 03:32:57 +00001536 return address;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001537
1538 switch (m_value.GetValueType()) {
1539 case Value::eValueTypeScalar:
1540 case Value::eValueTypeVector:
1541 address = m_value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS);
1542 break;
1543
1544 case Value::eValueTypeHostAddress:
1545 case Value::eValueTypeLoadAddress:
1546 case Value::eValueTypeFileAddress: {
1547 lldb::offset_t data_offset = 0;
1548 address = m_data.GetPointer(&data_offset);
1549 } break;
1550 }
1551
1552 if (address_type)
1553 *address_type = GetAddressTypeOfChildren();
1554
1555 return address;
Greg Clayton737b9322010-09-13 03:32:57 +00001556}
1557
Zachary Turner97206d52017-05-12 04:51:55 +00001558bool ValueObject::SetValueFromCString(const char *value_str, Status &error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00001559 error.Clear();
1560 // Make sure our value is up to date first so that our location and location
1561 // type is valid.
1562 if (!UpdateValueIfNeeded(false)) {
1563 error.SetErrorString("unable to read value");
Greg Clayton81e871e2012-02-04 02:27:34 +00001564 return false;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001565 }
1566
1567 uint64_t count = 0;
1568 const Encoding encoding = GetCompilerType().GetEncoding(count);
1569
1570 const size_t byte_size = GetByteSize();
1571
1572 Value::ValueType value_type = m_value.GetValueType();
1573
1574 if (value_type == Value::eValueTypeScalar) {
1575 // If the value is already a scalar, then let the scalar change itself:
1576 m_value.GetScalar().SetValueFromCString(value_str, encoding, byte_size);
1577 } else if (byte_size <= 16) {
1578 // If the value fits in a scalar, then make a new scalar and again let the
1579 // scalar code do the conversion, then figure out where to put the new
1580 // value.
1581 Scalar new_scalar;
1582 error = new_scalar.SetValueFromCString(value_str, encoding, byte_size);
1583 if (error.Success()) {
1584 switch (value_type) {
1585 case Value::eValueTypeLoadAddress: {
1586 // If it is a load address, then the scalar value is the storage
Adrian Prantl05097242018-04-30 16:49:04 +00001587 // location of the data, and we have to shove this value down to that
1588 // load location.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001589 ExecutionContext exe_ctx(GetExecutionContextRef());
1590 Process *process = exe_ctx.GetProcessPtr();
1591 if (process) {
1592 addr_t target_addr =
1593 m_value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS);
1594 size_t bytes_written = process->WriteScalarToMemory(
1595 target_addr, new_scalar, byte_size, error);
1596 if (!error.Success())
1597 return false;
1598 if (bytes_written != byte_size) {
1599 error.SetErrorString("unable to write value to memory");
1600 return false;
1601 }
1602 }
1603 } break;
1604 case Value::eValueTypeHostAddress: {
1605 // If it is a host address, then we stuff the scalar as a DataBuffer
1606 // into the Value's data.
1607 DataExtractor new_data;
1608 new_data.SetByteOrder(m_data.GetByteOrder());
1609
1610 DataBufferSP buffer_sp(new DataBufferHeap(byte_size, 0));
1611 m_data.SetData(buffer_sp, 0);
1612 bool success = new_scalar.GetData(new_data);
1613 if (success) {
1614 new_data.CopyByteOrderedData(
1615 0, byte_size, const_cast<uint8_t *>(m_data.GetDataStart()),
1616 byte_size, m_data.GetByteOrder());
1617 }
1618 m_value.GetScalar() = (uintptr_t)m_data.GetDataStart();
1619
1620 } break;
1621 case Value::eValueTypeFileAddress:
1622 case Value::eValueTypeScalar:
1623 case Value::eValueTypeVector:
1624 break;
1625 }
1626 } else {
1627 return false;
1628 }
1629 } else {
1630 // We don't support setting things bigger than a scalar at present.
1631 error.SetErrorString("unable to write aggregate data type");
1632 return false;
1633 }
1634
Adrian Prantl05097242018-04-30 16:49:04 +00001635 // If we have reached this point, then we have successfully changed the
1636 // value.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001637 SetNeedsUpdate();
1638 return true;
Greg Clayton81e871e2012-02-04 02:27:34 +00001639}
1640
Kate Stoneb9c1b512016-09-06 20:57:50 +00001641bool ValueObject::GetDeclaration(Declaration &decl) {
1642 decl.Clear();
1643 return false;
Greg Clayton84db9102012-03-26 23:03:23 +00001644}
1645
Kate Stoneb9c1b512016-09-06 20:57:50 +00001646ConstString ValueObject::GetTypeName() {
1647 return GetCompilerType().GetConstTypeName();
Enrico Granatae8daa2f2014-05-17 19:14:17 +00001648}
1649
Kate Stoneb9c1b512016-09-06 20:57:50 +00001650ConstString ValueObject::GetDisplayTypeName() { return GetTypeName(); }
1651
1652ConstString ValueObject::GetQualifiedTypeName() {
1653 return GetCompilerType().GetConstQualifiedTypeName();
Greg Clayton84db9102012-03-26 23:03:23 +00001654}
1655
Kate Stoneb9c1b512016-09-06 20:57:50 +00001656LanguageType ValueObject::GetObjectRuntimeLanguage() {
1657 return GetCompilerType().GetMinimumLanguage();
Jim Ingham5a369122010-09-28 01:25:32 +00001658}
1659
Kate Stoneb9c1b512016-09-06 20:57:50 +00001660void ValueObject::AddSyntheticChild(const ConstString &key,
1661 ValueObject *valobj) {
1662 m_synthetic_children[key] = valobj;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001663}
1664
Kate Stoneb9c1b512016-09-06 20:57:50 +00001665ValueObjectSP ValueObject::GetSyntheticChild(const ConstString &key) const {
1666 ValueObjectSP synthetic_child_sp;
1667 std::map<ConstString, ValueObject *>::const_iterator pos =
1668 m_synthetic_children.find(key);
1669 if (pos != m_synthetic_children.end())
1670 synthetic_child_sp = pos->second->GetSP();
1671 return synthetic_child_sp;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001672}
1673
Greg Clayton2452ab72013-02-08 22:02:02 +00001674uint32_t
Kate Stoneb9c1b512016-09-06 20:57:50 +00001675ValueObject::GetTypeInfo(CompilerType *pointee_or_element_compiler_type) {
1676 return GetCompilerType().GetTypeInfo(pointee_or_element_compiler_type);
Greg Clayton2452ab72013-02-08 22:02:02 +00001677}
1678
Kate Stoneb9c1b512016-09-06 20:57:50 +00001679bool ValueObject::IsPointerType() { return GetCompilerType().IsPointerType(); }
1680
1681bool ValueObject::IsArrayType() {
1682 return GetCompilerType().IsArrayType(NULL, NULL, NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001683}
1684
Kate Stoneb9c1b512016-09-06 20:57:50 +00001685bool ValueObject::IsScalarType() { return GetCompilerType().IsScalarType(); }
1686
1687bool ValueObject::IsIntegerType(bool &is_signed) {
1688 return GetCompilerType().IsIntegerType(is_signed);
Greg Claytondaf515f2011-07-09 20:12:33 +00001689}
1690
Kate Stoneb9c1b512016-09-06 20:57:50 +00001691bool ValueObject::IsPointerOrReferenceType() {
1692 return GetCompilerType().IsPointerOrReferenceType();
Enrico Granata9fc19442011-07-06 02:13:41 +00001693}
1694
Kate Stoneb9c1b512016-09-06 20:57:50 +00001695bool ValueObject::IsPossibleDynamicType() {
1696 ExecutionContext exe_ctx(GetExecutionContextRef());
1697 Process *process = exe_ctx.GetProcessPtr();
1698 if (process)
1699 return process->IsPossibleDynamicValue(*this);
1700 else
1701 return GetCompilerType().IsPossibleDynamicType(NULL, true, true);
Jim Inghamb7603bb2011-03-18 00:05:18 +00001702}
Greg Clayton73b472d2010-10-27 03:32:59 +00001703
Kate Stoneb9c1b512016-09-06 20:57:50 +00001704bool ValueObject::IsRuntimeSupportValue() {
1705 Process *process(GetProcessSP().get());
1706 if (process) {
1707 LanguageRuntime *runtime =
1708 process->GetLanguageRuntime(GetObjectRuntimeLanguage());
1709 if (!runtime)
1710 runtime = process->GetObjCLanguageRuntime();
1711 if (runtime)
1712 return runtime->IsRuntimeSupportValue(*this);
1713 }
1714 return false;
Greg Clayton007d5be2011-05-30 00:49:24 +00001715}
1716
Kate Stoneb9c1b512016-09-06 20:57:50 +00001717bool ValueObject::IsNilReference() {
1718 if (Language *language = Language::FindPlugin(GetObjectRuntimeLanguage())) {
1719 return language->IsNilReference(*this);
1720 }
1721 return false;
Greg Claytondea8cb42011-06-29 22:09:02 +00001722}
1723
Kate Stoneb9c1b512016-09-06 20:57:50 +00001724bool ValueObject::IsUninitializedReference() {
1725 if (Language *language = Language::FindPlugin(GetObjectRuntimeLanguage())) {
1726 return language->IsUninitializedReference(*this);
1727 }
1728 return false;
Enrico Granata9e7b3882012-12-13 23:50:33 +00001729}
1730
Adrian Prantl05097242018-04-30 16:49:04 +00001731// This allows you to create an array member using and index that doesn't not
1732// fall in the normal bounds of the array. Many times structure can be defined
1733// as: struct Collection {
Greg Claytondaf515f2011-07-09 20:12:33 +00001734// uint32_t item_count;
1735// Item item_array[0];
1736// };
Adrian Prantl05097242018-04-30 16:49:04 +00001737// The size of the "item_array" is 1, but many times in practice there are more
1738// items in "item_array".
Greg Claytondaf515f2011-07-09 20:12:33 +00001739
Kate Stoneb9c1b512016-09-06 20:57:50 +00001740ValueObjectSP ValueObject::GetSyntheticArrayMember(size_t index,
1741 bool can_create) {
1742 ValueObjectSP synthetic_child_sp;
1743 if (IsPointerType() || IsArrayType()) {
1744 char index_str[64];
1745 snprintf(index_str, sizeof(index_str), "[%" PRIu64 "]", (uint64_t)index);
1746 ConstString index_const_str(index_str);
Adrian Prantl05097242018-04-30 16:49:04 +00001747 // Check if we have already created a synthetic array member in this valid
1748 // object. If we have we will re-use it.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001749 synthetic_child_sp = GetSyntheticChild(index_const_str);
1750 if (!synthetic_child_sp) {
1751 ValueObject *synthetic_child;
Adrian Prantl05097242018-04-30 16:49:04 +00001752 // We haven't made a synthetic array member for INDEX yet, so lets make
1753 // one and cache it for any future reference.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001754 synthetic_child = CreateChildAtIndex(0, true, index);
1755
1756 // Cache the value if we got one back...
1757 if (synthetic_child) {
1758 AddSyntheticChild(index_const_str, synthetic_child);
Enrico Granata6f3533f2011-07-29 19:53:35 +00001759 synthetic_child_sp = synthetic_child->GetSP();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001760 synthetic_child_sp->SetName(ConstString(index_str));
1761 synthetic_child_sp->m_is_array_item_for_pointer = true;
1762 }
Enrico Granata6f3533f2011-07-29 19:53:35 +00001763 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001764 }
1765 return synthetic_child_sp;
Enrico Granata6f3533f2011-07-29 19:53:35 +00001766}
1767
Kate Stoneb9c1b512016-09-06 20:57:50 +00001768ValueObjectSP ValueObject::GetSyntheticBitFieldChild(uint32_t from, uint32_t to,
1769 bool can_create) {
1770 ValueObjectSP synthetic_child_sp;
1771 if (IsScalarType()) {
1772 char index_str[64];
1773 snprintf(index_str, sizeof(index_str), "[%i-%i]", from, to);
1774 ConstString index_const_str(index_str);
Adrian Prantl05097242018-04-30 16:49:04 +00001775 // Check if we have already created a synthetic array member in this valid
1776 // object. If we have we will re-use it.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001777 synthetic_child_sp = GetSyntheticChild(index_const_str);
1778 if (!synthetic_child_sp) {
1779 uint32_t bit_field_size = to - from + 1;
1780 uint32_t bit_field_offset = from;
1781 if (GetDataExtractor().GetByteOrder() == eByteOrderBig)
1782 bit_field_offset =
1783 GetByteSize() * 8 - bit_field_size - bit_field_offset;
Adrian Prantl05097242018-04-30 16:49:04 +00001784 // We haven't made a synthetic array member for INDEX yet, so lets make
1785 // one and cache it for any future reference.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001786 ValueObjectChild *synthetic_child = new ValueObjectChild(
1787 *this, GetCompilerType(), index_const_str, GetByteSize(), 0,
1788 bit_field_size, bit_field_offset, false, false, eAddressTypeInvalid,
1789 0);
1790
1791 // Cache the value if we got one back...
1792 if (synthetic_child) {
1793 AddSyntheticChild(index_const_str, synthetic_child);
Enrico Granata32556cd2014-08-26 20:54:04 +00001794 synthetic_child_sp = synthetic_child->GetSP();
Kate Stoneb9c1b512016-09-06 20:57:50 +00001795 synthetic_child_sp->SetName(ConstString(index_str));
1796 synthetic_child_sp->m_is_bitfield_for_scalar = true;
1797 }
Enrico Granata32556cd2014-08-26 20:54:04 +00001798 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001799 }
1800 return synthetic_child_sp;
Enrico Granata32556cd2014-08-26 20:54:04 +00001801}
1802
Kate Stoneb9c1b512016-09-06 20:57:50 +00001803ValueObjectSP ValueObject::GetSyntheticChildAtOffset(
1804 uint32_t offset, const CompilerType &type, bool can_create,
1805 ConstString name_const_str) {
1806
1807 ValueObjectSP synthetic_child_sp;
1808
1809 if (name_const_str.IsEmpty()) {
1810 char name_str[64];
1811 snprintf(name_str, sizeof(name_str), "@%i", offset);
1812 name_const_str.SetCString(name_str);
1813 }
1814
Adrian Prantl05097242018-04-30 16:49:04 +00001815 // Check if we have already created a synthetic array member in this valid
1816 // object. If we have we will re-use it.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001817 synthetic_child_sp = GetSyntheticChild(name_const_str);
1818
1819 if (synthetic_child_sp.get())
1820 return synthetic_child_sp;
1821
1822 if (!can_create)
Adrian Prantld963a7c2019-01-15 18:07:52 +00001823 return {};
Kate Stoneb9c1b512016-09-06 20:57:50 +00001824
1825 ExecutionContext exe_ctx(GetExecutionContextRef());
Adrian Prantld6a9bbf2019-01-15 20:33:58 +00001826 llvm::Optional<uint64_t> size =
1827 type.GetByteSize(exe_ctx.GetBestExecutionContextScope());
Adrian Prantld963a7c2019-01-15 18:07:52 +00001828 if (!size)
1829 return {};
1830 ValueObjectChild *synthetic_child =
1831 new ValueObjectChild(*this, type, name_const_str, *size, offset, 0, 0,
1832 false, false, eAddressTypeInvalid, 0);
Kate Stoneb9c1b512016-09-06 20:57:50 +00001833 if (synthetic_child) {
1834 AddSyntheticChild(name_const_str, synthetic_child);
1835 synthetic_child_sp = synthetic_child->GetSP();
1836 synthetic_child_sp->SetName(name_const_str);
1837 synthetic_child_sp->m_is_child_at_offset = true;
1838 }
1839 return synthetic_child_sp;
1840}
1841
1842ValueObjectSP ValueObject::GetSyntheticBase(uint32_t offset,
1843 const CompilerType &type,
1844 bool can_create,
1845 ConstString name_const_str) {
1846 ValueObjectSP synthetic_child_sp;
1847
1848 if (name_const_str.IsEmpty()) {
1849 char name_str[128];
1850 snprintf(name_str, sizeof(name_str), "base%s@%i",
1851 type.GetTypeName().AsCString("<unknown>"), offset);
1852 name_const_str.SetCString(name_str);
1853 }
1854
Adrian Prantl05097242018-04-30 16:49:04 +00001855 // Check if we have already created a synthetic array member in this valid
1856 // object. If we have we will re-use it.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001857 synthetic_child_sp = GetSyntheticChild(name_const_str);
1858
1859 if (synthetic_child_sp.get())
1860 return synthetic_child_sp;
1861
1862 if (!can_create)
Adrian Prantld963a7c2019-01-15 18:07:52 +00001863 return {};
Kate Stoneb9c1b512016-09-06 20:57:50 +00001864
1865 const bool is_base_class = true;
1866
1867 ExecutionContext exe_ctx(GetExecutionContextRef());
Adrian Prantld6a9bbf2019-01-15 20:33:58 +00001868 llvm::Optional<uint64_t> size =
1869 type.GetByteSize(exe_ctx.GetBestExecutionContextScope());
Adrian Prantld963a7c2019-01-15 18:07:52 +00001870 if (!size)
1871 return {};
1872 ValueObjectChild *synthetic_child =
1873 new ValueObjectChild(*this, type, name_const_str, *size, offset, 0, 0,
1874 is_base_class, false, eAddressTypeInvalid, 0);
Kate Stoneb9c1b512016-09-06 20:57:50 +00001875 if (synthetic_child) {
1876 AddSyntheticChild(name_const_str, synthetic_child);
1877 synthetic_child_sp = synthetic_child->GetSP();
1878 synthetic_child_sp->SetName(name_const_str);
1879 }
1880 return synthetic_child_sp;
1881}
Enrico Granata32556cd2014-08-26 20:54:04 +00001882
Adrian Prantl05097242018-04-30 16:49:04 +00001883// your expression path needs to have a leading . or -> (unless it somehow
1884// "looks like" an array, in which case it has a leading [ symbol). while the [
1885// is meaningful and should be shown to the user, . and -> are just parser
1886// design, but by no means added information for the user.. strip them off
Kate Stoneb9c1b512016-09-06 20:57:50 +00001887static const char *SkipLeadingExpressionPathSeparators(const char *expression) {
1888 if (!expression || !expression[0])
Enrico Granatad55546b2011-07-22 00:16:08 +00001889 return expression;
Kate Stoneb9c1b512016-09-06 20:57:50 +00001890 if (expression[0] == '.')
1891 return expression + 1;
1892 if (expression[0] == '-' && expression[1] == '>')
1893 return expression + 2;
1894 return expression;
Enrico Granatad55546b2011-07-22 00:16:08 +00001895}
1896
Greg Claytonafacd142011-09-02 01:15:17 +00001897ValueObjectSP
Kate Stoneb9c1b512016-09-06 20:57:50 +00001898ValueObject::GetSyntheticExpressionPathChild(const char *expression,
1899 bool can_create) {
1900 ValueObjectSP synthetic_child_sp;
1901 ConstString name_const_string(expression);
Adrian Prantl05097242018-04-30 16:49:04 +00001902 // Check if we have already created a synthetic array member in this valid
1903 // object. If we have we will re-use it.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001904 synthetic_child_sp = GetSyntheticChild(name_const_string);
1905 if (!synthetic_child_sp) {
Adrian Prantl05097242018-04-30 16:49:04 +00001906 // We haven't made a synthetic array member for expression yet, so lets
1907 // make one and cache it for any future reference.
Kate Stoneb9c1b512016-09-06 20:57:50 +00001908 synthetic_child_sp = GetValueForExpressionPath(
Zachary Turnerd2daca72016-11-18 17:55:04 +00001909 expression, NULL, NULL,
Kate Stoneb9c1b512016-09-06 20:57:50 +00001910 GetValueForExpressionPathOptions().SetSyntheticChildrenTraversal(
1911 GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
1912 None));
1913
1914 // Cache the value if we got one back...
1915 if (synthetic_child_sp.get()) {
1916 // FIXME: this causes a "real" child to end up with its name changed to
1917 // the contents of expression
1918 AddSyntheticChild(name_const_string, synthetic_child_sp.get());
1919 synthetic_child_sp->SetName(
1920 ConstString(SkipLeadingExpressionPathSeparators(expression)));
Enrico Granatad55546b2011-07-22 00:16:08 +00001921 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001922 }
1923 return synthetic_child_sp;
Enrico Granatad55546b2011-07-22 00:16:08 +00001924}
1925
Kate Stoneb9c1b512016-09-06 20:57:50 +00001926void ValueObject::CalculateSyntheticValue(bool use_synthetic) {
Jonas Devliegherea6682a42018-12-15 00:15:33 +00001927 if (!use_synthetic)
Kate Stoneb9c1b512016-09-06 20:57:50 +00001928 return;
1929
1930 TargetSP target_sp(GetTargetSP());
Jonas Devliegherea6682a42018-12-15 00:15:33 +00001931 if (target_sp && !target_sp->GetEnableSyntheticValue()) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00001932 m_synthetic_value = NULL;
1933 return;
1934 }
1935
1936 lldb::SyntheticChildrenSP current_synth_sp(m_synthetic_children_sp);
1937
1938 if (!UpdateFormatsIfNeeded() && m_synthetic_value)
1939 return;
1940
1941 if (m_synthetic_children_sp.get() == NULL)
1942 return;
1943
1944 if (current_synth_sp == m_synthetic_children_sp && m_synthetic_value)
1945 return;
1946
1947 m_synthetic_value = new ValueObjectSynthetic(*this, m_synthetic_children_sp);
1948}
1949
1950void ValueObject::CalculateDynamicValue(DynamicValueType use_dynamic) {
1951 if (use_dynamic == eNoDynamicValues)
1952 return;
1953
1954 if (!m_dynamic_value && !IsDynamic()) {
1955 ExecutionContext exe_ctx(GetExecutionContextRef());
1956 Process *process = exe_ctx.GetProcessPtr();
1957 if (process && process->IsPossibleDynamicValue(*this)) {
1958 ClearDynamicTypeInformation();
1959 m_dynamic_value = new ValueObjectDynamicValue(*this, use_dynamic);
Enrico Granatac5bc4122012-03-27 02:35:13 +00001960 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00001961 }
Enrico Granatad55546b2011-07-22 00:16:08 +00001962}
1963
Kate Stoneb9c1b512016-09-06 20:57:50 +00001964ValueObjectSP ValueObject::GetDynamicValue(DynamicValueType use_dynamic) {
1965 if (use_dynamic == eNoDynamicValues)
1966 return ValueObjectSP();
1967
1968 if (!IsDynamic() && m_dynamic_value == NULL) {
1969 CalculateDynamicValue(use_dynamic);
1970 }
1971 if (m_dynamic_value)
1972 return m_dynamic_value->GetSP();
1973 else
1974 return ValueObjectSP();
Jim Ingham78a685a2011-04-16 00:01:13 +00001975}
1976
Kate Stoneb9c1b512016-09-06 20:57:50 +00001977ValueObjectSP ValueObject::GetStaticValue() { return GetSP(); }
1978
1979lldb::ValueObjectSP ValueObject::GetNonSyntheticValue() { return GetSP(); }
1980
1981ValueObjectSP ValueObject::GetSyntheticValue(bool use_synthetic) {
Jonas Devliegherea6682a42018-12-15 00:15:33 +00001982 if (!use_synthetic)
Kate Stoneb9c1b512016-09-06 20:57:50 +00001983 return ValueObjectSP();
1984
1985 CalculateSyntheticValue(use_synthetic);
1986
1987 if (m_synthetic_value)
1988 return m_synthetic_value->GetSP();
1989 else
1990 return ValueObjectSP();
Jim Ingham22777012010-09-23 02:01:19 +00001991}
Greg Clayton1d3afba2010-10-05 00:00:42 +00001992
Kate Stoneb9c1b512016-09-06 20:57:50 +00001993bool ValueObject::HasSyntheticValue() {
1994 UpdateFormatsIfNeeded();
Jim Ingham60dbabb2011-12-08 19:44:08 +00001995
Kate Stoneb9c1b512016-09-06 20:57:50 +00001996 if (m_synthetic_children_sp.get() == NULL)
1997 return false;
Enrico Granata886147f2012-05-08 18:47:08 +00001998
Kate Stoneb9c1b512016-09-06 20:57:50 +00001999 CalculateSyntheticValue(true);
Enrico Granata86cc9822012-03-19 22:58:49 +00002000
Jonas Devliegherea6682a42018-12-15 00:15:33 +00002001 return m_synthetic_value != nullptr;
Greg Claytone221f822011-01-21 01:59:00 +00002002}
2003
Kate Stoneb9c1b512016-09-06 20:57:50 +00002004bool ValueObject::GetBaseClassPath(Stream &s) {
2005 if (IsBaseClass()) {
2006 bool parent_had_base_class =
2007 GetParent() && GetParent()->GetBaseClassPath(s);
2008 CompilerType compiler_type = GetCompilerType();
2009 std::string cxx_class_name;
2010 bool this_had_base_class =
2011 ClangASTContext::GetCXXClassName(compiler_type, cxx_class_name);
2012 if (this_had_base_class) {
2013 if (parent_had_base_class)
2014 s.PutCString("::");
Malcolm Parsons771ef6d2016-11-02 20:34:10 +00002015 s.PutCString(cxx_class_name);
Greg Claytone221f822011-01-21 01:59:00 +00002016 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002017 return parent_had_base_class || this_had_base_class;
2018 }
2019 return false;
Greg Claytone221f822011-01-21 01:59:00 +00002020}
Greg Clayton1d3afba2010-10-05 00:00:42 +00002021
Kate Stoneb9c1b512016-09-06 20:57:50 +00002022ValueObject *ValueObject::GetNonBaseClassParent() {
2023 if (GetParent()) {
2024 if (GetParent()->IsBaseClass())
2025 return GetParent()->GetNonBaseClassParent();
2026 else
2027 return GetParent();
2028 }
2029 return NULL;
2030}
Enrico Granataa3c8f042014-08-19 22:29:08 +00002031
Kate Stoneb9c1b512016-09-06 20:57:50 +00002032bool ValueObject::IsBaseClass(uint32_t &depth) {
2033 if (!IsBaseClass()) {
2034 depth = 0;
2035 return false;
2036 }
2037 if (GetParent()) {
2038 GetParent()->IsBaseClass(depth);
2039 depth = depth + 1;
Enrico Granataa3c8f042014-08-19 22:29:08 +00002040 return true;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002041 }
2042 // TODO: a base of no parent? weird..
2043 depth = 1;
2044 return true;
Enrico Granataa3c8f042014-08-19 22:29:08 +00002045}
2046
Kate Stoneb9c1b512016-09-06 20:57:50 +00002047void ValueObject::GetExpressionPath(Stream &s, bool qualify_cxx_base_classes,
2048 GetExpressionPathFormat epformat) {
2049 // synthetic children do not actually "exist" as part of the hierarchy, and
Adrian Prantl05097242018-04-30 16:49:04 +00002050 // sometimes they are consed up in ways that don't make sense from an
2051 // underlying language/API standpoint. So, use a special code path here to
2052 // return something that can hopefully be used in expression
Kate Stoneb9c1b512016-09-06 20:57:50 +00002053 if (m_is_synthetic_children_generated) {
2054 UpdateValueIfNeeded();
2055
2056 if (m_value.GetValueType() == Value::eValueTypeLoadAddress) {
2057 if (IsPointerOrReferenceType()) {
2058 s.Printf("((%s)0x%" PRIx64 ")", GetTypeName().AsCString("void"),
2059 GetValueAsUnsigned(0));
Enrico Granata986fa5f2014-12-09 21:41:16 +00002060 return;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002061 } else {
2062 uint64_t load_addr =
2063 m_value.GetScalar().ULongLong(LLDB_INVALID_ADDRESS);
2064 if (load_addr != LLDB_INVALID_ADDRESS) {
2065 s.Printf("(*( (%s *)0x%" PRIx64 "))", GetTypeName().AsCString("void"),
2066 load_addr);
2067 return;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002068 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002069 }
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002070 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002071
2072 if (CanProvideValue()) {
2073 s.Printf("((%s)%s)", GetTypeName().AsCString("void"),
2074 GetValueAsCString());
2075 return;
Enrico Granata4becb372011-06-29 22:27:15 +00002076 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002077
2078 return;
2079 }
2080
2081 const bool is_deref_of_parent = IsDereferenceOfParent();
2082
2083 if (is_deref_of_parent &&
2084 epformat == eGetExpressionPathFormatDereferencePointers) {
2085 // this is the original format of GetExpressionPath() producing code like
Adrian Prantl05097242018-04-30 16:49:04 +00002086 // *(a_ptr).memberName, which is entirely fine, until you put this into
Kate Stoneb9c1b512016-09-06 20:57:50 +00002087 // StackFrame::GetValueForVariableExpressionPath() which prefers to see
Adrian Prantl05097242018-04-30 16:49:04 +00002088 // a_ptr->memberName. the eHonorPointers mode is meant to produce strings
2089 // in this latter format
Kate Stoneb9c1b512016-09-06 20:57:50 +00002090 s.PutCString("*(");
2091 }
2092
2093 ValueObject *parent = GetParent();
2094
2095 if (parent)
2096 parent->GetExpressionPath(s, qualify_cxx_base_classes, epformat);
2097
Adrian Prantl05097242018-04-30 16:49:04 +00002098 // if we are a deref_of_parent just because we are synthetic array members
2099 // made up to allow ptr[%d] syntax to work in variable printing, then add our
2100 // name ([%d]) to the expression path
Kate Stoneb9c1b512016-09-06 20:57:50 +00002101 if (m_is_array_item_for_pointer &&
2102 epformat == eGetExpressionPathFormatHonorPointers)
2103 s.PutCString(m_name.AsCString());
2104
2105 if (!IsBaseClass()) {
2106 if (!is_deref_of_parent) {
2107 ValueObject *non_base_class_parent = GetNonBaseClassParent();
2108 if (non_base_class_parent &&
2109 !non_base_class_parent->GetName().IsEmpty()) {
2110 CompilerType non_base_class_parent_compiler_type =
2111 non_base_class_parent->GetCompilerType();
2112 if (non_base_class_parent_compiler_type) {
2113 if (parent && parent->IsDereferenceOfParent() &&
2114 epformat == eGetExpressionPathFormatHonorPointers) {
2115 s.PutCString("->");
2116 } else {
2117 const uint32_t non_base_class_parent_type_info =
2118 non_base_class_parent_compiler_type.GetTypeInfo();
2119
2120 if (non_base_class_parent_type_info & eTypeIsPointer) {
2121 s.PutCString("->");
2122 } else if ((non_base_class_parent_type_info & eTypeHasChildren) &&
2123 !(non_base_class_parent_type_info & eTypeIsArray)) {
2124 s.PutChar('.');
2125 }
2126 }
2127 }
2128 }
2129
2130 const char *name = GetName().GetCString();
2131 if (name) {
2132 if (qualify_cxx_base_classes) {
2133 if (GetBaseClassPath(s))
2134 s.PutCString("::");
2135 }
2136 s.PutCString(name);
2137 }
2138 }
2139 }
2140
2141 if (is_deref_of_parent &&
2142 epformat == eGetExpressionPathFormatDereferencePointers) {
2143 s.PutChar(')');
2144 }
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002145}
2146
Kate Stoneb9c1b512016-09-06 20:57:50 +00002147ValueObjectSP ValueObject::GetValueForExpressionPath(
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002148 llvm::StringRef expression, ExpressionPathScanEndReason *reason_to_stop,
Kate Stoneb9c1b512016-09-06 20:57:50 +00002149 ExpressionPathEndResultType *final_value_type,
2150 const GetValueForExpressionPathOptions &options,
2151 ExpressionPathAftermath *final_task_on_target) {
Enrico Granata385ad4e2012-03-03 00:45:57 +00002152
Kate Stoneb9c1b512016-09-06 20:57:50 +00002153 ExpressionPathScanEndReason dummy_reason_to_stop =
2154 ValueObject::eExpressionPathScanEndReasonUnknown;
2155 ExpressionPathEndResultType dummy_final_value_type =
2156 ValueObject::eExpressionPathEndResultTypeInvalid;
2157 ExpressionPathAftermath dummy_final_task_on_target =
2158 ValueObject::eExpressionPathAftermathNothing;
Enrico Granatafc7a7f32011-07-08 02:51:01 +00002159
Kate Stoneb9c1b512016-09-06 20:57:50 +00002160 ValueObjectSP ret_val = GetValueForExpressionPath_Impl(
Zachary Turnerd2daca72016-11-18 17:55:04 +00002161 expression, reason_to_stop ? reason_to_stop : &dummy_reason_to_stop,
Kate Stoneb9c1b512016-09-06 20:57:50 +00002162 final_value_type ? final_value_type : &dummy_final_value_type, options,
2163 final_task_on_target ? final_task_on_target
2164 : &dummy_final_task_on_target);
Enrico Granataf9fa6ee2011-07-12 00:18:11 +00002165
Kate Stoneb9c1b512016-09-06 20:57:50 +00002166 if (!final_task_on_target ||
2167 *final_task_on_target == ValueObject::eExpressionPathAftermathNothing)
2168 return ret_val;
2169
2170 if (ret_val.get() &&
2171 ((final_value_type ? *final_value_type : dummy_final_value_type) ==
2172 eExpressionPathEndResultTypePlain)) // I can only deref and takeaddress
2173 // of plain objects
2174 {
2175 if ((final_task_on_target ? *final_task_on_target
2176 : dummy_final_task_on_target) ==
2177 ValueObject::eExpressionPathAftermathDereference) {
Zachary Turner97206d52017-05-12 04:51:55 +00002178 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002179 ValueObjectSP final_value = ret_val->Dereference(error);
2180 if (error.Fail() || !final_value.get()) {
2181 if (reason_to_stop)
2182 *reason_to_stop =
2183 ValueObject::eExpressionPathScanEndReasonDereferencingFailed;
2184 if (final_value_type)
2185 *final_value_type = ValueObject::eExpressionPathEndResultTypeInvalid;
Enrico Granatafc7a7f32011-07-08 02:51:01 +00002186 return ValueObjectSP();
Kate Stoneb9c1b512016-09-06 20:57:50 +00002187 } else {
2188 if (final_task_on_target)
2189 *final_task_on_target = ValueObject::eExpressionPathAftermathNothing;
2190 return final_value;
2191 }
2192 }
2193 if (*final_task_on_target ==
2194 ValueObject::eExpressionPathAftermathTakeAddress) {
Zachary Turner97206d52017-05-12 04:51:55 +00002195 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002196 ValueObjectSP final_value = ret_val->AddressOf(error);
2197 if (error.Fail() || !final_value.get()) {
2198 if (reason_to_stop)
2199 *reason_to_stop =
2200 ValueObject::eExpressionPathScanEndReasonTakingAddressFailed;
2201 if (final_value_type)
2202 *final_value_type = ValueObject::eExpressionPathEndResultTypeInvalid;
2203 return ValueObjectSP();
2204 } else {
2205 if (final_task_on_target)
2206 *final_task_on_target = ValueObject::eExpressionPathAftermathNothing;
2207 return final_value;
2208 }
2209 }
2210 }
2211 return ret_val; // final_task_on_target will still have its original value, so
2212 // you know I did not do it
2213}
2214
Kate Stoneb9c1b512016-09-06 20:57:50 +00002215ValueObjectSP ValueObject::GetValueForExpressionPath_Impl(
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002216 llvm::StringRef expression, ExpressionPathScanEndReason *reason_to_stop,
Kate Stoneb9c1b512016-09-06 20:57:50 +00002217 ExpressionPathEndResultType *final_result,
2218 const GetValueForExpressionPathOptions &options,
2219 ExpressionPathAftermath *what_next) {
2220 ValueObjectSP root = GetSP();
2221
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002222 if (!root)
2223 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002224
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002225 llvm::StringRef remainder = expression;
Zachary Turner655c4522016-11-18 06:34:45 +00002226
Kate Stoneb9c1b512016-09-06 20:57:50 +00002227 while (true) {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002228 llvm::StringRef temp_expression = remainder;
Zachary Turner655c4522016-11-18 06:34:45 +00002229
Kate Stoneb9c1b512016-09-06 20:57:50 +00002230 CompilerType root_compiler_type = root->GetCompilerType();
2231 CompilerType pointee_compiler_type;
2232 Flags pointee_compiler_type_info;
2233
2234 Flags root_compiler_type_info(
2235 root_compiler_type.GetTypeInfo(&pointee_compiler_type));
2236 if (pointee_compiler_type)
2237 pointee_compiler_type_info.Reset(pointee_compiler_type.GetTypeInfo());
2238
Zachary Turnerd2daca72016-11-18 17:55:04 +00002239 if (temp_expression.empty()) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002240 *reason_to_stop = ValueObject::eExpressionPathScanEndReasonEndOfString;
2241 return root;
2242 }
2243
Zachary Turnerd2daca72016-11-18 17:55:04 +00002244 switch (temp_expression.front()) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002245 case '-': {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002246 temp_expression = temp_expression.drop_front();
Kate Stoneb9c1b512016-09-06 20:57:50 +00002247 if (options.m_check_dot_vs_arrow_syntax &&
2248 root_compiler_type_info.Test(eTypeIsPointer)) // if you are trying to
2249 // use -> on a
2250 // non-pointer and I
2251 // must catch the error
2252 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002253 *reason_to_stop =
2254 ValueObject::eExpressionPathScanEndReasonArrowInsteadOfDot;
2255 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
2256 return ValueObjectSP();
2257 }
2258 if (root_compiler_type_info.Test(eTypeIsObjC) && // if yo are trying to
2259 // extract an ObjC IVar
2260 // when this is forbidden
2261 root_compiler_type_info.Test(eTypeIsPointer) &&
2262 options.m_no_fragile_ivar) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002263 *reason_to_stop =
2264 ValueObject::eExpressionPathScanEndReasonFragileIVarNotAllowed;
2265 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
2266 return ValueObjectSP();
2267 }
Zachary Turnerd2daca72016-11-18 17:55:04 +00002268 if (!temp_expression.startswith(">")) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002269 *reason_to_stop =
2270 ValueObject::eExpressionPathScanEndReasonUnexpectedSymbol;
2271 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
2272 return ValueObjectSP();
2273 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002274 }
2275 LLVM_FALLTHROUGH;
2276 case '.': // or fallthrough from ->
2277 {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002278 if (options.m_check_dot_vs_arrow_syntax &&
2279 temp_expression.front() == '.' &&
Kate Stoneb9c1b512016-09-06 20:57:50 +00002280 root_compiler_type_info.Test(eTypeIsPointer)) // if you are trying to
2281 // use . on a pointer
2282 // and I must catch the
2283 // error
2284 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002285 *reason_to_stop =
2286 ValueObject::eExpressionPathScanEndReasonDotInsteadOfArrow;
2287 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002288 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002289 }
Zachary Turnerd2daca72016-11-18 17:55:04 +00002290 temp_expression = temp_expression.drop_front(); // skip . or >
2291
2292 size_t next_sep_pos = temp_expression.find_first_of("-.[", 1);
Kate Stoneb9c1b512016-09-06 20:57:50 +00002293 ConstString child_name;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002294 if (next_sep_pos == llvm::StringRef::npos) // if no other separator just
2295 // expand this last layer
Kate Stoneb9c1b512016-09-06 20:57:50 +00002296 {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002297 child_name.SetString(temp_expression);
Kate Stoneb9c1b512016-09-06 20:57:50 +00002298 ValueObjectSP child_valobj_sp =
2299 root->GetChildMemberWithName(child_name, true);
2300
2301 if (child_valobj_sp.get()) // we know we are done, so just return
Enrico Granatafc7a7f32011-07-08 02:51:01 +00002302 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002303 *reason_to_stop =
2304 ValueObject::eExpressionPathScanEndReasonEndOfString;
2305 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2306 return child_valobj_sp;
2307 } else {
2308 switch (options.m_synthetic_children_traversal) {
2309 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2310 None:
2311 break;
2312 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2313 FromSynthetic:
2314 if (root->IsSynthetic()) {
2315 child_valobj_sp = root->GetNonSyntheticValue();
2316 if (child_valobj_sp.get())
2317 child_valobj_sp =
2318 child_valobj_sp->GetChildMemberWithName(child_name, true);
2319 }
2320 break;
2321 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2322 ToSynthetic:
2323 if (!root->IsSynthetic()) {
2324 child_valobj_sp = root->GetSyntheticValue();
2325 if (child_valobj_sp.get())
2326 child_valobj_sp =
2327 child_valobj_sp->GetChildMemberWithName(child_name, true);
2328 }
2329 break;
2330 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2331 Both:
2332 if (root->IsSynthetic()) {
2333 child_valobj_sp = root->GetNonSyntheticValue();
2334 if (child_valobj_sp.get())
2335 child_valobj_sp =
2336 child_valobj_sp->GetChildMemberWithName(child_name, true);
2337 } else {
2338 child_valobj_sp = root->GetSyntheticValue();
2339 if (child_valobj_sp.get())
2340 child_valobj_sp =
2341 child_valobj_sp->GetChildMemberWithName(child_name, true);
2342 }
2343 break;
2344 }
2345 }
2346
2347 // if we are here and options.m_no_synthetic_children is true,
Adrian Prantl05097242018-04-30 16:49:04 +00002348 // child_valobj_sp is going to be a NULL SP, so we hit the "else"
2349 // branch, and return an error
Kate Stoneb9c1b512016-09-06 20:57:50 +00002350 if (child_valobj_sp.get()) // if it worked, just return
2351 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002352 *reason_to_stop =
2353 ValueObject::eExpressionPathScanEndReasonEndOfString;
2354 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2355 return child_valobj_sp;
2356 } else {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002357 *reason_to_stop =
2358 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2359 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002360 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002361 }
2362 } else // other layers do expand
2363 {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002364 llvm::StringRef next_separator = temp_expression.substr(next_sep_pos);
2365
2366 child_name.SetString(temp_expression.slice(0, next_sep_pos));
2367
Kate Stoneb9c1b512016-09-06 20:57:50 +00002368 ValueObjectSP child_valobj_sp =
2369 root->GetChildMemberWithName(child_name, true);
2370 if (child_valobj_sp.get()) // store the new root and move on
2371 {
2372 root = child_valobj_sp;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002373 remainder = next_separator;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002374 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2375 continue;
2376 } else {
2377 switch (options.m_synthetic_children_traversal) {
2378 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2379 None:
2380 break;
2381 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2382 FromSynthetic:
2383 if (root->IsSynthetic()) {
2384 child_valobj_sp = root->GetNonSyntheticValue();
2385 if (child_valobj_sp.get())
2386 child_valobj_sp =
2387 child_valobj_sp->GetChildMemberWithName(child_name, true);
2388 }
2389 break;
2390 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2391 ToSynthetic:
2392 if (!root->IsSynthetic()) {
2393 child_valobj_sp = root->GetSyntheticValue();
2394 if (child_valobj_sp.get())
2395 child_valobj_sp =
2396 child_valobj_sp->GetChildMemberWithName(child_name, true);
2397 }
2398 break;
2399 case GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2400 Both:
2401 if (root->IsSynthetic()) {
2402 child_valobj_sp = root->GetNonSyntheticValue();
2403 if (child_valobj_sp.get())
2404 child_valobj_sp =
2405 child_valobj_sp->GetChildMemberWithName(child_name, true);
2406 } else {
2407 child_valobj_sp = root->GetSyntheticValue();
2408 if (child_valobj_sp.get())
2409 child_valobj_sp =
2410 child_valobj_sp->GetChildMemberWithName(child_name, true);
2411 }
2412 break;
2413 }
2414 }
2415
2416 // if we are here and options.m_no_synthetic_children is true,
Adrian Prantl05097242018-04-30 16:49:04 +00002417 // child_valobj_sp is going to be a NULL SP, so we hit the "else"
2418 // branch, and return an error
Kate Stoneb9c1b512016-09-06 20:57:50 +00002419 if (child_valobj_sp.get()) // if it worked, move on
2420 {
2421 root = child_valobj_sp;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002422 remainder = next_separator;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002423 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2424 continue;
2425 } else {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002426 *reason_to_stop =
2427 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2428 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002429 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002430 }
2431 }
2432 break;
2433 }
2434 case '[': {
2435 if (!root_compiler_type_info.Test(eTypeIsArray) &&
2436 !root_compiler_type_info.Test(eTypeIsPointer) &&
2437 !root_compiler_type_info.Test(
2438 eTypeIsVector)) // if this is not a T[] nor a T*
2439 {
2440 if (!root_compiler_type_info.Test(
2441 eTypeIsScalar)) // if this is not even a scalar...
2442 {
2443 if (options.m_synthetic_children_traversal ==
2444 GetValueForExpressionPathOptions::SyntheticChildrenTraversal::
2445 None) // ...only chance left is synthetic
2446 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002447 *reason_to_stop =
2448 ValueObject::eExpressionPathScanEndReasonRangeOperatorInvalid;
2449 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
2450 return ValueObjectSP();
2451 }
2452 } else if (!options.m_allow_bitfields_syntax) // if this is a scalar,
2453 // check that we can
2454 // expand bitfields
2455 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002456 *reason_to_stop =
2457 ValueObject::eExpressionPathScanEndReasonRangeOperatorNotAllowed;
2458 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
2459 return ValueObjectSP();
2460 }
2461 }
Zachary Turnerd2daca72016-11-18 17:55:04 +00002462 if (temp_expression[1] ==
Kate Stoneb9c1b512016-09-06 20:57:50 +00002463 ']') // if this is an unbounded range it only works for arrays
2464 {
2465 if (!root_compiler_type_info.Test(eTypeIsArray)) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002466 *reason_to_stop =
2467 ValueObject::eExpressionPathScanEndReasonEmptyRangeNotAllowed;
2468 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002469 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002470 } else // even if something follows, we cannot expand unbounded ranges,
2471 // just let the caller do it
2472 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002473 *reason_to_stop =
2474 ValueObject::eExpressionPathScanEndReasonArrayRangeOperatorMet;
2475 *final_result =
2476 ValueObject::eExpressionPathEndResultTypeUnboundedRange;
2477 return root;
2478 }
2479 }
Zachary Turnerd2daca72016-11-18 17:55:04 +00002480
2481 size_t close_bracket_position = temp_expression.find(']', 1);
2482 if (close_bracket_position ==
2483 llvm::StringRef::npos) // if there is no ], this is a syntax error
Kate Stoneb9c1b512016-09-06 20:57:50 +00002484 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002485 *reason_to_stop =
2486 ValueObject::eExpressionPathScanEndReasonUnexpectedSymbol;
2487 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002488 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002489 }
Zachary Turnerc2d55582016-11-18 03:51:19 +00002490
Zachary Turnerd2daca72016-11-18 17:55:04 +00002491 llvm::StringRef bracket_expr =
2492 temp_expression.slice(1, close_bracket_position);
2493
2494 // If this was an empty expression it would have been caught by the if
2495 // above.
2496 assert(!bracket_expr.empty());
2497
2498 if (!bracket_expr.contains('-')) {
Adrian Prantl05097242018-04-30 16:49:04 +00002499 // if no separator, this is of the form [N]. Note that this cannot be
2500 // an unbounded range of the form [], because that case was handled
Zachary Turnerc2d55582016-11-18 03:51:19 +00002501 // above with an unconditional return.
Zachary Turnerd2daca72016-11-18 17:55:04 +00002502 unsigned long index = 0;
2503 if (bracket_expr.getAsInteger(0, index)) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002504 *reason_to_stop =
2505 ValueObject::eExpressionPathScanEndReasonUnexpectedSymbol;
2506 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002507 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002508 }
Zachary Turnerd2daca72016-11-18 17:55:04 +00002509
Kate Stoneb9c1b512016-09-06 20:57:50 +00002510 // from here on we do have a valid index
2511 if (root_compiler_type_info.Test(eTypeIsArray)) {
2512 ValueObjectSP child_valobj_sp = root->GetChildAtIndex(index, true);
2513 if (!child_valobj_sp)
2514 child_valobj_sp = root->GetSyntheticArrayMember(index, true);
2515 if (!child_valobj_sp)
2516 if (root->HasSyntheticValue() &&
2517 root->GetSyntheticValue()->GetNumChildren() > index)
2518 child_valobj_sp =
2519 root->GetSyntheticValue()->GetChildAtIndex(index, true);
2520 if (child_valobj_sp) {
2521 root = child_valobj_sp;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002522 remainder =
2523 temp_expression.substr(close_bracket_position + 1); // skip ]
Kate Stoneb9c1b512016-09-06 20:57:50 +00002524 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2525 continue;
2526 } else {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002527 *reason_to_stop =
2528 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2529 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002530 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002531 }
2532 } else if (root_compiler_type_info.Test(eTypeIsPointer)) {
2533 if (*what_next ==
2534 ValueObject::
2535 eExpressionPathAftermathDereference && // if this is a
2536 // ptr-to-scalar, I
2537 // am accessing it
2538 // by index and I
2539 // would have
2540 // deref'ed anyway,
2541 // then do it now
2542 // and use this as
2543 // a bitfield
2544 pointee_compiler_type_info.Test(eTypeIsScalar)) {
Zachary Turner97206d52017-05-12 04:51:55 +00002545 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002546 root = root->Dereference(error);
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002547 if (error.Fail() || !root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002548 *reason_to_stop =
2549 ValueObject::eExpressionPathScanEndReasonDereferencingFailed;
2550 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002551 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002552 } else {
2553 *what_next = eExpressionPathAftermathNothing;
2554 continue;
2555 }
2556 } else {
2557 if (root->GetCompilerType().GetMinimumLanguage() ==
2558 eLanguageTypeObjC &&
2559 pointee_compiler_type_info.AllClear(eTypeIsPointer) &&
2560 root->HasSyntheticValue() &&
2561 (options.m_synthetic_children_traversal ==
2562 GetValueForExpressionPathOptions::
2563 SyntheticChildrenTraversal::ToSynthetic ||
2564 options.m_synthetic_children_traversal ==
2565 GetValueForExpressionPathOptions::
2566 SyntheticChildrenTraversal::Both)) {
2567 root = root->GetSyntheticValue()->GetChildAtIndex(index, true);
2568 } else
2569 root = root->GetSyntheticArrayMember(index, true);
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002570 if (!root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002571 *reason_to_stop =
2572 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2573 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002574 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002575 } else {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002576 remainder =
2577 temp_expression.substr(close_bracket_position + 1); // skip ]
Kate Stoneb9c1b512016-09-06 20:57:50 +00002578 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2579 continue;
2580 }
2581 }
2582 } else if (root_compiler_type_info.Test(eTypeIsScalar)) {
2583 root = root->GetSyntheticBitFieldChild(index, index, true);
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002584 if (!root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002585 *reason_to_stop =
2586 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2587 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002588 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002589 } else // we do not know how to expand members of bitfields, so we
2590 // just return and let the caller do any further processing
2591 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002592 *reason_to_stop = ValueObject::
2593 eExpressionPathScanEndReasonBitfieldRangeOperatorMet;
2594 *final_result = ValueObject::eExpressionPathEndResultTypeBitfield;
2595 return root;
2596 }
2597 } else if (root_compiler_type_info.Test(eTypeIsVector)) {
2598 root = root->GetChildAtIndex(index, true);
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002599 if (!root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002600 *reason_to_stop =
2601 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2602 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
2603 return ValueObjectSP();
2604 } else {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002605 remainder =
2606 temp_expression.substr(close_bracket_position + 1); // skip ]
Kate Stoneb9c1b512016-09-06 20:57:50 +00002607 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2608 continue;
2609 }
2610 } else if (options.m_synthetic_children_traversal ==
2611 GetValueForExpressionPathOptions::
2612 SyntheticChildrenTraversal::ToSynthetic ||
2613 options.m_synthetic_children_traversal ==
2614 GetValueForExpressionPathOptions::
2615 SyntheticChildrenTraversal::Both) {
2616 if (root->HasSyntheticValue())
2617 root = root->GetSyntheticValue();
2618 else if (!root->IsSynthetic()) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002619 *reason_to_stop =
2620 ValueObject::eExpressionPathScanEndReasonSyntheticValueMissing;
2621 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002622 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002623 }
Adrian Prantl05097242018-04-30 16:49:04 +00002624 // if we are here, then root itself is a synthetic VO.. should be
2625 // good to go
Kate Stoneb9c1b512016-09-06 20:57:50 +00002626
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002627 if (!root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002628 *reason_to_stop =
2629 ValueObject::eExpressionPathScanEndReasonSyntheticValueMissing;
2630 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002631 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002632 }
2633 root = root->GetChildAtIndex(index, true);
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002634 if (!root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002635 *reason_to_stop =
2636 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2637 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002638 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002639 } else {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002640 remainder =
2641 temp_expression.substr(close_bracket_position + 1); // skip ]
Kate Stoneb9c1b512016-09-06 20:57:50 +00002642 *final_result = ValueObject::eExpressionPathEndResultTypePlain;
2643 continue;
2644 }
2645 } else {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002646 *reason_to_stop =
2647 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2648 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002649 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002650 }
Zachary Turnerd2daca72016-11-18 17:55:04 +00002651 } else {
2652 // we have a low and a high index
2653 llvm::StringRef sleft, sright;
2654 unsigned long low_index, high_index;
2655 std::tie(sleft, sright) = bracket_expr.split('-');
2656 if (sleft.getAsInteger(0, low_index) ||
2657 sright.getAsInteger(0, high_index)) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002658 *reason_to_stop =
2659 ValueObject::eExpressionPathScanEndReasonUnexpectedSymbol;
2660 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002661 return nullptr;
Enrico Granatafc7a7f32011-07-08 02:51:01 +00002662 }
Zachary Turnerd2daca72016-11-18 17:55:04 +00002663
2664 if (low_index > high_index) // swap indices if required
2665 std::swap(low_index, high_index);
Zachary Turnerc2d55582016-11-18 03:51:19 +00002666
Kate Stoneb9c1b512016-09-06 20:57:50 +00002667 if (root_compiler_type_info.Test(
2668 eTypeIsScalar)) // expansion only works for scalars
2669 {
Zachary Turnerd2daca72016-11-18 17:55:04 +00002670 root = root->GetSyntheticBitFieldChild(low_index, high_index, true);
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002671 if (!root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002672 *reason_to_stop =
2673 ValueObject::eExpressionPathScanEndReasonNoSuchChild;
2674 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002675 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002676 } else {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002677 *reason_to_stop = ValueObject::
2678 eExpressionPathScanEndReasonBitfieldRangeOperatorMet;
2679 *final_result = ValueObject::eExpressionPathEndResultTypeBitfield;
2680 return root;
2681 }
2682 } else if (root_compiler_type_info.Test(
2683 eTypeIsPointer) && // if this is a ptr-to-scalar, I am
2684 // accessing it by index and I would
2685 // have deref'ed anyway, then do it
2686 // now and use this as a bitfield
2687 *what_next ==
2688 ValueObject::eExpressionPathAftermathDereference &&
2689 pointee_compiler_type_info.Test(eTypeIsScalar)) {
Zachary Turner97206d52017-05-12 04:51:55 +00002690 Status error;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002691 root = root->Dereference(error);
Zachary Turner2a3d10a2016-11-18 19:23:39 +00002692 if (error.Fail() || !root) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002693 *reason_to_stop =
2694 ValueObject::eExpressionPathScanEndReasonDereferencingFailed;
2695 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002696 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002697 } else {
2698 *what_next = ValueObject::eExpressionPathAftermathNothing;
2699 continue;
2700 }
2701 } else {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002702 *reason_to_stop =
2703 ValueObject::eExpressionPathScanEndReasonArrayRangeOperatorMet;
2704 *final_result = ValueObject::eExpressionPathEndResultTypeBoundedRange;
2705 return root;
2706 }
2707 }
2708 break;
Enrico Granatafc7a7f32011-07-08 02:51:01 +00002709 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002710 default: // some non-separator is in the way
2711 {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002712 *reason_to_stop =
2713 ValueObject::eExpressionPathScanEndReasonUnexpectedSymbol;
2714 *final_result = ValueObject::eExpressionPathEndResultTypeInvalid;
Zachary Turnerd2daca72016-11-18 17:55:04 +00002715 return nullptr;
Kate Stoneb9c1b512016-09-06 20:57:50 +00002716 }
2717 }
2718 }
Enrico Granatafc7a7f32011-07-08 02:51:01 +00002719}
2720
Kate Stoneb9c1b512016-09-06 20:57:50 +00002721void ValueObject::LogValueObject(Log *log) {
2722 if (log)
2723 return LogValueObject(log, DumpValueObjectOptions(*this));
Enrico Granata538a88a2014-10-09 18:24:30 +00002724}
2725
Kate Stoneb9c1b512016-09-06 20:57:50 +00002726void ValueObject::LogValueObject(Log *log,
2727 const DumpValueObjectOptions &options) {
2728 if (log) {
2729 StreamString s;
2730 Dump(s, options);
2731 if (s.GetSize())
2732 log->PutCString(s.GetData());
2733 }
Greg Clayton759e7442014-07-19 00:12:57 +00002734}
2735
Kate Stoneb9c1b512016-09-06 20:57:50 +00002736void ValueObject::Dump(Stream &s) { Dump(s, DumpValueObjectOptions(*this)); }
Chaoren Lind7bdc272015-07-31 00:35:40 +00002737
Kate Stoneb9c1b512016-09-06 20:57:50 +00002738void ValueObject::Dump(Stream &s, const DumpValueObjectOptions &options) {
2739 ValueObjectPrinter printer(this, &s, options);
2740 printer.PrintValueObject();
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00002741}
2742
Kate Stoneb9c1b512016-09-06 20:57:50 +00002743ValueObjectSP ValueObject::CreateConstantValue(const ConstString &name) {
2744 ValueObjectSP valobj_sp;
2745
2746 if (UpdateValueIfNeeded(false) && m_error.Success()) {
2747 ExecutionContext exe_ctx(GetExecutionContextRef());
2748
2749 DataExtractor data;
2750 data.SetByteOrder(m_data.GetByteOrder());
2751 data.SetAddressByteSize(m_data.GetAddressByteSize());
2752
2753 if (IsBitfield()) {
2754 Value v(Scalar(GetValueAsUnsigned(UINT64_MAX)));
2755 m_error = v.GetValueAsData(&exe_ctx, data, 0, GetModule().get());
2756 } else
2757 m_error = m_value.GetValueAsData(&exe_ctx, data, 0, GetModule().get());
2758
2759 valobj_sp = ValueObjectConstResult::Create(
2760 exe_ctx.GetBestExecutionContextScope(), GetCompilerType(), name, data,
2761 GetAddressOf());
2762 }
2763
2764 if (!valobj_sp) {
2765 ExecutionContext exe_ctx(GetExecutionContextRef());
2766 valobj_sp = ValueObjectConstResult::Create(
2767 exe_ctx.GetBestExecutionContextScope(), m_error);
2768 }
2769 return valobj_sp;
2770}
2771
2772ValueObjectSP ValueObject::GetQualifiedRepresentationIfAvailable(
2773 lldb::DynamicValueType dynValue, bool synthValue) {
2774 ValueObjectSP result_sp(GetSP());
2775
2776 switch (dynValue) {
2777 case lldb::eDynamicCanRunTarget:
2778 case lldb::eDynamicDontRunTarget: {
2779 if (!result_sp->IsDynamic()) {
2780 if (result_sp->GetDynamicValue(dynValue))
2781 result_sp = result_sp->GetDynamicValue(dynValue);
2782 }
2783 } break;
2784 case lldb::eNoDynamicValues: {
2785 if (result_sp->IsDynamic()) {
2786 if (result_sp->GetStaticValue())
2787 result_sp = result_sp->GetStaticValue();
2788 }
2789 } break;
2790 }
2791
2792 if (synthValue) {
2793 if (!result_sp->IsSynthetic()) {
2794 if (result_sp->GetSyntheticValue())
2795 result_sp = result_sp->GetSyntheticValue();
2796 }
2797 } else {
2798 if (result_sp->IsSynthetic()) {
2799 if (result_sp->GetNonSyntheticValue())
2800 result_sp = result_sp->GetNonSyntheticValue();
2801 }
2802 }
2803
2804 return result_sp;
2805}
2806
Zachary Turner97206d52017-05-12 04:51:55 +00002807ValueObjectSP ValueObject::Dereference(Status &error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002808 if (m_deref_valobj)
2809 return m_deref_valobj->GetSP();
2810
2811 const bool is_pointer_or_reference_type = IsPointerOrReferenceType();
2812 if (is_pointer_or_reference_type) {
2813 bool omit_empty_base_classes = true;
2814 bool ignore_array_bounds = false;
2815
2816 std::string child_name_str;
2817 uint32_t child_byte_size = 0;
2818 int32_t child_byte_offset = 0;
2819 uint32_t child_bitfield_bit_size = 0;
2820 uint32_t child_bitfield_bit_offset = 0;
2821 bool child_is_base_class = false;
2822 bool child_is_deref_of_parent = false;
2823 const bool transparent_pointers = false;
2824 CompilerType compiler_type = GetCompilerType();
2825 CompilerType child_compiler_type;
2826 uint64_t language_flags;
2827
2828 ExecutionContext exe_ctx(GetExecutionContextRef());
2829
2830 child_compiler_type = compiler_type.GetChildCompilerTypeAtIndex(
2831 &exe_ctx, 0, transparent_pointers, omit_empty_base_classes,
2832 ignore_array_bounds, child_name_str, child_byte_size, child_byte_offset,
2833 child_bitfield_bit_size, child_bitfield_bit_offset, child_is_base_class,
2834 child_is_deref_of_parent, this, language_flags);
2835 if (child_compiler_type && child_byte_size) {
2836 ConstString child_name;
2837 if (!child_name_str.empty())
2838 child_name.SetCString(child_name_str.c_str());
2839
2840 m_deref_valobj = new ValueObjectChild(
2841 *this, child_compiler_type, child_name, child_byte_size,
2842 child_byte_offset, child_bitfield_bit_size, child_bitfield_bit_offset,
2843 child_is_base_class, child_is_deref_of_parent, eAddressTypeInvalid,
2844 language_flags);
2845 }
Tamas Berghammer4c08fe22017-03-31 20:23:22 +00002846 } else if (HasSyntheticValue()) {
2847 m_deref_valobj =
2848 GetSyntheticValue()
2849 ->GetChildMemberWithName(ConstString("$$dereference$$"), true)
2850 .get();
Kate Stoneb9c1b512016-09-06 20:57:50 +00002851 }
2852
2853 if (m_deref_valobj) {
Greg Clayton54979cd2010-12-15 05:08:08 +00002854 error.Clear();
Kate Stoneb9c1b512016-09-06 20:57:50 +00002855 return m_deref_valobj->GetSP();
2856 } else {
2857 StreamString strm;
2858 GetExpressionPath(strm, true);
Greg Clayton54979cd2010-12-15 05:08:08 +00002859
Kate Stoneb9c1b512016-09-06 20:57:50 +00002860 if (is_pointer_or_reference_type)
2861 error.SetErrorStringWithFormat("dereference failed: (%s) %s",
2862 GetTypeName().AsCString("<invalid type>"),
Zachary Turnerc1564272016-11-16 21:15:24 +00002863 strm.GetData());
Sean Callananed185ab2013-04-19 19:47:32 +00002864 else
Kate Stoneb9c1b512016-09-06 20:57:50 +00002865 error.SetErrorStringWithFormat("not a pointer or reference type: (%s) %s",
2866 GetTypeName().AsCString("<invalid type>"),
Zachary Turnerc1564272016-11-16 21:15:24 +00002867 strm.GetData());
Kate Stoneb9c1b512016-09-06 20:57:50 +00002868 return ValueObjectSP();
2869 }
2870}
2871
Zachary Turner97206d52017-05-12 04:51:55 +00002872ValueObjectSP ValueObject::AddressOf(Status &error) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00002873 if (m_addr_of_valobj_sp)
Jim Ingham78a685a2011-04-16 00:01:13 +00002874 return m_addr_of_valobj_sp;
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00002875
Kate Stoneb9c1b512016-09-06 20:57:50 +00002876 AddressType address_type = eAddressTypeInvalid;
2877 const bool scalar_is_load_address = false;
2878 addr_t addr = GetAddressOf(scalar_is_load_address, &address_type);
2879 error.Clear();
2880 if (addr != LLDB_INVALID_ADDRESS && address_type != eAddressTypeHost) {
2881 switch (address_type) {
2882 case eAddressTypeInvalid: {
2883 StreamString expr_path_strm;
2884 GetExpressionPath(expr_path_strm, true);
2885 error.SetErrorStringWithFormat("'%s' is not in memory",
Zachary Turnerc1564272016-11-16 21:15:24 +00002886 expr_path_strm.GetData());
Kate Stoneb9c1b512016-09-06 20:57:50 +00002887 } break;
Greg Claytonb2dcc362011-05-05 23:32:56 +00002888
Kate Stoneb9c1b512016-09-06 20:57:50 +00002889 case eAddressTypeFile:
2890 case eAddressTypeLoad: {
2891 CompilerType compiler_type = GetCompilerType();
2892 if (compiler_type) {
2893 std::string name(1, '&');
2894 name.append(m_name.AsCString(""));
2895 ExecutionContext exe_ctx(GetExecutionContextRef());
2896 m_addr_of_valobj_sp = ValueObjectConstResult::Create(
2897 exe_ctx.GetBestExecutionContextScope(),
2898 compiler_type.GetPointerType(), ConstString(name.c_str()), addr,
2899 eAddressTypeInvalid, m_data.GetAddressByteSize());
2900 }
2901 } break;
2902 default:
2903 break;
Greg Claytonb2dcc362011-05-05 23:32:56 +00002904 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002905 } else {
2906 StreamString expr_path_strm;
2907 GetExpressionPath(expr_path_strm, true);
2908 error.SetErrorStringWithFormat("'%s' doesn't have a valid address",
Zachary Turnerc1564272016-11-16 21:15:24 +00002909 expr_path_strm.GetData());
Kate Stoneb9c1b512016-09-06 20:57:50 +00002910 }
2911
2912 return m_addr_of_valobj_sp;
Greg Claytonb2dcc362011-05-05 23:32:56 +00002913}
2914
Kate Stoneb9c1b512016-09-06 20:57:50 +00002915ValueObjectSP ValueObject::Cast(const CompilerType &compiler_type) {
2916 return ValueObjectCast::Create(*this, GetName(), compiler_type);
Greg Claytonb2dcc362011-05-05 23:32:56 +00002917}
2918
Tamas Berghammer4fbb55b2017-03-31 20:48:00 +00002919lldb::ValueObjectSP ValueObject::Clone(const ConstString &new_name) {
2920 return ValueObjectCast::Create(*this, new_name, GetCompilerType());
2921}
2922
Kate Stoneb9c1b512016-09-06 20:57:50 +00002923ValueObjectSP ValueObject::CastPointerType(const char *name,
2924 CompilerType &compiler_type) {
2925 ValueObjectSP valobj_sp;
2926 AddressType address_type;
2927 addr_t ptr_value = GetPointerValue(&address_type);
2928
2929 if (ptr_value != LLDB_INVALID_ADDRESS) {
2930 Address ptr_addr(ptr_value);
2931 ExecutionContext exe_ctx(GetExecutionContextRef());
2932 valobj_sp = ValueObjectMemory::Create(
2933 exe_ctx.GetBestExecutionContextScope(), name, ptr_addr, compiler_type);
2934 }
2935 return valobj_sp;
Jim Ingham6035b672011-03-31 00:19:25 +00002936}
2937
Kate Stoneb9c1b512016-09-06 20:57:50 +00002938ValueObjectSP ValueObject::CastPointerType(const char *name, TypeSP &type_sp) {
2939 ValueObjectSP valobj_sp;
2940 AddressType address_type;
2941 addr_t ptr_value = GetPointerValue(&address_type);
2942
2943 if (ptr_value != LLDB_INVALID_ADDRESS) {
2944 Address ptr_addr(ptr_value);
2945 ExecutionContext exe_ctx(GetExecutionContextRef());
2946 valobj_sp = ValueObjectMemory::Create(
2947 exe_ctx.GetBestExecutionContextScope(), name, ptr_addr, type_sp);
2948 }
2949 return valobj_sp;
2950}
2951
2952ValueObject::EvaluationPoint::EvaluationPoint()
2953 : m_mod_id(), m_exe_ctx_ref(), m_needs_update(true) {}
2954
2955ValueObject::EvaluationPoint::EvaluationPoint(ExecutionContextScope *exe_scope,
2956 bool use_selected)
2957 : m_mod_id(), m_exe_ctx_ref(), m_needs_update(true) {
2958 ExecutionContext exe_ctx(exe_scope);
2959 TargetSP target_sp(exe_ctx.GetTargetSP());
2960 if (target_sp) {
2961 m_exe_ctx_ref.SetTargetSP(target_sp);
2962 ProcessSP process_sp(exe_ctx.GetProcessSP());
2963 if (!process_sp)
2964 process_sp = target_sp->GetProcessSP();
2965
2966 if (process_sp) {
2967 m_mod_id = process_sp->GetModID();
2968 m_exe_ctx_ref.SetProcessSP(process_sp);
2969
2970 ThreadSP thread_sp(exe_ctx.GetThreadSP());
2971
2972 if (!thread_sp) {
2973 if (use_selected)
2974 thread_sp = process_sp->GetThreadList().GetSelectedThread();
2975 }
2976
2977 if (thread_sp) {
2978 m_exe_ctx_ref.SetThreadSP(thread_sp);
2979
2980 StackFrameSP frame_sp(exe_ctx.GetFrameSP());
2981 if (!frame_sp) {
2982 if (use_selected)
2983 frame_sp = thread_sp->GetSelectedFrame();
Jim Ingham6035b672011-03-31 00:19:25 +00002984 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002985 if (frame_sp)
2986 m_exe_ctx_ref.SetFrameSP(frame_sp);
2987 }
Jim Ingham6035b672011-03-31 00:19:25 +00002988 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00002989 }
Jim Ingham6035b672011-03-31 00:19:25 +00002990}
2991
Kate Stoneb9c1b512016-09-06 20:57:50 +00002992ValueObject::EvaluationPoint::EvaluationPoint(
2993 const ValueObject::EvaluationPoint &rhs)
2994 : m_mod_id(), m_exe_ctx_ref(rhs.m_exe_ctx_ref), m_needs_update(true) {}
Jim Ingham6035b672011-03-31 00:19:25 +00002995
Kate Stoneb9c1b512016-09-06 20:57:50 +00002996ValueObject::EvaluationPoint::~EvaluationPoint() {}
Jim Ingham6035b672011-03-31 00:19:25 +00002997
Kate Stoneb9c1b512016-09-06 20:57:50 +00002998// This function checks the EvaluationPoint against the current process state.
Adrian Prantl05097242018-04-30 16:49:04 +00002999// If the current state matches the evaluation point, or the evaluation point
3000// is already invalid, then we return false, meaning "no change". If the
3001// current state is different, we update our state, and return true meaning
3002// "yes, change". If we did see a change, we also set m_needs_update to true,
3003// so future calls to NeedsUpdate will return true. exe_scope will be set to
3004// the current execution context scope.
Jim Ingham6035b672011-03-31 00:19:25 +00003005
Kate Stoneb9c1b512016-09-06 20:57:50 +00003006bool ValueObject::EvaluationPoint::SyncWithProcessState(
3007 bool accept_invalid_exe_ctx) {
Adrian Prantl05097242018-04-30 16:49:04 +00003008 // Start with the target, if it is NULL, then we're obviously not going to
3009 // get any further:
Kate Stoneb9c1b512016-09-06 20:57:50 +00003010 const bool thread_and_frame_only_if_stopped = true;
3011 ExecutionContext exe_ctx(
3012 m_exe_ctx_ref.Lock(thread_and_frame_only_if_stopped));
3013
3014 if (exe_ctx.GetTargetPtr() == NULL)
3015 return false;
3016
3017 // If we don't have a process nothing can change.
3018 Process *process = exe_ctx.GetProcessPtr();
3019 if (process == NULL)
3020 return false;
3021
3022 // If our stop id is the current stop ID, nothing has changed:
3023 ProcessModID current_mod_id = process->GetModID();
3024
3025 // If the current stop id is 0, either we haven't run yet, or the process
Adrian Prantl05097242018-04-30 16:49:04 +00003026 // state has been cleared. In either case, we aren't going to be able to sync
3027 // with the process state.
Kate Stoneb9c1b512016-09-06 20:57:50 +00003028 if (current_mod_id.GetStopID() == 0)
3029 return false;
3030
3031 bool changed = false;
3032 const bool was_valid = m_mod_id.IsValid();
3033 if (was_valid) {
3034 if (m_mod_id == current_mod_id) {
Adrian Prantl05097242018-04-30 16:49:04 +00003035 // Everything is already up to date in this object, no need to update the
3036 // execution context scope.
Kate Stoneb9c1b512016-09-06 20:57:50 +00003037 changed = false;
3038 } else {
3039 m_mod_id = current_mod_id;
3040 m_needs_update = true;
3041 changed = true;
3042 }
3043 }
3044
3045 // Now re-look up the thread and frame in case the underlying objects have
Adrian Prantl05097242018-04-30 16:49:04 +00003046 // gone away & been recreated. That way we'll be sure to return a valid
3047 // exe_scope. If we used to have a thread or a frame but can't find it
3048 // anymore, then mark ourselves as invalid.
Kate Stoneb9c1b512016-09-06 20:57:50 +00003049
3050 if (!accept_invalid_exe_ctx) {
3051 if (m_exe_ctx_ref.HasThreadRef()) {
3052 ThreadSP thread_sp(m_exe_ctx_ref.GetThreadSP());
3053 if (thread_sp) {
3054 if (m_exe_ctx_ref.HasFrameRef()) {
3055 StackFrameSP frame_sp(m_exe_ctx_ref.GetFrameSP());
3056 if (!frame_sp) {
3057 // We used to have a frame, but now it is gone
3058 SetInvalid();
3059 changed = was_valid;
3060 }
Greg Clayton7e9b1fd2011-08-12 21:40:01 +00003061 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00003062 } else {
3063 // We used to have a thread, but now it is gone
3064 SetInvalid();
3065 changed = was_valid;
3066 }
Greg Clayton7e9b1fd2011-08-12 21:40:01 +00003067 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00003068 }
Enrico Granatabb642e52015-05-16 01:27:00 +00003069
Kate Stoneb9c1b512016-09-06 20:57:50 +00003070 return changed;
Jim Ingham6035b672011-03-31 00:19:25 +00003071}
3072
Kate Stoneb9c1b512016-09-06 20:57:50 +00003073void ValueObject::EvaluationPoint::SetUpdated() {
3074 ProcessSP process_sp(m_exe_ctx_ref.GetProcessSP());
3075 if (process_sp)
3076 m_mod_id = process_sp->GetModID();
3077 m_needs_update = false;
Johnny Chen44805302011-07-19 19:48:13 +00003078}
Enrico Granata9128ee22011-09-06 19:20:51 +00003079
Kate Stoneb9c1b512016-09-06 20:57:50 +00003080void ValueObject::ClearUserVisibleData(uint32_t clear_mask) {
3081 if ((clear_mask & eClearUserVisibleDataItemsValue) ==
3082 eClearUserVisibleDataItemsValue)
3083 m_value_str.clear();
3084
3085 if ((clear_mask & eClearUserVisibleDataItemsLocation) ==
3086 eClearUserVisibleDataItemsLocation)
3087 m_location_str.clear();
3088
3089 if ((clear_mask & eClearUserVisibleDataItemsSummary) ==
3090 eClearUserVisibleDataItemsSummary)
3091 m_summary_str.clear();
3092
3093 if ((clear_mask & eClearUserVisibleDataItemsDescription) ==
3094 eClearUserVisibleDataItemsDescription)
3095 m_object_desc_str.clear();
3096
3097 if ((clear_mask & eClearUserVisibleDataItemsSyntheticChildren) ==
3098 eClearUserVisibleDataItemsSyntheticChildren) {
3099 if (m_synthetic_value)
3100 m_synthetic_value = NULL;
3101 }
3102
3103 if ((clear_mask & eClearUserVisibleDataItemsValidator) ==
3104 eClearUserVisibleDataItemsValidator)
3105 m_validation_result.reset();
Enrico Granata9128ee22011-09-06 19:20:51 +00003106}
Enrico Granatab2698cd2012-09-13 18:27:09 +00003107
Kate Stoneb9c1b512016-09-06 20:57:50 +00003108SymbolContextScope *ValueObject::GetSymbolContextScope() {
3109 if (m_parent) {
3110 if (!m_parent->IsPointerOrReferenceType())
3111 return m_parent->GetSymbolContextScope();
3112 }
3113 return NULL;
Enrico Granata972be532014-12-17 21:18:43 +00003114}
3115
Zachary Turneraa5611f2016-11-13 03:29:46 +00003116lldb::ValueObjectSP
3117ValueObject::CreateValueObjectFromExpression(llvm::StringRef name,
3118 llvm::StringRef expression,
3119 const ExecutionContext &exe_ctx) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00003120 return CreateValueObjectFromExpression(name, expression, exe_ctx,
3121 EvaluateExpressionOptions());
3122}
Enrico Granata972be532014-12-17 21:18:43 +00003123
Kate Stoneb9c1b512016-09-06 20:57:50 +00003124lldb::ValueObjectSP ValueObject::CreateValueObjectFromExpression(
Zachary Turneraa5611f2016-11-13 03:29:46 +00003125 llvm::StringRef name, llvm::StringRef expression,
3126 const ExecutionContext &exe_ctx, const EvaluateExpressionOptions &options) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00003127 lldb::ValueObjectSP retval_sp;
3128 lldb::TargetSP target_sp(exe_ctx.GetTargetSP());
3129 if (!target_sp)
Enrico Granatab2698cd2012-09-13 18:27:09 +00003130 return retval_sp;
Zachary Turneraa5611f2016-11-13 03:29:46 +00003131 if (expression.empty())
Kate Stoneb9c1b512016-09-06 20:57:50 +00003132 return retval_sp;
3133 target_sp->EvaluateExpression(expression, exe_ctx.GetFrameSP().get(),
3134 retval_sp, options);
Zachary Turneraa5611f2016-11-13 03:29:46 +00003135 if (retval_sp && !name.empty())
Kate Stoneb9c1b512016-09-06 20:57:50 +00003136 retval_sp->SetName(ConstString(name));
3137 return retval_sp;
Enrico Granatab2698cd2012-09-13 18:27:09 +00003138}
3139
Zachary Turneraa5611f2016-11-13 03:29:46 +00003140lldb::ValueObjectSP ValueObject::CreateValueObjectFromAddress(
3141 llvm::StringRef name, uint64_t address, const ExecutionContext &exe_ctx,
3142 CompilerType type) {
Kate Stoneb9c1b512016-09-06 20:57:50 +00003143 if (type) {
3144 CompilerType pointer_type(type.GetPointerType());
3145 if (pointer_type) {
3146 lldb::DataBufferSP buffer(
3147 new lldb_private::DataBufferHeap(&address, sizeof(lldb::addr_t)));
3148 lldb::ValueObjectSP ptr_result_valobj_sp(ValueObjectConstResult::Create(
3149 exe_ctx.GetBestExecutionContextScope(), pointer_type,
3150 ConstString(name), buffer, exe_ctx.GetByteOrder(),
3151 exe_ctx.GetAddressByteSize()));
3152 if (ptr_result_valobj_sp) {
3153 ptr_result_valobj_sp->GetValue().SetValueType(
3154 Value::eValueTypeLoadAddress);
Zachary Turner97206d52017-05-12 04:51:55 +00003155 Status err;
Kate Stoneb9c1b512016-09-06 20:57:50 +00003156 ptr_result_valobj_sp = ptr_result_valobj_sp->Dereference(err);
Zachary Turneraa5611f2016-11-13 03:29:46 +00003157 if (ptr_result_valobj_sp && !name.empty())
Kate Stoneb9c1b512016-09-06 20:57:50 +00003158 ptr_result_valobj_sp->SetName(ConstString(name));
3159 }
3160 return ptr_result_valobj_sp;
Enrico Granatab2698cd2012-09-13 18:27:09 +00003161 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00003162 }
3163 return lldb::ValueObjectSP();
Enrico Granatab2698cd2012-09-13 18:27:09 +00003164}
3165
Kate Stoneb9c1b512016-09-06 20:57:50 +00003166lldb::ValueObjectSP ValueObject::CreateValueObjectFromData(
Zachary Turneraa5611f2016-11-13 03:29:46 +00003167 llvm::StringRef name, const DataExtractor &data,
Kate Stoneb9c1b512016-09-06 20:57:50 +00003168 const ExecutionContext &exe_ctx, CompilerType type) {
3169 lldb::ValueObjectSP new_value_sp;
3170 new_value_sp = ValueObjectConstResult::Create(
3171 exe_ctx.GetBestExecutionContextScope(), type, ConstString(name), data,
3172 LLDB_INVALID_ADDRESS);
3173 new_value_sp->SetAddressTypeOfChildren(eAddressTypeLoad);
Zachary Turneraa5611f2016-11-13 03:29:46 +00003174 if (new_value_sp && !name.empty())
Kate Stoneb9c1b512016-09-06 20:57:50 +00003175 new_value_sp->SetName(ConstString(name));
3176 return new_value_sp;
Enrico Granatab2698cd2012-09-13 18:27:09 +00003177}
Enrico Granata4873e522013-04-11 22:48:58 +00003178
Kate Stoneb9c1b512016-09-06 20:57:50 +00003179ModuleSP ValueObject::GetModule() {
3180 ValueObject *root(GetRoot());
3181 if (root != this)
3182 return root->GetModule();
3183 return lldb::ModuleSP();
3184}
3185
3186ValueObject *ValueObject::GetRoot() {
3187 if (m_root)
3188 return m_root;
3189 return (m_root = FollowParentChain([](ValueObject *vo) -> bool {
3190 return (vo->m_parent != nullptr);
3191 }));
3192}
3193
3194ValueObject *
3195ValueObject::FollowParentChain(std::function<bool(ValueObject *)> f) {
3196 ValueObject *vo = this;
3197 while (vo) {
Jonas Devliegherea6682a42018-12-15 00:15:33 +00003198 if (!f(vo))
Kate Stoneb9c1b512016-09-06 20:57:50 +00003199 break;
3200 vo = vo->m_parent;
3201 }
3202 return vo;
3203}
3204
3205AddressType ValueObject::GetAddressTypeOfChildren() {
3206 if (m_address_type_of_ptr_or_ref_children == eAddressTypeInvalid) {
3207 ValueObject *root(GetRoot());
Enrico Granata4873e522013-04-11 22:48:58 +00003208 if (root != this)
Kate Stoneb9c1b512016-09-06 20:57:50 +00003209 return root->GetAddressTypeOfChildren();
3210 }
3211 return m_address_type_of_ptr_or_ref_children;
Enrico Granata4873e522013-04-11 22:48:58 +00003212}
3213
Kate Stoneb9c1b512016-09-06 20:57:50 +00003214lldb::DynamicValueType ValueObject::GetDynamicValueType() {
3215 ValueObject *with_dv_info = this;
3216 while (with_dv_info) {
3217 if (with_dv_info->HasDynamicValueTypeInfo())
3218 return with_dv_info->GetDynamicValueTypeImpl();
3219 with_dv_info = with_dv_info->m_parent;
3220 }
3221 return lldb::eNoDynamicValues;
Enrico Granatade61eba2015-01-22 03:07:34 +00003222}
3223
Kate Stoneb9c1b512016-09-06 20:57:50 +00003224lldb::Format ValueObject::GetFormat() const {
3225 const ValueObject *with_fmt_info = this;
3226 while (with_fmt_info) {
3227 if (with_fmt_info->m_format != lldb::eFormatDefault)
3228 return with_fmt_info->m_format;
3229 with_fmt_info = with_fmt_info->m_parent;
3230 }
3231 return m_format;
Enrico Granata4873e522013-04-11 22:48:58 +00003232}
3233
Kate Stoneb9c1b512016-09-06 20:57:50 +00003234lldb::LanguageType ValueObject::GetPreferredDisplayLanguage() {
3235 lldb::LanguageType type = m_preferred_display_language;
3236 if (m_preferred_display_language == lldb::eLanguageTypeUnknown) {
3237 if (GetRoot()) {
3238 if (GetRoot() == this) {
3239 if (StackFrameSP frame_sp = GetFrameSP()) {
3240 const SymbolContext &sc(
3241 frame_sp->GetSymbolContext(eSymbolContextCompUnit));
3242 if (CompileUnit *cu = sc.comp_unit)
3243 type = cu->GetLanguage();
Enrico Granatac1247f52014-11-06 21:23:20 +00003244 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00003245 } else {
3246 type = GetRoot()->GetPreferredDisplayLanguage();
3247 }
Enrico Granatac1247f52014-11-06 21:23:20 +00003248 }
Kate Stoneb9c1b512016-09-06 20:57:50 +00003249 }
3250 return (m_preferred_display_language = type); // only compute it once
Enrico Granataed3228a2015-01-21 01:47:13 +00003251}
3252
Kate Stoneb9c1b512016-09-06 20:57:50 +00003253void ValueObject::SetPreferredDisplayLanguage(lldb::LanguageType lt) {
3254 m_preferred_display_language = lt;
Enrico Granatac1247f52014-11-06 21:23:20 +00003255}
3256
Kate Stoneb9c1b512016-09-06 20:57:50 +00003257void ValueObject::SetPreferredDisplayLanguageIfNeeded(lldb::LanguageType lt) {
3258 if (m_preferred_display_language == lldb::eLanguageTypeUnknown)
3259 SetPreferredDisplayLanguage(lt);
Enrico Granata73e8c4d2015-10-07 02:36:35 +00003260}
3261
Kate Stoneb9c1b512016-09-06 20:57:50 +00003262bool ValueObject::CanProvideValue() {
Adrian Prantl05097242018-04-30 16:49:04 +00003263 // we need to support invalid types as providers of values because some bare-
3264 // board debugging scenarios have no notion of types, but still manage to
3265 // have raw numeric values for things like registers. sigh.
Kate Stoneb9c1b512016-09-06 20:57:50 +00003266 const CompilerType &type(GetCompilerType());
Jonas Devliegherea6682a42018-12-15 00:15:33 +00003267 return (!type.IsValid()) || (0 != (type.GetTypeInfo() & eTypeHasValue));
Sean Callanan7375f3e2014-12-09 21:18:59 +00003268}
3269
Kate Stoneb9c1b512016-09-06 20:57:50 +00003270bool ValueObject::IsChecksumEmpty() { return m_value_checksum.empty(); }
3271
3272ValueObjectSP ValueObject::Persist() {
3273 if (!UpdateValueIfNeeded())
3274 return nullptr;
3275
3276 TargetSP target_sp(GetTargetSP());
3277 if (!target_sp)
3278 return nullptr;
3279
3280 PersistentExpressionState *persistent_state =
3281 target_sp->GetPersistentExpressionStateForLanguage(
3282 GetPreferredDisplayLanguage());
3283
3284 if (!persistent_state)
3285 return nullptr;
3286
Adrian Prantl03219f72018-04-30 23:59:17 +00003287 auto prefix = persistent_state->GetPersistentVariablePrefix();
3288 ConstString name =
3289 persistent_state->GetNextPersistentVariableName(*target_sp, prefix);
Kate Stoneb9c1b512016-09-06 20:57:50 +00003290
3291 ValueObjectSP const_result_sp =
3292 ValueObjectConstResult::Create(target_sp.get(), GetValue(), name);
3293
3294 ExpressionVariableSP clang_var_sp =
3295 persistent_state->CreatePersistentVariable(const_result_sp);
3296 clang_var_sp->m_live_sp = clang_var_sp->m_frozen_sp;
3297 clang_var_sp->m_flags |= ExpressionVariable::EVIsProgramReference;
3298
3299 return clang_var_sp->GetValueObject();
Enrico Granatad07cfd32014-10-08 18:27:36 +00003300}
Enrico Granata0c10a852014-12-08 23:13:56 +00003301
Kate Stoneb9c1b512016-09-06 20:57:50 +00003302bool ValueObject::IsSyntheticChildrenGenerated() {
3303 return m_is_synthetic_children_generated;
Enrico Granata0c10a852014-12-08 23:13:56 +00003304}
Enrico Granatae29df232014-12-09 19:51:20 +00003305
Kate Stoneb9c1b512016-09-06 20:57:50 +00003306void ValueObject::SetSyntheticChildrenGenerated(bool b) {
3307 m_is_synthetic_children_generated = b;
Enrico Granatae29df232014-12-09 19:51:20 +00003308}
3309
Kate Stoneb9c1b512016-09-06 20:57:50 +00003310uint64_t ValueObject::GetLanguageFlags() { return m_language_flags; }
Enrico Granatadc62ffd2015-11-09 19:27:34 +00003311
Kate Stoneb9c1b512016-09-06 20:57:50 +00003312void ValueObject::SetLanguageFlags(uint64_t flags) { m_language_flags = flags; }
Greg Clayton8369b282016-12-28 21:22:37 +00003313
3314ValueObjectManager::ValueObjectManager(lldb::ValueObjectSP in_valobj_sp,
3315 lldb::DynamicValueType use_dynamic,
3316 bool use_synthetic) : m_root_valobj_sp(),
3317 m_user_valobj_sp(), m_use_dynamic(use_dynamic), m_stop_id(UINT32_MAX),
3318 m_use_synthetic(use_synthetic) {
3319 if (!in_valobj_sp)
3320 return;
3321 // If the user passes in a value object that is dynamic or synthetic, then
3322 // water it down to the static type.
3323 m_root_valobj_sp = in_valobj_sp->GetQualifiedRepresentationIfAvailable(lldb::eNoDynamicValues, false);
3324}
3325
3326bool ValueObjectManager::IsValid() const {
3327 if (!m_root_valobj_sp)
3328 return false;
3329 lldb::TargetSP target_sp = GetTargetSP();
3330 if (target_sp)
3331 return target_sp->IsValid();
3332 return false;
3333}
3334
3335lldb::ValueObjectSP ValueObjectManager::GetSP() {
3336 lldb::ProcessSP process_sp = GetProcessSP();
3337 if (!process_sp)
3338 return lldb::ValueObjectSP();
3339
3340 const uint32_t current_stop_id = process_sp->GetLastNaturalStopID();
3341 if (current_stop_id == m_stop_id)
3342 return m_user_valobj_sp;
3343
3344 m_stop_id = current_stop_id;
3345
3346 if (!m_root_valobj_sp) {
3347 m_user_valobj_sp.reset();
3348 return m_root_valobj_sp;
3349 }
3350
3351 m_user_valobj_sp = m_root_valobj_sp;
3352
3353 if (m_use_dynamic != lldb::eNoDynamicValues) {
3354 lldb::ValueObjectSP dynamic_sp = m_user_valobj_sp->GetDynamicValue(m_use_dynamic);
3355 if (dynamic_sp)
3356 m_user_valobj_sp = dynamic_sp;
3357 }
3358
3359 if (m_use_synthetic) {
3360 lldb::ValueObjectSP synthetic_sp = m_user_valobj_sp->GetSyntheticValue(m_use_synthetic);
3361 if (synthetic_sp)
3362 m_user_valobj_sp = synthetic_sp;
3363 }
3364
3365 return m_user_valobj_sp;
3366}
3367
3368void ValueObjectManager::SetUseDynamic(lldb::DynamicValueType use_dynamic) {
3369 if (use_dynamic != m_use_dynamic) {
3370 m_use_dynamic = use_dynamic;
3371 m_user_valobj_sp.reset();
3372 m_stop_id = UINT32_MAX;
3373 }
3374}
3375
3376void ValueObjectManager::SetUseSynthetic(bool use_synthetic) {
3377 if (m_use_synthetic != use_synthetic) {
3378 m_use_synthetic = use_synthetic;
3379 m_user_valobj_sp.reset();
3380 m_stop_id = UINT32_MAX;
3381 }
3382}
3383
3384lldb::TargetSP ValueObjectManager::GetTargetSP() const {
3385 if (!m_root_valobj_sp)
3386 return m_root_valobj_sp->GetTargetSP();
3387 return lldb::TargetSP();
3388}
3389
3390lldb::ProcessSP ValueObjectManager::GetProcessSP() const {
3391 if (m_root_valobj_sp)
3392 return m_root_valobj_sp->GetProcessSP();
3393 return lldb::ProcessSP();
3394}
3395
3396lldb::ThreadSP ValueObjectManager::GetThreadSP() const {
3397 if (m_root_valobj_sp)
3398 return m_root_valobj_sp->GetThreadSP();
3399 return lldb::ThreadSP();
3400}
3401
3402lldb::StackFrameSP ValueObjectManager::GetFrameSP() const {
3403 if (m_root_valobj_sp)
3404 return m_root_valobj_sp->GetFrameSP();
3405 return lldb::StackFrameSP();
3406}
3407