• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===-- 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
17 #include "lldb/Core/Log.h"
18 #include "lldb/Core/Module.h"
19 #include "lldb/Core/ValueObjectList.h"
20 #include "lldb/Core/Value.h"
21 #include "lldb/Core/ValueObject.h"
22 
23 #include "lldb/Symbol/ClangASTType.h"
24 #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 
36 using namespace lldb_private;
37 
ValueObjectDynamicValue(ValueObject & parent,lldb::DynamicValueType use_dynamic)38 ValueObjectDynamicValue::ValueObjectDynamicValue (ValueObject &parent, lldb::DynamicValueType use_dynamic) :
39     ValueObject(parent),
40     m_address (),
41     m_dynamic_type_info(),
42     m_use_dynamic (use_dynamic)
43 {
44     SetName (parent.GetName());
45 }
46 
~ValueObjectDynamicValue()47 ValueObjectDynamicValue::~ValueObjectDynamicValue()
48 {
49     m_owning_valobj_sp.reset();
50 }
51 
52 ClangASTType
GetClangTypeImpl()53 ValueObjectDynamicValue::GetClangTypeImpl ()
54 {
55     if (m_dynamic_type_info.HasTypeSP())
56         return m_value.GetClangType();
57     else
58         return m_parent->GetClangType();
59 }
60 
61 ConstString
GetTypeName()62 ValueObjectDynamicValue::GetTypeName()
63 {
64     const bool success = UpdateValueIfNeeded(false);
65     if (success)
66     {
67         if (m_dynamic_type_info.HasTypeSP())
68             return GetClangType().GetConstTypeName();
69         if (m_dynamic_type_info.HasName())
70             return m_dynamic_type_info.GetName();
71     }
72     return m_parent->GetTypeName();
73 }
74 
75 ConstString
GetQualifiedTypeName()76 ValueObjectDynamicValue::GetQualifiedTypeName()
77 {
78     const bool success = UpdateValueIfNeeded(false);
79     if (success)
80     {
81         if (m_dynamic_type_info.HasTypeSP())
82             return GetClangType().GetConstQualifiedTypeName ();
83         if (m_dynamic_type_info.HasName())
84             return m_dynamic_type_info.GetName();
85     }
86     return m_parent->GetTypeName();
87 }
88 
89 size_t
CalculateNumChildren()90 ValueObjectDynamicValue::CalculateNumChildren()
91 {
92     const bool success = UpdateValueIfNeeded(false);
93     if (success && m_dynamic_type_info.HasTypeSP())
94         return GetClangType().GetNumChildren (true);
95     else
96         return m_parent->GetNumChildren();
97 }
98 
99 uint64_t
GetByteSize()100 ValueObjectDynamicValue::GetByteSize()
101 {
102     const bool success = UpdateValueIfNeeded(false);
103     if (success && m_dynamic_type_info.HasTypeSP())
104         return m_value.GetValueByteSize(NULL);
105     else
106         return m_parent->GetByteSize();
107 }
108 
109 lldb::ValueType
GetValueType() const110 ValueObjectDynamicValue::GetValueType() const
111 {
112     return m_parent->GetValueType();
113 }
114 
115 bool
UpdateValue()116 ValueObjectDynamicValue::UpdateValue ()
117 {
118     SetValueIsValid (false);
119     m_error.Clear();
120 
121     if (!m_parent->UpdateValueIfNeeded(false))
122     {
123         // 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();
126         return false;
127     }
128 
129     // 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     {
133         m_dynamic_type_info.Clear();
134         return true;
135     }
136 
137     ExecutionContext exe_ctx (GetExecutionContextRef());
138     Target *target = exe_ctx.GetTargetPtr();
139     if (target)
140     {
141         m_data.SetByteOrder(target->GetArchitecture().GetByteOrder());
142         m_data.SetAddressByteSize(target->GetArchitecture().GetAddressByteSize());
143     }
144 
145     // First make sure our Type and/or Address haven't changed:
146     Process *process = exe_ctx.GetProcessPtr();
147     if (!process)
148         return false;
149 
150     TypeAndOrName class_type_or_name;
151     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)
159             found_dynamic_type = runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
160     }
161     else
162     {
163         LanguageRuntime *cpp_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeC_plus_plus);
164         if (cpp_runtime)
165             found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
166 
167         if (!found_dynamic_type)
168         {
169             LanguageRuntime *objc_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeObjC);
170             if (objc_runtime)
171                 found_dynamic_type = objc_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address);
172         }
173     }
174 
175     // 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 
180     // 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     {
184         if (m_dynamic_type_info)
185             SetValueDidChange(true);
186         ClearDynamicTypeInformation();
187         m_dynamic_type_info.Clear();
188         m_value = m_parent->GetValue();
189         m_error = m_value.GetValueAsData (&exe_ctx, m_data, 0, GetModule().get());
190         return m_error.Success();
191     }
192 
193     Value old_value(m_value);
194 
195     Log *log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_TYPES));
196 
197     bool has_changed_type = false;
198 
199     if (!m_dynamic_type_info)
200     {
201         m_dynamic_type_info = class_type_or_name;
202         has_changed_type = true;
203     }
204     else if (class_type_or_name != m_dynamic_type_info)
205     {
206         // We are another type, we need to tear down our children...
207         m_dynamic_type_info = class_type_or_name;
208         SetValueDidChange (true);
209         has_changed_type = true;
210     }
211 
212     if (has_changed_type)
213         ClearDynamicTypeInformation ();
214 
215     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;
222         lldb::TargetSP target_sp (GetTargetSP());
223         lldb::addr_t load_address = m_address.GetLoadAddress(target_sp.get());
224         m_value.GetScalar() = load_address;
225     }
226 
227     ClangASTType corrected_type;
228     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...
233         ClangASTType orig_type = m_dynamic_type_info.GetTypeSP()->GetClangForwardType();
234         corrected_type = orig_type;
235         if (m_parent->IsPointerType())
236             corrected_type = orig_type.GetPointerType ();
237         else if (m_parent->IsPointerOrReferenceType())
238             corrected_type = orig_type.GetLValueReferenceType ();
239     }
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 
252     //m_value.SetContext (Value::eContextTypeClangType, corrected_type);
253     m_value.SetClangType (corrected_type);
254 
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 
259     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 
265     if (m_address.IsValid() && m_dynamic_type_info)
266     {
267         // The variable value is in the Scalar value inside the m_value.
268         // We can point our m_data right to it.
269         m_error = m_value.GetValueAsData (&exe_ctx, m_data, 0, GetModule().get());
270         if (m_error.Success())
271         {
272             if (GetClangType().IsAggregateType ())
273             {
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 
292 bool
IsInScope()293 ValueObjectDynamicValue::IsInScope ()
294 {
295     return m_parent->IsInScope();
296 }
297 
298 bool
SetValueFromCString(const char * value_str,Error & error)299 ValueObjectDynamicValue::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 }
334 
335 bool
SetData(DataExtractor & data,Error & error)336 ValueObjectDynamicValue::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 }
373