blob: 977cc4cd31324801cc3cedf306a46cff09a9be4b [file] [log] [blame]
Jim Inghame41494a2011-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 Granata7b695032012-10-17 22:23:56 +000017#include "lldb/Core/Log.h"
Jim Inghame41494a2011-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 Granata89fda002012-10-27 02:05:48 +000023#include "lldb/Symbol/ClangASTType.h"
Jim Inghame41494a2011-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 Inghame41494a2011-04-16 00:01:13 +000036using namespace lldb_private;
37
Jim Ingham10de7d12011-05-04 03:43:18 +000038ValueObjectDynamicValue::ValueObjectDynamicValue (ValueObject &parent, lldb::DynamicValueType use_dynamic) :
Jim Inghame41494a2011-04-16 00:01:13 +000039 ValueObject(parent),
40 m_address (),
Enrico Granata1a469c72013-01-23 01:17:27 +000041 m_dynamic_type_info(),
Jim Ingham10de7d12011-05-04 03:43:18 +000042 m_use_dynamic (use_dynamic)
Jim Inghame41494a2011-04-16 00:01:13 +000043{
Enrico Granata979e20d2011-07-29 19:53:35 +000044 SetName (parent.GetName());
Jim Inghame41494a2011-04-16 00:01:13 +000045}
46
47ValueObjectDynamicValue::~ValueObjectDynamicValue()
48{
49 m_owning_valobj_sp.reset();
50}
51
Greg Clayton52f79232013-07-11 22:46:58 +000052ClangASTType
Sean Callanan931acec2012-02-22 23:57:45 +000053ValueObjectDynamicValue::GetClangTypeImpl ()
Jim Inghame41494a2011-04-16 00:01:13 +000054{
Enrico Granata1a469c72013-01-23 01:17:27 +000055 if (m_dynamic_type_info.HasTypeSP())
Jim Inghame41494a2011-04-16 00:01:13 +000056 return m_value.GetClangType();
57 else
58 return m_parent->GetClangType();
59}
60
61ConstString
62ValueObjectDynamicValue::GetTypeName()
63{
Enrico Granataafb7c852011-08-02 17:27:39 +000064 const bool success = UpdateValueIfNeeded(false);
Enrico Granata1a469c72013-01-23 01:17:27 +000065 if (success)
66 {
67 if (m_dynamic_type_info.HasTypeSP())
Greg Clayton52f79232013-07-11 22:46:58 +000068 return GetClangType().GetConstTypeName();
Enrico Granata1a469c72013-01-23 01:17:27 +000069 if (m_dynamic_type_info.HasName())
70 return m_dynamic_type_info.GetName();
71 }
72 return m_parent->GetTypeName();
73}
74
75ConstString
76ValueObjectDynamicValue::GetQualifiedTypeName()
77{
78 const bool success = UpdateValueIfNeeded(false);
79 if (success)
80 {
81 if (m_dynamic_type_info.HasTypeSP())
Greg Clayton52f79232013-07-11 22:46:58 +000082 return GetClangType().GetConstQualifiedTypeName ();
Enrico Granata1a469c72013-01-23 01:17:27 +000083 if (m_dynamic_type_info.HasName())
84 return m_dynamic_type_info.GetName();
85 }
86 return m_parent->GetTypeName();
Jim Inghame41494a2011-04-16 00:01:13 +000087}
88
Greg Clayton36da2aa2013-01-25 18:06:21 +000089size_t
Jim Inghame41494a2011-04-16 00:01:13 +000090ValueObjectDynamicValue::CalculateNumChildren()
91{
Enrico Granataafb7c852011-08-02 17:27:39 +000092 const bool success = UpdateValueIfNeeded(false);
Enrico Granata1a469c72013-01-23 01:17:27 +000093 if (success && m_dynamic_type_info.HasTypeSP())
Greg Clayton52f79232013-07-11 22:46:58 +000094 return GetClangType().GetNumChildren (true);
Jim Inghame41494a2011-04-16 00:01:13 +000095 else
96 return m_parent->GetNumChildren();
97}
98
Greg Claytonfe6dc6e2013-03-14 18:31:44 +000099uint64_t
Jim Inghame41494a2011-04-16 00:01:13 +0000100ValueObjectDynamicValue::GetByteSize()
101{
Enrico Granataafb7c852011-08-02 17:27:39 +0000102 const bool success = UpdateValueIfNeeded(false);
Enrico Granata1a469c72013-01-23 01:17:27 +0000103 if (success && m_dynamic_type_info.HasTypeSP())
Greg Clayton52f79232013-07-11 22:46:58 +0000104 return m_value.GetValueByteSize(NULL);
Jim Inghame41494a2011-04-16 00:01:13 +0000105 else
106 return m_parent->GetByteSize();
107}
108
109lldb::ValueType
110ValueObjectDynamicValue::GetValueType() const
111{
112 return m_parent->GetValueType();
113}
114
115bool
116ValueObjectDynamicValue::UpdateValue ()
117{
118 SetValueIsValid (false);
119 m_error.Clear();
120
Enrico Granataafb7c852011-08-02 17:27:39 +0000121 if (!m_parent->UpdateValueIfNeeded(false))
Jim Inghame41494a2011-04-16 00:01:13 +0000122 {
Greg Clayton82f07462011-05-30 00:49:24 +0000123 // The dynamic value failed to get an error, pass the error along
124 if (m_error.Success() && m_parent->GetError().Fail())
125 m_error = m_parent->GetError();
Jim Inghame41494a2011-04-16 00:01:13 +0000126 return false;
127 }
128
Jim Ingham10de7d12011-05-04 03:43:18 +0000129 // Setting our type_sp to NULL will route everything back through our
130 // parent which is equivalent to not using dynamic values.
131 if (m_use_dynamic == lldb::eNoDynamicValues)
132 {
Enrico Granata1a469c72013-01-23 01:17:27 +0000133 m_dynamic_type_info.Clear();
Jim Ingham10de7d12011-05-04 03:43:18 +0000134 return true;
135 }
136
Greg Claytonb4d7fc02012-02-17 07:49:44 +0000137 ExecutionContext exe_ctx (GetExecutionContextRef());
Greg Clayton567e7f32011-09-22 04:58:26 +0000138 Target *target = exe_ctx.GetTargetPtr();
139 if (target)
Jim Inghame41494a2011-04-16 00:01:13 +0000140 {
Greg Clayton567e7f32011-09-22 04:58:26 +0000141 m_data.SetByteOrder(target->GetArchitecture().GetByteOrder());
142 m_data.SetAddressByteSize(target->GetArchitecture().GetAddressByteSize());
Jim Inghame41494a2011-04-16 00:01:13 +0000143 }
144
145 // First make sure our Type and/or Address haven't changed:
Greg Claytonb4d7fc02012-02-17 07:49:44 +0000146 Process *process = exe_ctx.GetProcessPtr();
Jim Inghame41494a2011-04-16 00:01:13 +0000147 if (!process)
148 return false;
149
Jim Inghamef80aab2011-05-02 18:13:59 +0000150 TypeAndOrName class_type_or_name;
Jim Inghame41494a2011-04-16 00:01:13 +0000151 Address dynamic_address;
152 bool found_dynamic_type = false;
153
154 lldb::LanguageType known_type = m_parent->GetObjectRuntimeLanguage();
155 if (known_type != lldb::eLanguageTypeUnknown && known_type != lldb::eLanguageTypeC)
156 {
157 LanguageRuntime *runtime = process->GetLanguageRuntime (known_type);
158 if (runtime)
Jim Ingham10de7d12011-05-04 03:43:18 +0000159 found_dynamic_type = runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
Jim Inghame41494a2011-04-16 00:01:13 +0000160 }
161 else
162 {
163 LanguageRuntime *cpp_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeC_plus_plus);
164 if (cpp_runtime)
Jim Ingham10de7d12011-05-04 03:43:18 +0000165 found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
Jim Inghame41494a2011-04-16 00:01:13 +0000166
167 if (!found_dynamic_type)
168 {
169 LanguageRuntime *objc_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeObjC);
170 if (objc_runtime)
Enrico Granata441f08c2011-08-03 02:18:51 +0000171 found_dynamic_type = objc_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
Jim Inghame41494a2011-04-16 00:01:13 +0000172 }
173 }
174
Jim Inghamef80aab2011-05-02 18:13:59 +0000175 // Getting the dynamic value may have run the program a bit, and so marked us as needing updating, but we really
176 // don't...
177
178 m_update_point.SetUpdated();
179
Jim Inghame41494a2011-04-16 00:01:13 +0000180 // If we don't have a dynamic type, then make ourselves just a echo of our parent.
181 // Or we could return false, and make ourselves an echo of our parent?
182 if (!found_dynamic_type)
183 {
Enrico Granata1a469c72013-01-23 01:17:27 +0000184 if (m_dynamic_type_info)
Enrico Granatac62ef462012-11-27 23:50:00 +0000185 SetValueDidChange(true);
Enrico Granata341c3112012-11-27 23:28:32 +0000186 ClearDynamicTypeInformation();
Enrico Granata1a469c72013-01-23 01:17:27 +0000187 m_dynamic_type_info.Clear();
Jim Inghame41494a2011-04-16 00:01:13 +0000188 m_value = m_parent->GetValue();
Greg Clayton52f79232013-07-11 22:46:58 +0000189 m_error = m_value.GetValueAsData (&exe_ctx, m_data, 0, GetModule().get());
Jim Inghame41494a2011-04-16 00:01:13 +0000190 return m_error.Success();
191 }
192
193 Value old_value(m_value);
194
Greg Clayton952e9dc2013-03-27 23:08:40 +0000195 Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_TYPES));
Enrico Granata7b695032012-10-17 22:23:56 +0000196
Enrico Granata3d656c72012-10-22 18:18:36 +0000197 bool has_changed_type = false;
198
Enrico Granata1a469c72013-01-23 01:17:27 +0000199 if (!m_dynamic_type_info)
Jim Inghame41494a2011-04-16 00:01:13 +0000200 {
Enrico Granata1a469c72013-01-23 01:17:27 +0000201 m_dynamic_type_info = class_type_or_name;
Enrico Granata3d656c72012-10-22 18:18:36 +0000202 has_changed_type = true;
Jim Inghame41494a2011-04-16 00:01:13 +0000203 }
Enrico Granata1a469c72013-01-23 01:17:27 +0000204 else if (class_type_or_name != m_dynamic_type_info)
Jim Inghame41494a2011-04-16 00:01:13 +0000205 {
206 // We are another type, we need to tear down our children...
Enrico Granata1a469c72013-01-23 01:17:27 +0000207 m_dynamic_type_info = class_type_or_name;
Jim Inghame41494a2011-04-16 00:01:13 +0000208 SetValueDidChange (true);
Enrico Granata3d656c72012-10-22 18:18:36 +0000209 has_changed_type = true;
Jim Inghame41494a2011-04-16 00:01:13 +0000210 }
211
Enrico Granata3d656c72012-10-22 18:18:36 +0000212 if (has_changed_type)
213 ClearDynamicTypeInformation ();
214
Jim Inghame41494a2011-04-16 00:01:13 +0000215 if (!m_address.IsValid() || m_address != dynamic_address)
216 {
217 if (m_address.IsValid())
218 SetValueDidChange (true);
219
220 // We've moved, so we should be fine...
221 m_address = dynamic_address;
Greg Claytonb4d7fc02012-02-17 07:49:44 +0000222 lldb::TargetSP target_sp (GetTargetSP());
223 lldb::addr_t load_address = m_address.GetLoadAddress(target_sp.get());
Jim Inghame41494a2011-04-16 00:01:13 +0000224 m_value.GetScalar() = load_address;
225 }
226
Greg Clayton52f79232013-07-11 22:46:58 +0000227 ClangASTType corrected_type;
Enrico Granata1a469c72013-01-23 01:17:27 +0000228 if (m_dynamic_type_info.HasTypeSP())
229 {
230 // The type will always be the type of the dynamic object. If our parent's type was a pointer,
231 // then our type should be a pointer to the type of the dynamic object. If a reference, then the original type
232 // should be okay...
Greg Clayton52f79232013-07-11 22:46:58 +0000233 ClangASTType orig_type = m_dynamic_type_info.GetTypeSP()->GetClangForwardType();
Enrico Granata1a469c72013-01-23 01:17:27 +0000234 corrected_type = orig_type;
235 if (m_parent->IsPointerType())
Greg Clayton52f79232013-07-11 22:46:58 +0000236 corrected_type = orig_type.GetPointerType ();
Enrico Granata1a469c72013-01-23 01:17:27 +0000237 else if (m_parent->IsPointerOrReferenceType())
Greg Clayton52f79232013-07-11 22:46:58 +0000238 corrected_type = orig_type.GetLValueReferenceType ();
Enrico Granata1a469c72013-01-23 01:17:27 +0000239 }
240 else /*if (m_dynamic_type_info.HasName())*/
241 {
242 // If we are here we need to adjust our dynamic type name to include the correct & or * symbol
243 std::string type_name_buf (m_dynamic_type_info.GetName().GetCString());
244 if (m_parent->IsPointerType())
245 type_name_buf.append(" *");
246 else if (m_parent->IsPointerOrReferenceType())
247 type_name_buf.append(" &");
248 corrected_type = m_parent->GetClangType();
249 m_dynamic_type_info.SetName(type_name_buf.c_str());
250 }
251
Greg Clayton52f79232013-07-11 22:46:58 +0000252 //m_value.SetContext (Value::eContextTypeClangType, corrected_type);
253 m_value.SetClangType (corrected_type);
Jim Inghame41494a2011-04-16 00:01:13 +0000254
255 // Our address is the location of the dynamic type stored in memory. It isn't a load address,
256 // because we aren't pointing to the LOCATION that stores the pointer to us, we're pointing to us...
257 m_value.SetValueType(Value::eValueTypeScalar);
258
Enrico Granata3d656c72012-10-22 18:18:36 +0000259 if (has_changed_type && log)
260 log->Printf("[%s %p] has a new dynamic type %s",
261 GetName().GetCString(),
262 this,
263 GetTypeName().GetCString());
264
Enrico Granata1a469c72013-01-23 01:17:27 +0000265 if (m_address.IsValid() && m_dynamic_type_info)
Jim Inghame41494a2011-04-16 00:01:13 +0000266 {
267 // The variable value is in the Scalar value inside the m_value.
268 // We can point our m_data right to it.
Greg Clayton52f79232013-07-11 22:46:58 +0000269 m_error = m_value.GetValueAsData (&exe_ctx, m_data, 0, GetModule().get());
Jim Inghame41494a2011-04-16 00:01:13 +0000270 if (m_error.Success())
271 {
Greg Clayton52f79232013-07-11 22:46:58 +0000272 if (GetClangType().IsAggregateType ())
Jim Inghame41494a2011-04-16 00:01:13 +0000273 {
274 // this value object represents an aggregate type whose
275 // children have values, but this object does not. So we
276 // say we are changed if our location has changed.
277 SetValueDidChange (m_value.GetValueType() != old_value.GetValueType() || m_value.GetScalar() != old_value.GetScalar());
278 }
279
280 SetValueIsValid (true);
281 return true;
282 }
283 }
284
285 // We get here if we've failed above...
286 SetValueIsValid (false);
287 return false;
288}
289
290
291
292bool
293ValueObjectDynamicValue::IsInScope ()
294{
295 return m_parent->IsInScope();
296}
297
Enrico Granata651cbe22012-05-08 21:25:06 +0000298bool
299ValueObjectDynamicValue::SetValueFromCString (const char *value_str, Error& error)
300{
301 if (!UpdateValueIfNeeded(false))
302 {
303 error.SetErrorString("unable to read value");
304 return false;
305 }
306
307 uint64_t my_value = GetValueAsUnsigned(UINT64_MAX);
308 uint64_t parent_value = m_parent->GetValueAsUnsigned(UINT64_MAX);
309
310 if (my_value == UINT64_MAX || parent_value == UINT64_MAX)
311 {
312 error.SetErrorString("unable to read value");
313 return false;
314 }
315
316 // if we are at an offset from our parent, in order to set ourselves correctly we would need
317 // to change the new value so that it refers to the correct dynamic type. we choose not to deal
318 // with that - if anything more than a value overwrite is required, you should be using the
319 // expression parser instead of the value editing facility
320 if (my_value != parent_value)
321 {
322 // but NULL'ing out a value should always be allowed
323 if (strcmp(value_str,"0"))
324 {
325 error.SetErrorString("unable to modify dynamic value, use 'expression' command");
326 return false;
327 }
328 }
329
330 bool ret_val = m_parent->SetValueFromCString(value_str,error);
331 SetNeedsUpdate();
332 return ret_val;
333}
Sean Callananab8e00e2013-04-13 01:21:23 +0000334
335bool
336ValueObjectDynamicValue::SetData (DataExtractor &data, Error &error)
337{
338 if (!UpdateValueIfNeeded(false))
339 {
340 error.SetErrorString("unable to read value");
341 return false;
342 }
343
344 uint64_t my_value = GetValueAsUnsigned(UINT64_MAX);
345 uint64_t parent_value = m_parent->GetValueAsUnsigned(UINT64_MAX);
346
347 if (my_value == UINT64_MAX || parent_value == UINT64_MAX)
348 {
349 error.SetErrorString("unable to read value");
350 return false;
351 }
352
353 // if we are at an offset from our parent, in order to set ourselves correctly we would need
354 // to change the new value so that it refers to the correct dynamic type. we choose not to deal
355 // with that - if anything more than a value overwrite is required, you should be using the
356 // expression parser instead of the value editing facility
357 if (my_value != parent_value)
358 {
359 // but NULL'ing out a value should always be allowed
360 lldb::offset_t offset = 0;
361
362 if (data.GetPointer(&offset) != 0)
363 {
364 error.SetErrorString("unable to modify dynamic value, use 'expression' command");
365 return false;
366 }
367 }
368
369 bool ret_val = m_parent->SetData(data, error);
370 SetNeedsUpdate();
371 return ret_val;
372}