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 { 44d8b5fce2SEnrico Granata m_last_format_mgr_dynamic = use_dynamic; 456f3533fbSEnrico Granata SetName (parent.GetName()); 4678a685aaSJim Ingham } 4778a685aaSJim Ingham 4878a685aaSJim Ingham ValueObjectDynamicValue::~ValueObjectDynamicValue() 4978a685aaSJim Ingham { 5078a685aaSJim Ingham m_owning_valobj_sp.reset(); 5178a685aaSJim Ingham } 5278a685aaSJim Ingham 5378a685aaSJim Ingham lldb::clang_type_t 547277284fSSean Callanan ValueObjectDynamicValue::GetClangTypeImpl () 5578a685aaSJim Ingham { 56f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 5778a685aaSJim Ingham return m_value.GetClangType(); 5878a685aaSJim Ingham else 5978a685aaSJim Ingham return m_parent->GetClangType(); 6078a685aaSJim Ingham } 6178a685aaSJim Ingham 6278a685aaSJim Ingham ConstString 6378a685aaSJim Ingham ValueObjectDynamicValue::GetTypeName() 6478a685aaSJim Ingham { 65c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 66f7b1a34eSEnrico Granata if (success) 67f7b1a34eSEnrico Granata { 68f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 6984db9105SGreg Clayton return ClangASTType::GetConstTypeName (GetClangAST(), GetClangType()); 70f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasName()) 71f7b1a34eSEnrico Granata return m_dynamic_type_info.GetName(); 72f7b1a34eSEnrico Granata } 73f7b1a34eSEnrico Granata return m_parent->GetTypeName(); 74f7b1a34eSEnrico Granata } 75f7b1a34eSEnrico Granata 76f7b1a34eSEnrico Granata ConstString 77f7b1a34eSEnrico Granata ValueObjectDynamicValue::GetQualifiedTypeName() 78f7b1a34eSEnrico Granata { 79f7b1a34eSEnrico Granata const bool success = UpdateValueIfNeeded(false); 80f7b1a34eSEnrico Granata if (success) 81f7b1a34eSEnrico Granata { 82f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 83f7b1a34eSEnrico Granata return ClangASTType::GetConstQualifiedTypeName (GetClangAST(), GetClangType()); 84f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasName()) 85f7b1a34eSEnrico Granata return m_dynamic_type_info.GetName(); 86f7b1a34eSEnrico Granata } 8778a685aaSJim Ingham return m_parent->GetTypeName(); 8878a685aaSJim Ingham } 8978a685aaSJim Ingham 90*c7bece56SGreg Clayton size_t 9178a685aaSJim Ingham ValueObjectDynamicValue::CalculateNumChildren() 9278a685aaSJim Ingham { 93c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 94f7b1a34eSEnrico Granata if (success && m_dynamic_type_info.HasTypeSP()) 9578a685aaSJim Ingham return ClangASTContext::GetNumChildren (GetClangAST (), GetClangType(), true); 9678a685aaSJim Ingham else 9778a685aaSJim Ingham return m_parent->GetNumChildren(); 9878a685aaSJim Ingham } 9978a685aaSJim Ingham 10078a685aaSJim Ingham clang::ASTContext * 1017277284fSSean Callanan ValueObjectDynamicValue::GetClangASTImpl () 10278a685aaSJim Ingham { 1030a3958e0SEnrico Granata const bool success = UpdateValueIfNeeded(false); 104f7b1a34eSEnrico Granata if (success && m_dynamic_type_info.HasTypeSP()) 105f7b1a34eSEnrico Granata return m_dynamic_type_info.GetTypeSP()->GetClangAST(); 10678a685aaSJim Ingham else 10778a685aaSJim Ingham return m_parent->GetClangAST (); 10878a685aaSJim Ingham } 10978a685aaSJim Ingham 11078a685aaSJim Ingham size_t 11178a685aaSJim Ingham ValueObjectDynamicValue::GetByteSize() 11278a685aaSJim Ingham { 113c3e320a7SEnrico Granata const bool success = UpdateValueIfNeeded(false); 114f7b1a34eSEnrico Granata if (success && m_dynamic_type_info.HasTypeSP()) 11578a685aaSJim Ingham return m_value.GetValueByteSize(GetClangAST(), NULL); 11678a685aaSJim Ingham else 11778a685aaSJim Ingham return m_parent->GetByteSize(); 11878a685aaSJim Ingham } 11978a685aaSJim Ingham 12078a685aaSJim Ingham lldb::ValueType 12178a685aaSJim Ingham ValueObjectDynamicValue::GetValueType() const 12278a685aaSJim Ingham { 12378a685aaSJim Ingham return m_parent->GetValueType(); 12478a685aaSJim Ingham } 12578a685aaSJim Ingham 12678a685aaSJim Ingham bool 12778a685aaSJim Ingham ValueObjectDynamicValue::UpdateValue () 12878a685aaSJim Ingham { 12978a685aaSJim Ingham SetValueIsValid (false); 13078a685aaSJim Ingham m_error.Clear(); 13178a685aaSJim Ingham 132c3e320a7SEnrico Granata if (!m_parent->UpdateValueIfNeeded(false)) 13378a685aaSJim Ingham { 134007d5be6SGreg Clayton // The dynamic value failed to get an error, pass the error along 135007d5be6SGreg Clayton if (m_error.Success() && m_parent->GetError().Fail()) 136007d5be6SGreg Clayton m_error = m_parent->GetError(); 13778a685aaSJim Ingham return false; 13878a685aaSJim Ingham } 13978a685aaSJim Ingham 1402837b766SJim Ingham // Setting our type_sp to NULL will route everything back through our 1412837b766SJim Ingham // parent which is equivalent to not using dynamic values. 1422837b766SJim Ingham if (m_use_dynamic == lldb::eNoDynamicValues) 1432837b766SJim Ingham { 144f7b1a34eSEnrico Granata m_dynamic_type_info.Clear(); 1452837b766SJim Ingham return true; 1462837b766SJim Ingham } 1472837b766SJim Ingham 148cc4d0146SGreg Clayton ExecutionContext exe_ctx (GetExecutionContextRef()); 149c14ee32dSGreg Clayton Target *target = exe_ctx.GetTargetPtr(); 150c14ee32dSGreg Clayton if (target) 15178a685aaSJim Ingham { 152c14ee32dSGreg Clayton m_data.SetByteOrder(target->GetArchitecture().GetByteOrder()); 153c14ee32dSGreg Clayton m_data.SetAddressByteSize(target->GetArchitecture().GetAddressByteSize()); 15478a685aaSJim Ingham } 15578a685aaSJim Ingham 15678a685aaSJim Ingham // First make sure our Type and/or Address haven't changed: 157cc4d0146SGreg Clayton Process *process = exe_ctx.GetProcessPtr(); 15878a685aaSJim Ingham if (!process) 15978a685aaSJim Ingham return false; 16078a685aaSJim Ingham 16161be0903SJim Ingham TypeAndOrName class_type_or_name; 16278a685aaSJim Ingham Address dynamic_address; 16378a685aaSJim Ingham bool found_dynamic_type = false; 16478a685aaSJim Ingham 16578a685aaSJim Ingham lldb::LanguageType known_type = m_parent->GetObjectRuntimeLanguage(); 16678a685aaSJim Ingham if (known_type != lldb::eLanguageTypeUnknown && known_type != lldb::eLanguageTypeC) 16778a685aaSJim Ingham { 16878a685aaSJim Ingham LanguageRuntime *runtime = process->GetLanguageRuntime (known_type); 16978a685aaSJim Ingham if (runtime) 1702837b766SJim Ingham found_dynamic_type = runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 17178a685aaSJim Ingham } 17278a685aaSJim Ingham else 17378a685aaSJim Ingham { 17478a685aaSJim Ingham LanguageRuntime *cpp_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeC_plus_plus); 17578a685aaSJim Ingham if (cpp_runtime) 1762837b766SJim Ingham found_dynamic_type = cpp_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 17778a685aaSJim Ingham 17878a685aaSJim Ingham if (!found_dynamic_type) 17978a685aaSJim Ingham { 18078a685aaSJim Ingham LanguageRuntime *objc_runtime = process->GetLanguageRuntime (lldb::eLanguageTypeObjC); 18178a685aaSJim Ingham if (objc_runtime) 1829910bc85SEnrico Granata found_dynamic_type = objc_runtime->GetDynamicTypeAndAddress (*m_parent, m_use_dynamic, class_type_or_name, dynamic_address); 18378a685aaSJim Ingham } 18478a685aaSJim Ingham } 18578a685aaSJim Ingham 18661be0903SJim Ingham // Getting the dynamic value may have run the program a bit, and so marked us as needing updating, but we really 18761be0903SJim Ingham // don't... 18861be0903SJim Ingham 18961be0903SJim Ingham m_update_point.SetUpdated(); 19061be0903SJim Ingham 19178a685aaSJim Ingham // If we don't have a dynamic type, then make ourselves just a echo of our parent. 19278a685aaSJim Ingham // Or we could return false, and make ourselves an echo of our parent? 19378a685aaSJim Ingham if (!found_dynamic_type) 19478a685aaSJim Ingham { 195f7b1a34eSEnrico Granata if (m_dynamic_type_info) 19675badc46SEnrico Granata SetValueDidChange(true); 197bd83b87dSEnrico Granata ClearDynamicTypeInformation(); 198f7b1a34eSEnrico Granata m_dynamic_type_info.Clear(); 19978a685aaSJim Ingham m_value = m_parent->GetValue(); 200e72dfb32SGreg Clayton m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0, GetModule().get()); 20178a685aaSJim Ingham return m_error.Success(); 20278a685aaSJim Ingham } 20378a685aaSJim Ingham 20478a685aaSJim Ingham Value old_value(m_value); 20578a685aaSJim Ingham 206d228483dSEnrico Granata lldb::LogSP log(lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_TYPES)); 207d228483dSEnrico Granata 208e3e91517SEnrico Granata bool has_changed_type = false; 209e3e91517SEnrico Granata 210f7b1a34eSEnrico Granata if (!m_dynamic_type_info) 21178a685aaSJim Ingham { 212f7b1a34eSEnrico Granata m_dynamic_type_info = class_type_or_name; 213e3e91517SEnrico Granata has_changed_type = true; 21478a685aaSJim Ingham } 215f7b1a34eSEnrico Granata else if (class_type_or_name != m_dynamic_type_info) 21678a685aaSJim Ingham { 21778a685aaSJim Ingham // We are another type, we need to tear down our children... 218f7b1a34eSEnrico Granata m_dynamic_type_info = class_type_or_name; 21978a685aaSJim Ingham SetValueDidChange (true); 220e3e91517SEnrico Granata has_changed_type = true; 22178a685aaSJim Ingham } 22278a685aaSJim Ingham 223e3e91517SEnrico Granata if (has_changed_type) 224e3e91517SEnrico Granata ClearDynamicTypeInformation (); 225e3e91517SEnrico Granata 22678a685aaSJim Ingham if (!m_address.IsValid() || m_address != dynamic_address) 22778a685aaSJim Ingham { 22878a685aaSJim Ingham if (m_address.IsValid()) 22978a685aaSJim Ingham SetValueDidChange (true); 23078a685aaSJim Ingham 23178a685aaSJim Ingham // We've moved, so we should be fine... 23278a685aaSJim Ingham m_address = dynamic_address; 233cc4d0146SGreg Clayton lldb::TargetSP target_sp (GetTargetSP()); 234cc4d0146SGreg Clayton lldb::addr_t load_address = m_address.GetLoadAddress(target_sp.get()); 23578a685aaSJim Ingham m_value.GetScalar() = load_address; 23678a685aaSJim Ingham } 23778a685aaSJim Ingham 238f7b1a34eSEnrico Granata lldb::clang_type_t corrected_type; 239f7b1a34eSEnrico Granata if (m_dynamic_type_info.HasTypeSP()) 240f7b1a34eSEnrico Granata { 24178a685aaSJim Ingham // The type will always be the type of the dynamic object. If our parent's type was a pointer, 24278a685aaSJim Ingham // then our type should be a pointer to the type of the dynamic object. If a reference, then the original type 24378a685aaSJim Ingham // should be okay... 244f7b1a34eSEnrico Granata lldb::clang_type_t orig_type; 245f7b1a34eSEnrico Granata clang::ASTContext* ast; 246f7b1a34eSEnrico Granata orig_type = m_dynamic_type_info.GetTypeSP()->GetClangForwardType(); 247f7b1a34eSEnrico Granata ast = m_dynamic_type_info.GetTypeSP()->GetClangAST(); 248f7b1a34eSEnrico Granata corrected_type = orig_type; 24978a685aaSJim Ingham if (m_parent->IsPointerType()) 250f7b1a34eSEnrico Granata corrected_type = ClangASTContext::CreatePointerType (ast, orig_type); 25178a685aaSJim Ingham else if (m_parent->IsPointerOrReferenceType()) 252f7b1a34eSEnrico Granata corrected_type = ClangASTContext::CreateLValueReferenceType (ast, orig_type); 253f7b1a34eSEnrico Granata } 254f7b1a34eSEnrico Granata else /*if (m_dynamic_type_info.HasName())*/ 255f7b1a34eSEnrico Granata { 256f7b1a34eSEnrico Granata // If we are here we need to adjust our dynamic type name to include the correct & or * symbol 257f7b1a34eSEnrico Granata std::string type_name_buf (m_dynamic_type_info.GetName().GetCString()); 258f7b1a34eSEnrico Granata if (m_parent->IsPointerType()) 259f7b1a34eSEnrico Granata type_name_buf.append(" *"); 260f7b1a34eSEnrico Granata else if (m_parent->IsPointerOrReferenceType()) 261f7b1a34eSEnrico Granata type_name_buf.append(" &"); 262f7b1a34eSEnrico Granata corrected_type = m_parent->GetClangType(); 263f7b1a34eSEnrico Granata m_dynamic_type_info.SetName(type_name_buf.c_str()); 264f7b1a34eSEnrico Granata } 26578a685aaSJim Ingham 26678a685aaSJim Ingham m_value.SetContext (Value::eContextTypeClangType, corrected_type); 26778a685aaSJim Ingham 26878a685aaSJim Ingham // Our address is the location of the dynamic type stored in memory. It isn't a load address, 26978a685aaSJim Ingham // because we aren't pointing to the LOCATION that stores the pointer to us, we're pointing to us... 27078a685aaSJim Ingham m_value.SetValueType(Value::eValueTypeScalar); 27178a685aaSJim Ingham 272e3e91517SEnrico Granata if (has_changed_type && log) 273e3e91517SEnrico Granata log->Printf("[%s %p] has a new dynamic type %s", 274e3e91517SEnrico Granata GetName().GetCString(), 275e3e91517SEnrico Granata this, 276e3e91517SEnrico Granata GetTypeName().GetCString()); 277e3e91517SEnrico Granata 278f7b1a34eSEnrico Granata if (m_address.IsValid() && m_dynamic_type_info) 27978a685aaSJim Ingham { 28078a685aaSJim Ingham // The variable value is in the Scalar value inside the m_value. 28178a685aaSJim Ingham // We can point our m_data right to it. 282e72dfb32SGreg Clayton m_error = m_value.GetValueAsData (&exe_ctx, GetClangAST(), m_data, 0, GetModule().get()); 28378a685aaSJim Ingham if (m_error.Success()) 28478a685aaSJim Ingham { 28578a685aaSJim Ingham if (ClangASTContext::IsAggregateType (GetClangType())) 28678a685aaSJim Ingham { 28778a685aaSJim Ingham // this value object represents an aggregate type whose 28878a685aaSJim Ingham // children have values, but this object does not. So we 28978a685aaSJim Ingham // say we are changed if our location has changed. 29078a685aaSJim Ingham SetValueDidChange (m_value.GetValueType() != old_value.GetValueType() || m_value.GetScalar() != old_value.GetScalar()); 29178a685aaSJim Ingham } 29278a685aaSJim Ingham 29378a685aaSJim Ingham SetValueIsValid (true); 29478a685aaSJim Ingham return true; 29578a685aaSJim Ingham } 29678a685aaSJim Ingham } 29778a685aaSJim Ingham 29878a685aaSJim Ingham // We get here if we've failed above... 29978a685aaSJim Ingham SetValueIsValid (false); 30078a685aaSJim Ingham return false; 30178a685aaSJim Ingham } 30278a685aaSJim Ingham 30378a685aaSJim Ingham 30478a685aaSJim Ingham 30578a685aaSJim Ingham bool 30678a685aaSJim Ingham ValueObjectDynamicValue::IsInScope () 30778a685aaSJim Ingham { 30878a685aaSJim Ingham return m_parent->IsInScope(); 30978a685aaSJim Ingham } 31078a685aaSJim Ingham 31107a4ac22SEnrico Granata bool 31207a4ac22SEnrico Granata ValueObjectDynamicValue::SetValueFromCString (const char *value_str, Error& error) 31307a4ac22SEnrico Granata { 31407a4ac22SEnrico Granata if (!UpdateValueIfNeeded(false)) 31507a4ac22SEnrico Granata { 31607a4ac22SEnrico Granata error.SetErrorString("unable to read value"); 31707a4ac22SEnrico Granata return false; 31807a4ac22SEnrico Granata } 31907a4ac22SEnrico Granata 32007a4ac22SEnrico Granata uint64_t my_value = GetValueAsUnsigned(UINT64_MAX); 32107a4ac22SEnrico Granata uint64_t parent_value = m_parent->GetValueAsUnsigned(UINT64_MAX); 32207a4ac22SEnrico Granata 32307a4ac22SEnrico Granata if (my_value == UINT64_MAX || parent_value == UINT64_MAX) 32407a4ac22SEnrico Granata { 32507a4ac22SEnrico Granata error.SetErrorString("unable to read value"); 32607a4ac22SEnrico Granata return false; 32707a4ac22SEnrico Granata } 32807a4ac22SEnrico Granata 32907a4ac22SEnrico Granata // if we are at an offset from our parent, in order to set ourselves correctly we would need 33007a4ac22SEnrico Granata // to change the new value so that it refers to the correct dynamic type. we choose not to deal 33107a4ac22SEnrico Granata // with that - if anything more than a value overwrite is required, you should be using the 33207a4ac22SEnrico Granata // expression parser instead of the value editing facility 33307a4ac22SEnrico Granata if (my_value != parent_value) 33407a4ac22SEnrico Granata { 33507a4ac22SEnrico Granata // but NULL'ing out a value should always be allowed 33607a4ac22SEnrico Granata if (strcmp(value_str,"0")) 33707a4ac22SEnrico Granata { 33807a4ac22SEnrico Granata error.SetErrorString("unable to modify dynamic value, use 'expression' command"); 33907a4ac22SEnrico Granata return false; 34007a4ac22SEnrico Granata } 34107a4ac22SEnrico Granata } 34207a4ac22SEnrico Granata 34307a4ac22SEnrico Granata bool ret_val = m_parent->SetValueFromCString(value_str,error); 34407a4ac22SEnrico Granata SetNeedsUpdate(); 34507a4ac22SEnrico Granata return ret_val; 34607a4ac22SEnrico Granata } 347