178a685aaSJim Ingham //===-- ValueObjectDynamicValue.cpp ---------------------------------*- C++ -*-===// 278a685aaSJim Ingham // 378a685aaSJim Ingham // The LLVM Compiler Infrastructure 478a685aaSJim Ingham // 578a685aaSJim Ingham // This file is distributed under the University of Illinois Open Source 678a685aaSJim Ingham // License. See LICENSE.TXT for details. 778a685aaSJim Ingham // 878a685aaSJim Ingham //===----------------------------------------------------------------------===// 978a685aaSJim Ingham 1078a685aaSJim Ingham 1178a685aaSJim Ingham #include "lldb/Core/ValueObjectDynamicValue.h" 1278a685aaSJim Ingham 1378a685aaSJim Ingham // C Includes 1478a685aaSJim Ingham // C++ Includes 1578a685aaSJim Ingham // Other libraries and framework includes 1678a685aaSJim Ingham // Project includes 17d228483dSEnrico Granata #include "lldb/Core/Log.h" 1878a685aaSJim Ingham #include "lldb/Core/Module.h" 1978a685aaSJim Ingham #include "lldb/Core/ValueObjectList.h" 2078a685aaSJim Ingham #include "lldb/Core/Value.h" 2178a685aaSJim Ingham #include "lldb/Core/ValueObject.h" 2278a685aaSJim Ingham 2321fd13f9SEnrico Granata #include "lldb/Symbol/ClangASTType.h" 2478a685aaSJim Ingham #include "lldb/Symbol/ObjectFile.h" 2578a685aaSJim Ingham #include "lldb/Symbol/SymbolContext.h" 2678a685aaSJim Ingham #include "lldb/Symbol/Type.h" 2778a685aaSJim Ingham #include "lldb/Symbol/Variable.h" 2878a685aaSJim Ingham 2978a685aaSJim Ingham #include "lldb/Target/ExecutionContext.h" 3078a685aaSJim Ingham #include "lldb/Target/LanguageRuntime.h" 3178a685aaSJim Ingham #include "lldb/Target/Process.h" 3278a685aaSJim Ingham #include "lldb/Target/RegisterContext.h" 3378a685aaSJim Ingham #include "lldb/Target/Target.h" 3478a685aaSJim Ingham #include "lldb/Target/Thread.h" 3578a685aaSJim Ingham 3678a685aaSJim Ingham using namespace lldb_private; 3778a685aaSJim Ingham 382837b766SJim Ingham ValueObjectDynamicValue::ValueObjectDynamicValue (ValueObject &parent, lldb::DynamicValueType use_dynamic) : 3978a685aaSJim Ingham ValueObject(parent), 4078a685aaSJim Ingham m_address (), 41f7b1a34eSEnrico Granata m_dynamic_type_info(), 422837b766SJim Ingham m_use_dynamic (use_dynamic) 4378a685aaSJim Ingham { 446f3533fbSEnrico Granata SetName (parent.GetName()); 4578a685aaSJim Ingham } 4678a685aaSJim Ingham 4778a685aaSJim Ingham ValueObjectDynamicValue::~ValueObjectDynamicValue() 4878a685aaSJim Ingham { 4978a685aaSJim Ingham m_owning_valobj_sp.reset(); 5078a685aaSJim Ingham } 5178a685aaSJim Ingham 5278a685aaSJim Ingham lldb::clang_type_t 537277284fSSean Callanan ValueObjectDynamicValue::GetClangTypeImpl () 5478a685aaSJim Ingham { 55f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 5678a685aaSJim Ingham return m_value.GetClangType(); 5778a685aaSJim Ingham else 5878a685aaSJim Ingham return m_parent->GetClangType(); 5978a685aaSJim Ingham } 6078a685aaSJim Ingham 6178a685aaSJim Ingham ConstString 6278a685aaSJim Ingham ValueObjectDynamicValue::GetTypeName() 6378a685aaSJim Ingham { 64c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 65f7b1a34eSEnrico Granata if (success) 66f7b1a34eSEnrico Granata { 67f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 6884db9105SGreg Clayton return ClangASTType::GetConstTypeName (GetClangAST(), GetClangType()); 69f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasName()) 70f7b1a34eSEnrico Granata return m_dynamic_type_info.GetName(); 71f7b1a34eSEnrico Granata } 72f7b1a34eSEnrico Granata return m_parent->GetTypeName(); 73f7b1a34eSEnrico Granata } 74f7b1a34eSEnrico Granata 75f7b1a34eSEnrico Granata ConstString 76f7b1a34eSEnrico Granata ValueObjectDynamicValue::GetQualifiedTypeName() 77f7b1a34eSEnrico Granata { 78f7b1a34eSEnrico Granata const bool success = UpdateValueIfNeeded(false); 79f7b1a34eSEnrico Granata if (success) 80f7b1a34eSEnrico Granata { 81f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 82f7b1a34eSEnrico Granata return ClangASTType::GetConstQualifiedTypeName (GetClangAST(), GetClangType()); 83f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasName()) 84f7b1a34eSEnrico Granata return m_dynamic_type_info.GetName(); 85f7b1a34eSEnrico Granata } 8678a685aaSJim Ingham return m_parent->GetTypeName(); 8778a685aaSJim Ingham } 8878a685aaSJim Ingham 89c7bece56SGreg Clayton size_t 9078a685aaSJim Ingham ValueObjectDynamicValue::CalculateNumChildren() 9178a685aaSJim Ingham { 92c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 93f7b1a34eSEnrico Granata if (success && m_dynamic_type_info.HasTypeSP()) 9478a685aaSJim Ingham return ClangASTContext::GetNumChildren (GetClangAST (), GetClangType(), true); 9578a685aaSJim Ingham else 9678a685aaSJim Ingham return m_parent->GetNumChildren(); 9778a685aaSJim Ingham } 9878a685aaSJim Ingham 9978a685aaSJim Ingham clang::ASTContext * 1007277284fSSean Callanan ValueObjectDynamicValue::GetClangASTImpl () 10178a685aaSJim Ingham { 1020a3958e0SEnrico Granata const bool success = UpdateValueIfNeeded(false); 103f7b1a34eSEnrico Granata if (success && m_dynamic_type_info.HasTypeSP()) 104f7b1a34eSEnrico Granata return m_dynamic_type_info.GetTypeSP()->GetClangAST(); 10578a685aaSJim Ingham else 10678a685aaSJim Ingham return m_parent->GetClangAST (); 10778a685aaSJim Ingham } 10878a685aaSJim Ingham 109*faac1118SGreg Clayton uint64_t 11078a685aaSJim Ingham ValueObjectDynamicValue::GetByteSize() 11178a685aaSJim Ingham { 112c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 113f7b1a34eSEnrico Granata if (success && m_dynamic_type_info.HasTypeSP()) 11478a685aaSJim Ingham return m_value.GetValueByteSize(GetClangAST(), NULL); 11578a685aaSJim Ingham else 11678a685aaSJim Ingham return m_parent->GetByteSize(); 11778a685aaSJim Ingham } 11878a685aaSJim Ingham 11978a685aaSJim Ingham lldb::ValueType 12078a685aaSJim Ingham ValueObjectDynamicValue::GetValueType() const 12178a685aaSJim Ingham { 12278a685aaSJim Ingham return m_parent->GetValueType(); 12378a685aaSJim Ingham } 12478a685aaSJim Ingham 12578a685aaSJim Ingham bool 12678a685aaSJim Ingham ValueObjectDynamicValue::UpdateValue () 12778a685aaSJim Ingham { 12878a685aaSJim Ingham SetValueIsValid (false); 12978a685aaSJim Ingham m_error.Clear(); 13078a685aaSJim Ingham 131c3e320a7SEnrico Granata if (!m_parent->UpdateValueIfNeeded(false)) 13278a685aaSJim Ingham { 133007d5be6SGreg Clayton // The dynamic value failed to get an error, pass the error along 134007d5be6SGreg Clayton if (m_error.Success() && m_parent->GetError().Fail()) 135007d5be6SGreg Clayton m_error = m_parent->GetError(); 13678a685aaSJim Ingham return false; 13778a685aaSJim Ingham } 13878a685aaSJim Ingham 1392837b766SJim Ingham // Setting our type_sp to NULL will route everything back through our 1402837b766SJim Ingham // parent which is equivalent to not using dynamic values. 1412837b766SJim Ingham if (m_use_dynamic == lldb::eNoDynamicValues) 1422837b766SJim Ingham { 143f7b1a34eSEnrico Granata m_dynamic_type_info.Clear(); 1442837b766SJim Ingham return true; 1452837b766SJim Ingham } 1462837b766SJim Ingham 147cc4d0146SGreg Clayton ExecutionContext exe_ctx (GetExecutionContextRef()); 148c14ee32dSGreg Clayton Target *target = exe_ctx.GetTargetPtr(); 149c14ee32dSGreg Clayton if (target) 15078a685aaSJim Ingham { 151c14ee32dSGreg Clayton m_data.SetByteOrder(target->GetArchitecture().GetByteOrder()); 152c14ee32dSGreg Clayton m_data.SetAddressByteSize(target->GetArchitecture().GetAddressByteSize()); 15378a685aaSJim Ingham } 15478a685aaSJim Ingham 15578a685aaSJim Ingham // First make sure our Type and/or Address haven't changed: 156cc4d0146SGreg Clayton Process *process = exe_ctx.GetProcessPtr(); 15778a685aaSJim Ingham if (!process) 15878a685aaSJim Ingham return false; 15978a685aaSJim Ingham 16061be0903SJim Ingham TypeAndOrName class_type_or_name; 16178a685aaSJim Ingham Address dynamic_address; 16278a685aaSJim Ingham bool found_dynamic_type = false; 16378a685aaSJim Ingham 16478a685aaSJim Ingham lldb::LanguageType known_type = m_parent->GetObjectRuntimeLanguage(); 16578a685aaSJim Ingham if (known_type != lldb::eLanguageTypeUnknown && known_type != lldb::eLanguageTypeC) 16678a685aaSJim Ingham { 16778a685aaSJim Ingham LanguageRuntime *runtime = process->GetLanguageRuntime (known_type); 16878a685aaSJim Ingham if (runtime) 1692837b766SJim Ingham found_dynamic_type = runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 17078a685aaSJim Ingham } 17178a685aaSJim Ingham else 17278a685aaSJim Ingham { 17378a685aaSJim Ingham LanguageRuntime *cpp_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeC_plus_plus); 17478a685aaSJim Ingham if (cpp_runtime) 1752837b766SJim Ingham found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 17678a685aaSJim Ingham 17778a685aaSJim Ingham if (!found_dynamic_type) 17878a685aaSJim Ingham { 17978a685aaSJim Ingham LanguageRuntime *objc_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeObjC); 18078a685aaSJim Ingham if (objc_runtime) 1819910bc85SEnrico Granata found_dynamic_type = objc_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 18278a685aaSJim Ingham } 18378a685aaSJim Ingham } 18478a685aaSJim Ingham 18561be0903SJim Ingham // Getting the dynamic value may have run the program a bit, and so marked us as needing updating, but we really 18661be0903SJim Ingham // don't... 18761be0903SJim Ingham 18861be0903SJim Ingham m_update_point.SetUpdated(); 18961be0903SJim Ingham 19078a685aaSJim Ingham // If we don't have a dynamic type, then make ourselves just a echo of our parent. 19178a685aaSJim Ingham // Or we could return false, and make ourselves an echo of our parent? 19278a685aaSJim Ingham if (!found_dynamic_type) 19378a685aaSJim Ingham { 194f7b1a34eSEnrico Granata if (m_dynamic_type_info) 19575badc46SEnrico Granata SetValueDidChange(true); 196bd83b87dSEnrico Granata ClearDynamicTypeInformation(); 197f7b1a34eSEnrico Granata m_dynamic_type_info.Clear(); 19878a685aaSJim Ingham m_value = m_parent->GetValue(); 199e72dfb32SGreg Clayton m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0, GetModule().get()); 20078a685aaSJim Ingham return m_error.Success(); 20178a685aaSJim Ingham } 20278a685aaSJim Ingham 20378a685aaSJim Ingham Value old_value(m_value); 20478a685aaSJim Ingham 205d228483dSEnrico Granata lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_TYPES)); 206d228483dSEnrico Granata 207e3e91517SEnrico Granata bool has_changed_type = false; 208e3e91517SEnrico Granata 209f7b1a34eSEnrico Granata if (!m_dynamic_type_info) 21078a685aaSJim Ingham { 211f7b1a34eSEnrico Granata m_dynamic_type_info = class_type_or_name; 212e3e91517SEnrico Granata has_changed_type = true; 21378a685aaSJim Ingham } 214f7b1a34eSEnrico Granata else if (class_type_or_name != m_dynamic_type_info) 21578a685aaSJim Ingham { 21678a685aaSJim Ingham // We are another type, we need to tear down our children... 217f7b1a34eSEnrico Granata m_dynamic_type_info = class_type_or_name; 21878a685aaSJim Ingham SetValueDidChange (true); 219e3e91517SEnrico Granata has_changed_type = true; 22078a685aaSJim Ingham } 22178a685aaSJim Ingham 222e3e91517SEnrico Granata if (has_changed_type) 223e3e91517SEnrico Granata ClearDynamicTypeInformation (); 224e3e91517SEnrico Granata 22578a685aaSJim Ingham if (!m_address.IsValid() || m_address != dynamic_address) 22678a685aaSJim Ingham { 22778a685aaSJim Ingham if (m_address.IsValid()) 22878a685aaSJim Ingham SetValueDidChange (true); 22978a685aaSJim Ingham 23078a685aaSJim Ingham // We've moved, so we should be fine... 23178a685aaSJim Ingham m_address = dynamic_address; 232cc4d0146SGreg Clayton lldb::TargetSP target_sp (GetTargetSP()); 233cc4d0146SGreg Clayton lldb::addr_t load_address = m_address.GetLoadAddress(target_sp.get()); 23478a685aaSJim Ingham m_value.GetScalar() = load_address; 23578a685aaSJim Ingham } 23678a685aaSJim Ingham 237f7b1a34eSEnrico Granata lldb::clang_type_t corrected_type; 238f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 239f7b1a34eSEnrico Granata { 24078a685aaSJim Ingham // The type will always be the type of the dynamic object. If our parent's type was a pointer, 24178a685aaSJim Ingham // then our type should be a pointer to the type of the dynamic object. If a reference, then the original type 24278a685aaSJim Ingham // should be okay... 243f7b1a34eSEnrico Granata lldb::clang_type_t orig_type; 244f7b1a34eSEnrico Granata clang::ASTContext* ast; 245f7b1a34eSEnrico Granata orig_type = m_dynamic_type_info.GetTypeSP()->GetClangForwardType(); 246f7b1a34eSEnrico Granata ast = m_dynamic_type_info.GetTypeSP()->GetClangAST(); 247f7b1a34eSEnrico Granata corrected_type = orig_type; 24878a685aaSJim Ingham if (m_parent->IsPointerType()) 249f7b1a34eSEnrico Granata corrected_type = ClangASTContext::CreatePointerType (ast, orig_type); 25078a685aaSJim Ingham else if (m_parent->IsPointerOrReferenceType()) 251f7b1a34eSEnrico Granata corrected_type = ClangASTContext::CreateLValueReferenceType (ast, orig_type); 252f7b1a34eSEnrico Granata } 253f7b1a34eSEnrico Granata else /*if (m_dynamic_type_info.HasName())*/ 254f7b1a34eSEnrico Granata { 255f7b1a34eSEnrico Granata // If we are here we need to adjust our dynamic type name to include the correct & or * symbol 256f7b1a34eSEnrico Granata std::string type_name_buf (m_dynamic_type_info.GetName().GetCString()); 257f7b1a34eSEnrico Granata if (m_parent->IsPointerType()) 258f7b1a34eSEnrico Granata type_name_buf.append(" *"); 259f7b1a34eSEnrico Granata else if (m_parent->IsPointerOrReferenceType()) 260f7b1a34eSEnrico Granata type_name_buf.append(" &"); 261f7b1a34eSEnrico Granata corrected_type = m_parent->GetClangType(); 262f7b1a34eSEnrico Granata m_dynamic_type_info.SetName(type_name_buf.c_str()); 263f7b1a34eSEnrico Granata } 26478a685aaSJim Ingham 26578a685aaSJim Ingham m_value.SetContext (Value::eContextTypeClangType, corrected_type); 26678a685aaSJim Ingham 26778a685aaSJim Ingham // Our address is the location of the dynamic type stored in memory. It isn't a load address, 26878a685aaSJim Ingham // because we aren't pointing to the LOCATION that stores the pointer to us, we're pointing to us... 26978a685aaSJim Ingham m_value.SetValueType(Value::eValueTypeScalar); 27078a685aaSJim Ingham 271e3e91517SEnrico Granata if (has_changed_type && log) 272e3e91517SEnrico Granata log->Printf("[%s %p] has a new dynamic type %s", 273e3e91517SEnrico Granata GetName().GetCString(), 274e3e91517SEnrico Granata this, 275e3e91517SEnrico Granata GetTypeName().GetCString()); 276e3e91517SEnrico Granata 277f7b1a34eSEnrico Granata if (m_address.IsValid() && m_dynamic_type_info) 27878a685aaSJim Ingham { 27978a685aaSJim Ingham // The variable value is in the Scalar value inside the m_value. 28078a685aaSJim Ingham // We can point our m_data right to it. 281e72dfb32SGreg Clayton m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0, GetModule().get()); 28278a685aaSJim Ingham if (m_error.Success()) 28378a685aaSJim Ingham { 28478a685aaSJim Ingham if (ClangASTContext::IsAggregateType (GetClangType())) 28578a685aaSJim Ingham { 28678a685aaSJim Ingham // this value object represents an aggregate type whose 28778a685aaSJim Ingham // children have values, but this object does not. So we 28878a685aaSJim Ingham // say we are changed if our location has changed. 28978a685aaSJim Ingham SetValueDidChange (m_value.GetValueType() != old_value.GetValueType() || m_value.GetScalar() != old_value.GetScalar()); 29078a685aaSJim Ingham } 29178a685aaSJim Ingham 29278a685aaSJim Ingham SetValueIsValid (true); 29378a685aaSJim Ingham return true; 29478a685aaSJim Ingham } 29578a685aaSJim Ingham } 29678a685aaSJim Ingham 29778a685aaSJim Ingham // We get here if we've failed above... 29878a685aaSJim Ingham SetValueIsValid (false); 29978a685aaSJim Ingham return false; 30078a685aaSJim Ingham } 30178a685aaSJim Ingham 30278a685aaSJim Ingham 30378a685aaSJim Ingham 30478a685aaSJim Ingham bool 30578a685aaSJim Ingham ValueObjectDynamicValue::IsInScope () 30678a685aaSJim Ingham { 30778a685aaSJim Ingham return m_parent->IsInScope(); 30878a685aaSJim Ingham } 30978a685aaSJim Ingham 31007a4ac22SEnrico Granata bool 31107a4ac22SEnrico Granata ValueObjectDynamicValue::SetValueFromCString (const char *value_str, Error& error) 31207a4ac22SEnrico Granata { 31307a4ac22SEnrico Granata if (!UpdateValueIfNeeded(false)) 31407a4ac22SEnrico Granata { 31507a4ac22SEnrico Granata error.SetErrorString("unable to read value"); 31607a4ac22SEnrico Granata return false; 31707a4ac22SEnrico Granata } 31807a4ac22SEnrico Granata 31907a4ac22SEnrico Granata uint64_t my_value = GetValueAsUnsigned(UINT64_MAX); 32007a4ac22SEnrico Granata uint64_t parent_value = m_parent->GetValueAsUnsigned(UINT64_MAX); 32107a4ac22SEnrico Granata 32207a4ac22SEnrico Granata if (my_value == UINT64_MAX || parent_value == UINT64_MAX) 32307a4ac22SEnrico Granata { 32407a4ac22SEnrico Granata error.SetErrorString("unable to read value"); 32507a4ac22SEnrico Granata return false; 32607a4ac22SEnrico Granata } 32707a4ac22SEnrico Granata 32807a4ac22SEnrico Granata // if we are at an offset from our parent, in order to set ourselves correctly we would need 32907a4ac22SEnrico Granata // to change the new value so that it refers to the correct dynamic type. we choose not to deal 33007a4ac22SEnrico Granata // with that - if anything more than a value overwrite is required, you should be using the 33107a4ac22SEnrico Granata // expression parser instead of the value editing facility 33207a4ac22SEnrico Granata if (my_value != parent_value) 33307a4ac22SEnrico Granata { 33407a4ac22SEnrico Granata // but NULL'ing out a value should always be allowed 33507a4ac22SEnrico Granata if (strcmp(value_str,"0")) 33607a4ac22SEnrico Granata { 33707a4ac22SEnrico Granata error.SetErrorString("unable to modify dynamic value, use 'expression' command"); 33807a4ac22SEnrico Granata return false; 33907a4ac22SEnrico Granata } 34007a4ac22SEnrico Granata } 34107a4ac22SEnrico Granata 34207a4ac22SEnrico Granata bool ret_val = m_parent->SetValueFromCString(value_str,error); 34307a4ac22SEnrico Granata SetNeedsUpdate(); 34407a4ac22SEnrico Granata return ret_val; 34507a4ac22SEnrico Granata } 346