241 lines
10 KiB
Python
241 lines
10 KiB
Python
"""
|
|
Use lldb Python API to test dynamic values in C++
|
|
"""
|
|
|
|
import os, time
|
|
import re
|
|
import unittest2
|
|
import lldb, lldbutil
|
|
from lldbtest import *
|
|
|
|
class DynamicValueTestCase(TestBase):
|
|
|
|
mydir = TestBase.compute_mydir(__file__)
|
|
|
|
@unittest2.skipUnless(sys.platform.startswith("darwin"), "requires Darwin")
|
|
@python_api_test
|
|
@dsym_test
|
|
def test_get_dynamic_vals_with_dsym(self):
|
|
"""Test fetching C++ dynamic values from pointers & references."""
|
|
self.buildDsym(dictionary=self.getBuildFlags())
|
|
self.do_get_dynamic_vals()
|
|
|
|
@expectedFailureLinux # FIXME: This needs to be root-caused. It looks like the DWARF info is anticipating the derived class assignment.
|
|
@python_api_test
|
|
@dwarf_test
|
|
def test_get_dynamic_vals_with_dwarf(self):
|
|
"""Test fetching C++ dynamic values from pointers & references."""
|
|
self.buildDwarf(dictionary=self.getBuildFlags())
|
|
self.do_get_dynamic_vals()
|
|
|
|
def setUp(self):
|
|
# Call super's setUp().
|
|
TestBase.setUp(self)
|
|
|
|
# Find the line number to break for main.c.
|
|
|
|
self.do_something_line = line_number('pass-to-base.cpp', '// Break here in doSomething.')
|
|
self.main_first_call_line = line_number('pass-to-base.cpp',
|
|
'// Break here and get real addresses of myB and otherB.')
|
|
self.main_second_call_line = line_number('pass-to-base.cpp',
|
|
'// Break here and get real address of reallyA.')
|
|
|
|
|
|
def examine_value_object_of_this_ptr (self, this_static, this_dynamic, dynamic_location):
|
|
|
|
# Get "this" as its static value
|
|
|
|
self.assertTrue (this_static)
|
|
this_static_loc = int (this_static.GetValue(), 16)
|
|
|
|
# Get "this" as its dynamic value
|
|
|
|
self.assertTrue (this_dynamic)
|
|
this_dynamic_typename = this_dynamic.GetTypeName()
|
|
self.assertTrue (this_dynamic_typename.find('B') != -1)
|
|
this_dynamic_loc = int (this_dynamic.GetValue(), 16)
|
|
|
|
# Make sure we got the right address for "this"
|
|
|
|
self.assertTrue (this_dynamic_loc == dynamic_location)
|
|
|
|
# And that the static address is greater than the dynamic one
|
|
|
|
self.assertTrue (this_static_loc > this_dynamic_loc)
|
|
|
|
# Now read m_b_value which is only in the dynamic value:
|
|
|
|
use_dynamic = lldb.eDynamicCanRunTarget
|
|
no_dynamic = lldb.eNoDynamicValues
|
|
|
|
this_dynamic_m_b_value = this_dynamic.GetChildMemberWithName('m_b_value', use_dynamic)
|
|
self.assertTrue (this_dynamic_m_b_value)
|
|
|
|
m_b_value = int (this_dynamic_m_b_value.GetValue(), 0)
|
|
self.assertTrue (m_b_value == 10)
|
|
|
|
# Make sure it is not in the static version
|
|
|
|
this_static_m_b_value = this_static.GetChildMemberWithName('m_b_value', no_dynamic)
|
|
self.assertFalse (this_static_m_b_value)
|
|
|
|
# Okay, now let's make sure that we can get the dynamic type of a child element:
|
|
|
|
contained_auto_ptr = this_dynamic.GetChildMemberWithName ('m_client_A', use_dynamic)
|
|
self.assertTrue (contained_auto_ptr)
|
|
contained_b = contained_auto_ptr.GetChildMemberWithName ('_M_ptr', use_dynamic)
|
|
if not contained_b:
|
|
contained_b = contained_auto_ptr.GetChildMemberWithName ('__ptr_', use_dynamic)
|
|
self.assertTrue (contained_b)
|
|
|
|
contained_b_static = contained_auto_ptr.GetChildMemberWithName ('_M_ptr', no_dynamic)
|
|
if not contained_b_static:
|
|
contained_b_static = contained_auto_ptr.GetChildMemberWithName ('__ptr_', no_dynamic)
|
|
self.assertTrue (contained_b_static)
|
|
|
|
contained_b_addr = int (contained_b.GetValue(), 16)
|
|
contained_b_static_addr = int (contained_b_static.GetValue(), 16)
|
|
|
|
self.assertTrue (contained_b_addr < contained_b_static_addr)
|
|
|
|
def do_get_dynamic_vals(self):
|
|
"""Get argument vals for the call stack when stopped on a breakpoint."""
|
|
exe = os.path.join(os.getcwd(), "a.out")
|
|
|
|
# Create a target from the debugger.
|
|
|
|
target = self.dbg.CreateTarget (exe)
|
|
self.assertTrue(target, VALID_TARGET)
|
|
|
|
# Set up our breakpoints:
|
|
|
|
do_something_bpt = target.BreakpointCreateByLocation('pass-to-base.cpp', self.do_something_line)
|
|
self.assertTrue(do_something_bpt,
|
|
VALID_BREAKPOINT)
|
|
|
|
first_call_bpt = target.BreakpointCreateByLocation('pass-to-base.cpp', self.main_first_call_line)
|
|
self.assertTrue(first_call_bpt,
|
|
VALID_BREAKPOINT)
|
|
|
|
second_call_bpt = target.BreakpointCreateByLocation('pass-to-base.cpp', self.main_second_call_line)
|
|
self.assertTrue(second_call_bpt,
|
|
VALID_BREAKPOINT)
|
|
|
|
# Now launch the process, and do not stop at the entry point.
|
|
process = target.LaunchSimple (None, None, self.get_process_working_directory())
|
|
|
|
self.assertTrue(process.GetState() == lldb.eStateStopped,
|
|
PROCESS_STOPPED)
|
|
|
|
threads = lldbutil.get_threads_stopped_at_breakpoint (process, first_call_bpt)
|
|
self.assertTrue (len(threads) == 1)
|
|
thread = threads[0]
|
|
|
|
frame = thread.GetFrameAtIndex(0)
|
|
|
|
# Now find the dynamic addresses of myB and otherB so we can compare them
|
|
# with the dynamic values we get in doSomething:
|
|
|
|
use_dynamic = lldb.eDynamicCanRunTarget
|
|
no_dynamic = lldb.eNoDynamicValues
|
|
|
|
myB = frame.FindVariable ('myB', no_dynamic);
|
|
self.assertTrue (myB)
|
|
myB_loc = int (myB.GetLocation(), 16)
|
|
|
|
otherB = frame.FindVariable('otherB', no_dynamic)
|
|
self.assertTrue (otherB)
|
|
otherB_loc = int (otherB.GetLocation(), 16)
|
|
|
|
# Okay now run to doSomething:
|
|
|
|
threads = lldbutil.continue_to_breakpoint (process, do_something_bpt)
|
|
self.assertTrue (len(threads) == 1)
|
|
thread = threads[0]
|
|
|
|
frame = thread.GetFrameAtIndex(0)
|
|
|
|
# Get "this" using FindVariable:
|
|
|
|
this_static = frame.FindVariable ('this', no_dynamic)
|
|
this_dynamic = frame.FindVariable ('this', use_dynamic)
|
|
self.examine_value_object_of_this_ptr (this_static, this_dynamic, myB_loc)
|
|
|
|
# Now make sure that the "GetDynamicValue" works:
|
|
# This doesn't work currently because we can't get dynamic values from ConstResult objects.
|
|
fetched_dynamic_value = this_static.GetDynamicValue(use_dynamic)
|
|
self.examine_value_object_of_this_ptr (this_static, fetched_dynamic_value, myB_loc)
|
|
|
|
# And conversely that the GetDynamicValue() interface also works:
|
|
fetched_static_value = this_dynamic.GetStaticValue()
|
|
self.examine_value_object_of_this_ptr (fetched_static_value, this_dynamic, myB_loc)
|
|
|
|
# Get "this" using FindValue, make sure that works too:
|
|
this_static = frame.FindValue ('this', lldb.eValueTypeVariableArgument, no_dynamic)
|
|
this_dynamic = frame.FindValue ('this', lldb.eValueTypeVariableArgument, use_dynamic)
|
|
self.examine_value_object_of_this_ptr (this_static, this_dynamic, myB_loc)
|
|
|
|
# Get "this" using the EvaluateExpression:
|
|
this_static = frame.EvaluateExpression ('this', False)
|
|
this_dynamic = frame.EvaluateExpression ('this', True)
|
|
self.examine_value_object_of_this_ptr (this_static, this_dynamic, myB_loc)
|
|
|
|
# The "frame var" code uses another path to get into children, so let's
|
|
# make sure that works as well:
|
|
|
|
self.expect('frame var -d run-target --ptr-depth=2 --show-types anotherA.m_client_A', 'frame var finds its way into a child member',
|
|
patterns = ['\(B \*\)'])
|
|
|
|
# Now make sure we also get it right for a reference as well:
|
|
|
|
anotherA_static = frame.FindVariable ('anotherA', False)
|
|
self.assertTrue (anotherA_static)
|
|
anotherA_static_addr = int (anotherA_static.GetValue(), 16)
|
|
|
|
anotherA_dynamic = frame.FindVariable ('anotherA', True)
|
|
self.assertTrue (anotherA_dynamic)
|
|
anotherA_dynamic_addr = int (anotherA_dynamic.GetValue(), 16)
|
|
anotherA_dynamic_typename = anotherA_dynamic.GetTypeName()
|
|
self.assertTrue (anotherA_dynamic_typename.find('B') != -1)
|
|
|
|
self.assertTrue(anotherA_dynamic_addr < anotherA_static_addr)
|
|
|
|
anotherA_m_b_value_dynamic = anotherA_dynamic.GetChildMemberWithName('m_b_value', True)
|
|
self.assertTrue (anotherA_m_b_value_dynamic)
|
|
anotherA_m_b_val = int (anotherA_m_b_value_dynamic.GetValue(), 10)
|
|
self.assertTrue (anotherA_m_b_val == 300)
|
|
|
|
anotherA_m_b_value_static = anotherA_static.GetChildMemberWithName('m_b_value', True)
|
|
self.assertFalse (anotherA_m_b_value_static)
|
|
|
|
# Okay, now continue again, and when we hit the second breakpoint in main
|
|
|
|
threads = lldbutil.continue_to_breakpoint (process, second_call_bpt)
|
|
self.assertTrue (len(threads) == 1)
|
|
thread = threads[0]
|
|
|
|
frame = thread.GetFrameAtIndex(0)
|
|
reallyA_value = frame.FindVariable ('reallyA', False)
|
|
self.assertTrue(reallyA_value)
|
|
reallyA_loc = int (reallyA_value.GetLocation(), 16)
|
|
|
|
# Finally continue to doSomething again, and make sure we get the right value for anotherA,
|
|
# which this time around is just an "A".
|
|
|
|
threads = lldbutil.continue_to_breakpoint (process, do_something_bpt)
|
|
self.assertTrue(len(threads) == 1)
|
|
thread = threads[0]
|
|
|
|
frame = thread.GetFrameAtIndex(0)
|
|
anotherA_value = frame.FindVariable ('anotherA', True)
|
|
self.assertTrue(anotherA_value)
|
|
anotherA_loc = int (anotherA_value.GetValue(), 16)
|
|
self.assertTrue (anotherA_loc == reallyA_loc)
|
|
self.assertTrue (anotherA_value.GetTypeName().find ('B') == -1)
|
|
|
|
if __name__ == '__main__':
|
|
import atexit
|
|
lldb.SBDebugger.Initialize()
|
|
atexit.register(lambda: lldb.SBDebugger.Terminate())
|
|
unittest2.main()
|