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 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 47 ValueObjectDynamicValue::~ValueObjectDynamicValue() 48 { 49 m_owning_valobj_sp.reset(); 50 } 51 52 ClangASTType 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 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 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 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 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 110 ValueObjectDynamicValue::GetValueType() const 111 { 112 return m_parent->GetValueType(); 113 } 114 115 bool 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 293 ValueObjectDynamicValue::IsInScope () 294 { 295 return m_parent->IsInScope(); 296 } 297 298 bool 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 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