blob: a6fad7a9b1fd779bcde048de9ebd65cfac2edf36 [file] [log] [blame]
Jim Ingham78a685a2011-04-16 00:01:13 +00001//===-- ValueObjectDynamicValue.cpp ---------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10
11#include "lldb/Core/ValueObjectDynamicValue.h"
12
13// C Includes
14// C++ Includes
15// Other libraries and framework includes
16// Project includes
Enrico Granatad2284832012-10-17 22:23:56 +000017#include "lldb/Core/Log.h"
Jim Ingham78a685a2011-04-16 00:01:13 +000018#include "lldb/Core/Module.h"
19#include "lldb/Core/ValueObjectList.h"
20#include "lldb/Core/Value.h"
21#include "lldb/Core/ValueObject.h"
22
Enrico Granata21fd13f2012-10-27 02:05:48 +000023#include "lldb/Symbol/ClangASTType.h"
Jim Ingham78a685a2011-04-16 00:01:13 +000024#include "lldb/Symbol/ObjectFile.h"
25#include "lldb/Symbol/SymbolContext.h"
26#include "lldb/Symbol/Type.h"
27#include "lldb/Symbol/Variable.h"
28
29#include "lldb/Target/ExecutionContext.h"
30#include "lldb/Target/LanguageRuntime.h"
31#include "lldb/Target/Process.h"
32#include "lldb/Target/RegisterContext.h"
33#include "lldb/Target/Target.h"
34#include "lldb/Target/Thread.h"
35
Jim Ingham78a685a2011-04-16 00:01:13 +000036using namespace lldb_private;
37
Jim Ingham2837b762011-05-04 03:43:18 +000038ValueObjectDynamicValue::ValueObjectDynamicValue (ValueObject &parent, lldb::DynamicValueType use_dynamic) :
Jim Ingham78a685a2011-04-16 00:01:13 +000039 ValueObject(parent),
40 m_address (),
Enrico Granataf7b1a342013-01-23 01:17:27 +000041 m_dynamic_type_info(),
Jim Ingham2837b762011-05-04 03:43:18 +000042 m_use_dynamic (use_dynamic)
Jim Ingham78a685a2011-04-16 00:01:13 +000043{
Enrico Granata6f3533f2011-07-29 19:53:35 +000044 SetName (parent.GetName());
Jim Ingham78a685a2011-04-16 00:01:13 +000045}
46
47ValueObjectDynamicValue::~ValueObjectDynamicValue()
48{
49 m_owning_valobj_sp.reset();
50}
51
Greg Clayton57ee3062013-07-11 22:46:58 +000052ClangASTType
Sean Callanan72772842012-02-22 23:57:45 +000053ValueObjectDynamicValue::GetClangTypeImpl ()
Jim Ingham78a685a2011-04-16 00:01:13 +000054{
Enrico Granatadc4db5a2013-10-29 00:28:35 +000055 const bool success = UpdateValueIfNeeded(false);
56 if (success)
57 {
58 if (m_dynamic_type_info.HasType())
59 return m_value.GetClangType();
60 else
61 return m_parent->GetClangType();
62 }
63 return m_parent->GetClangType();
Jim Ingham78a685a2011-04-16 00:01:13 +000064}
65
66ConstString
67ValueObjectDynamicValue::GetTypeName()
68{
Enrico Granatac3e320a2011-08-02 17:27:39 +000069 const bool success = UpdateValueIfNeeded(false);
Enrico Granataf7b1a342013-01-23 01:17:27 +000070 if (success)
71 {
Enrico Granataf7b1a342013-01-23 01:17:27 +000072 if (m_dynamic_type_info.HasName())
73 return m_dynamic_type_info.GetName();
74 }
75 return m_parent->GetTypeName();
76}
77
Enrico Granatadc4db5a2013-10-29 00:28:35 +000078TypeImpl
79ValueObjectDynamicValue::GetTypeImpl ()
80{
81 const bool success = UpdateValueIfNeeded(false);
Enrico Granatadf7c7f92013-10-29 17:42:02 +000082 if (success && m_type_impl.IsValid())
Enrico Granatadc4db5a2013-10-29 00:28:35 +000083 {
84 return m_type_impl;
85 }
86 return m_parent->GetTypeImpl();
87}
88
Enrico Granataf7b1a342013-01-23 01:17:27 +000089ConstString
90ValueObjectDynamicValue::GetQualifiedTypeName()
91{
92 const bool success = UpdateValueIfNeeded(false);
93 if (success)
94 {
Enrico Granataf7b1a342013-01-23 01:17:27 +000095 if (m_dynamic_type_info.HasName())
96 return m_dynamic_type_info.GetName();
97 }
Enrico Granatae8daa2f2014-05-17 19:14:17 +000098 return m_parent->GetQualifiedTypeName();
99}
100
101ConstString
102ValueObjectDynamicValue::GetDisplayTypeName()
103{
104 const bool success = UpdateValueIfNeeded(false);
105 if (success)
106 {
107 if (m_dynamic_type_info.HasType())
108 return GetClangType().GetDisplayTypeName();
109 if (m_dynamic_type_info.HasName())
110 return m_dynamic_type_info.GetName();
111 }
112 return m_parent->GetDisplayTypeName();
Jim Ingham78a685a2011-04-16 00:01:13 +0000113}
114
Greg Claytonc7bece562013-01-25 18:06:21 +0000115size_t
Jim Ingham78a685a2011-04-16 00:01:13 +0000116ValueObjectDynamicValue::CalculateNumChildren()
117{
Enrico Granatac3e320a2011-08-02 17:27:39 +0000118 const bool success = UpdateValueIfNeeded(false);
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000119 if (success && m_dynamic_type_info.HasType())
Greg Clayton57ee3062013-07-11 22:46:58 +0000120 return GetClangType().GetNumChildren (true);
Jim Ingham78a685a2011-04-16 00:01:13 +0000121 else
122 return m_parent->GetNumChildren();
123}
124
Greg Claytonfaac1112013-03-14 18:31:44 +0000125uint64_t
Jim Ingham78a685a2011-04-16 00:01:13 +0000126ValueObjectDynamicValue::GetByteSize()
127{
Enrico Granatac3e320a2011-08-02 17:27:39 +0000128 const bool success = UpdateValueIfNeeded(false);
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000129 if (success && m_dynamic_type_info.HasType())
Greg Clayton57ee3062013-07-11 22:46:58 +0000130 return m_value.GetValueByteSize(NULL);
Jim Ingham78a685a2011-04-16 00:01:13 +0000131 else
132 return m_parent->GetByteSize();
133}
134
135lldb::ValueType
136ValueObjectDynamicValue::GetValueType() const
137{
138 return m_parent->GetValueType();
139}
140
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000141
142static TypeAndOrName
143FixupTypeAndOrName (const TypeAndOrName& type_andor_name,
144 ValueObject& parent)
145{
146 TypeAndOrName ret(type_andor_name);
147 if (type_andor_name.HasType())
148 {
149 // The type will always be the type of the dynamic object. If our parent's type was a pointer,
150 // then our type should be a pointer to the type of the dynamic object. If a reference, then the original type
151 // should be okay...
152 ClangASTType orig_type = type_andor_name.GetClangASTType();
153 ClangASTType corrected_type = orig_type;
154 if (parent.IsPointerType())
155 corrected_type = orig_type.GetPointerType ();
156 else if (parent.IsPointerOrReferenceType())
157 corrected_type = orig_type.GetLValueReferenceType ();
158 ret.SetClangASTType(corrected_type);
159 }
160 else /*if (m_dynamic_type_info.HasName())*/
161 {
162 // If we are here we need to adjust our dynamic type name to include the correct & or * symbol
163 std::string corrected_name (type_andor_name.GetName().GetCString());
164 if (parent.IsPointerType())
165 corrected_name.append(" *");
166 else if (parent.IsPointerOrReferenceType())
167 corrected_name.append(" &");
Enrico Granatafcf0c4e2013-10-31 22:42:00 +0000168 // the parent type should be a correctly pointer'ed or referenc'ed type
169 ret.SetClangASTType(parent.GetClangType());
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000170 ret.SetName(corrected_name.c_str());
171 }
172 return ret;
173}
174
Jim Ingham78a685a2011-04-16 00:01:13 +0000175bool
176ValueObjectDynamicValue::UpdateValue ()
177{
178 SetValueIsValid (false);
179 m_error.Clear();
180
Enrico Granatac3e320a2011-08-02 17:27:39 +0000181 if (!m_parent->UpdateValueIfNeeded(false))
Jim Ingham78a685a2011-04-16 00:01:13 +0000182 {
Greg Clayton007d5be2011-05-30 00:49:24 +0000183 // The dynamic value failed to get an error, pass the error along
184 if (m_error.Success() && m_parent->GetError().Fail())
185 m_error = m_parent->GetError();
Jim Ingham78a685a2011-04-16 00:01:13 +0000186 return false;
187 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000188
Jim Ingham2837b762011-05-04 03:43:18 +0000189 // Setting our type_sp to NULL will route everything back through our
190 // parent which is equivalent to not using dynamic values.
191 if (m_use_dynamic == lldb::eNoDynamicValues)
192 {
Enrico Granataf7b1a342013-01-23 01:17:27 +0000193 m_dynamic_type_info.Clear();
Jim Ingham2837b762011-05-04 03:43:18 +0000194 return true;
195 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000196
Greg Claytoncc4d0142012-02-17 07:49:44 +0000197 ExecutionContext exe_ctx (GetExecutionContextRef());
Greg Claytonc14ee322011-09-22 04:58:26 +0000198 Target *target = exe_ctx.GetTargetPtr();
199 if (target)
Jim Ingham78a685a2011-04-16 00:01:13 +0000200 {
Greg Claytonc14ee322011-09-22 04:58:26 +0000201 m_data.SetByteOrder(target->GetArchitecture().GetByteOrder());
202 m_data.SetAddressByteSize(target->GetArchitecture().GetAddressByteSize());
Jim Ingham78a685a2011-04-16 00:01:13 +0000203 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000204
Jim Ingham78a685a2011-04-16 00:01:13 +0000205 // First make sure our Type and/or Address haven't changed:
Greg Claytoncc4d0142012-02-17 07:49:44 +0000206 Process *process = exe_ctx.GetProcessPtr();
Jim Ingham78a685a2011-04-16 00:01:13 +0000207 if (!process)
208 return false;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000209
Jim Ingham61be0902011-05-02 18:13:59 +0000210 TypeAndOrName class_type_or_name;
Jim Ingham78a685a2011-04-16 00:01:13 +0000211 Address dynamic_address;
212 bool found_dynamic_type = false;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000213
Jim Ingham78a685a2011-04-16 00:01:13 +0000214 lldb::LanguageType known_type = m_parent->GetObjectRuntimeLanguage();
215 if (known_type != lldb::eLanguageTypeUnknown && known_type != lldb::eLanguageTypeC)
216 {
217 LanguageRuntime *runtime = process->GetLanguageRuntime (known_type);
218 if (runtime)
Jim Ingham2837b762011-05-04 03:43:18 +0000219 found_dynamic_type = runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
Jim Ingham78a685a2011-04-16 00:01:13 +0000220 }
221 else
222 {
223 LanguageRuntime *cpp_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeC_plus_plus);
224 if (cpp_runtime)
Jim Ingham2837b762011-05-04 03:43:18 +0000225 found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000226
Jim Ingham78a685a2011-04-16 00:01:13 +0000227 if (!found_dynamic_type)
228 {
229 LanguageRuntime *objc_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeObjC);
230 if (objc_runtime)
Enrico Granata9910bc82011-08-03 02:18:51 +0000231 found_dynamic_type = objc_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
Jim Ingham78a685a2011-04-16 00:01:13 +0000232 }
233 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000234
Jim Ingham61be0902011-05-02 18:13:59 +0000235 // Getting the dynamic value may have run the program a bit, and so marked us as needing updating, but we really
236 // don't...
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000237
Jim Ingham61be0902011-05-02 18:13:59 +0000238 m_update_point.SetUpdated();
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000239
Enrico Granatadf7c7f92013-10-29 17:42:02 +0000240 if (found_dynamic_type)
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000241 {
Enrico Granatadf7c7f92013-10-29 17:42:02 +0000242 if (class_type_or_name.HasType())
243 {
244 // TypeSP are always generated from debug info
245 if (!class_type_or_name.HasTypeSP() && class_type_or_name.GetClangASTType().IsRuntimeGeneratedType())
246 {
247 m_type_impl = TypeImpl(m_parent->GetClangType(),FixupTypeAndOrName(class_type_or_name, *m_parent).GetClangASTType());
248 class_type_or_name.SetClangASTType(ClangASTType());
249 }
250 else
251 {
252 m_type_impl = TypeImpl(FixupTypeAndOrName(class_type_or_name, *m_parent).GetClangASTType());
253 }
254 }
255 else
256 {
257 m_type_impl.Clear();
258 }
259 }
260 else
261 {
262 m_type_impl.Clear();
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000263 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000264
Jim Ingham78a685a2011-04-16 00:01:13 +0000265 // If we don't have a dynamic type, then make ourselves just a echo of our parent.
266 // Or we could return false, and make ourselves an echo of our parent?
267 if (!found_dynamic_type)
268 {
Enrico Granataf7b1a342013-01-23 01:17:27 +0000269 if (m_dynamic_type_info)
Enrico Granata75badc42012-11-27 23:50:00 +0000270 SetValueDidChange(true);
Enrico Granatabd83b872012-11-27 23:28:32 +0000271 ClearDynamicTypeInformation();
Enrico Granataf7b1a342013-01-23 01:17:27 +0000272 m_dynamic_type_info.Clear();
Jim Ingham78a685a2011-04-16 00:01:13 +0000273 m_value = m_parent->GetValue();
Greg Clayton57ee3062013-07-11 22:46:58 +0000274 m_error = m_value.GetValueAsData (&exe_ctx, m_data, 0, GetModule().get());
Jim Ingham78a685a2011-04-16 00:01:13 +0000275 return m_error.Success();
276 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000277
Jim Ingham78a685a2011-04-16 00:01:13 +0000278 Value old_value(m_value);
279
Greg Clayton5160ce52013-03-27 23:08:40 +0000280 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_TYPES));
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000281
Enrico Granatae3e91512012-10-22 18:18:36 +0000282 bool has_changed_type = false;
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000283
Enrico Granataf7b1a342013-01-23 01:17:27 +0000284 if (!m_dynamic_type_info)
Jim Ingham78a685a2011-04-16 00:01:13 +0000285 {
Enrico Granataf7b1a342013-01-23 01:17:27 +0000286 m_dynamic_type_info = class_type_or_name;
Enrico Granatae3e91512012-10-22 18:18:36 +0000287 has_changed_type = true;
Jim Ingham78a685a2011-04-16 00:01:13 +0000288 }
Enrico Granataf7b1a342013-01-23 01:17:27 +0000289 else if (class_type_or_name != m_dynamic_type_info)
Jim Ingham78a685a2011-04-16 00:01:13 +0000290 {
291 // We are another type, we need to tear down our children...
Enrico Granataf7b1a342013-01-23 01:17:27 +0000292 m_dynamic_type_info = class_type_or_name;
Jim Ingham78a685a2011-04-16 00:01:13 +0000293 SetValueDidChange (true);
Enrico Granatae3e91512012-10-22 18:18:36 +0000294 has_changed_type = true;
Jim Ingham78a685a2011-04-16 00:01:13 +0000295 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000296
Enrico Granatae3e91512012-10-22 18:18:36 +0000297 if (has_changed_type)
298 ClearDynamicTypeInformation ();
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000299
Jim Ingham78a685a2011-04-16 00:01:13 +0000300 if (!m_address.IsValid() || m_address != dynamic_address)
301 {
302 if (m_address.IsValid())
303 SetValueDidChange (true);
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000304
Jim Ingham78a685a2011-04-16 00:01:13 +0000305 // We've moved, so we should be fine...
306 m_address = dynamic_address;
Greg Claytoncc4d0142012-02-17 07:49:44 +0000307 lldb::TargetSP target_sp (GetTargetSP());
308 lldb::addr_t load_address = m_address.GetLoadAddress(target_sp.get());
Jim Ingham78a685a2011-04-16 00:01:13 +0000309 m_value.GetScalar() = load_address;
310 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000311
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000312 m_dynamic_type_info = FixupTypeAndOrName(m_dynamic_type_info, *m_parent);
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000313
Greg Clayton57ee3062013-07-11 22:46:58 +0000314 //m_value.SetContext (Value::eContextTypeClangType, corrected_type);
Enrico Granatadc4db5a2013-10-29 00:28:35 +0000315 m_value.SetClangType (m_dynamic_type_info.GetClangASTType());
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000316
Jim Ingham78a685a2011-04-16 00:01:13 +0000317 // Our address is the location of the dynamic type stored in memory. It isn't a load address,
318 // because we aren't pointing to the LOCATION that stores the pointer to us, we're pointing to us...
319 m_value.SetValueType(Value::eValueTypeScalar);
320
Enrico Granatae3e91512012-10-22 18:18:36 +0000321 if (has_changed_type && log)
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000322 log->Printf("[%s %p] has a new dynamic type %s", GetName().GetCString(),
323 static_cast<void*>(this), GetTypeName().GetCString());
324
Enrico Granataf7b1a342013-01-23 01:17:27 +0000325 if (m_address.IsValid() && m_dynamic_type_info)
Jim Ingham78a685a2011-04-16 00:01:13 +0000326 {
327 // The variable value is in the Scalar value inside the m_value.
328 // We can point our m_data right to it.
Greg Clayton57ee3062013-07-11 22:46:58 +0000329 m_error = m_value.GetValueAsData (&exe_ctx, m_data, 0, GetModule().get());
Jim Ingham78a685a2011-04-16 00:01:13 +0000330 if (m_error.Success())
331 {
Greg Clayton57ee3062013-07-11 22:46:58 +0000332 if (GetClangType().IsAggregateType ())
Jim Ingham78a685a2011-04-16 00:01:13 +0000333 {
334 // this value object represents an aggregate type whose
335 // children have values, but this object does not. So we
336 // say we are changed if our location has changed.
337 SetValueDidChange (m_value.GetValueType() != old_value.GetValueType() || m_value.GetScalar() != old_value.GetScalar());
338 }
339
340 SetValueIsValid (true);
341 return true;
342 }
343 }
Saleem Abdulrasool324a1032014-04-04 04:06:10 +0000344
Jim Ingham78a685a2011-04-16 00:01:13 +0000345 // We get here if we've failed above...
346 SetValueIsValid (false);
347 return false;
348}
349
350
351
352bool
353ValueObjectDynamicValue::IsInScope ()
354{
355 return m_parent->IsInScope();
356}
357
Enrico Granata07a4ac22012-05-08 21:25:06 +0000358bool
359ValueObjectDynamicValue::SetValueFromCString (const char *value_str, Error& error)
360{
361 if (!UpdateValueIfNeeded(false))
362 {
363 error.SetErrorString("unable to read value");
364 return false;
365 }
366
367 uint64_t my_value = GetValueAsUnsigned(UINT64_MAX);
368 uint64_t parent_value = m_parent->GetValueAsUnsigned(UINT64_MAX);
369
370 if (my_value == UINT64_MAX || parent_value == UINT64_MAX)
371 {
372 error.SetErrorString("unable to read value");
373 return false;
374 }
375
376 // if we are at an offset from our parent, in order to set ourselves correctly we would need
377 // to change the new value so that it refers to the correct dynamic type. we choose not to deal
378 // with that - if anything more than a value overwrite is required, you should be using the
379 // expression parser instead of the value editing facility
380 if (my_value != parent_value)
381 {
382 // but NULL'ing out a value should always be allowed
383 if (strcmp(value_str,"0"))
384 {
385 error.SetErrorString("unable to modify dynamic value, use 'expression' command");
386 return false;
387 }
388 }
389
390 bool ret_val = m_parent->SetValueFromCString(value_str,error);
391 SetNeedsUpdate();
392 return ret_val;
393}
Sean Callanan389823e2013-04-13 01:21:23 +0000394
395bool
396ValueObjectDynamicValue::SetData (DataExtractor &data, Error &error)
397{
398 if (!UpdateValueIfNeeded(false))
399 {
400 error.SetErrorString("unable to read value");
401 return false;
402 }
403
404 uint64_t my_value = GetValueAsUnsigned(UINT64_MAX);
405 uint64_t parent_value = m_parent->GetValueAsUnsigned(UINT64_MAX);
406
407 if (my_value == UINT64_MAX || parent_value == UINT64_MAX)
408 {
409 error.SetErrorString("unable to read value");
410 return false;
411 }
412
413 // if we are at an offset from our parent, in order to set ourselves correctly we would need
414 // to change the new value so that it refers to the correct dynamic type. we choose not to deal
415 // with that - if anything more than a value overwrite is required, you should be using the
416 // expression parser instead of the value editing facility
417 if (my_value != parent_value)
418 {
419 // but NULL'ing out a value should always be allowed
420 lldb::offset_t offset = 0;
421
422 if (data.GetPointer(&offset) != 0)
423 {
424 error.SetErrorString("unable to modify dynamic value, use 'expression' command");
425 return false;
426 }
427 }
428
429 bool ret_val = m_parent->SetData(data, error);
430 SetNeedsUpdate();
431 return ret_val;
432}