| """ |
| Test C++ virtual function and virtual inheritance. |
| """ |
| |
| from __future__ import print_function |
| |
| import os |
| import time |
| import re |
| import lldb |
| from lldbsuite.test.decorators import * |
| from lldbsuite.test.lldbtest import * |
| from lldbsuite.test import lldbutil |
| |
| |
| def Msg(expr, val): |
| return "'expression %s' matches the output (from compiled code): %s" % ( |
| expr, val) |
| |
| |
| class CppVirtualMadness(TestBase): |
| |
| mydir = TestBase.compute_mydir(__file__) |
| |
| # This is the pattern by design to match the "my_expr = 'value'" output from |
| # printf() stmts (see main.cpp). |
| pattern = re.compile("^([^=]*) = '([^=]*)'$") |
| |
| def setUp(self): |
| # Call super's setUp(). |
| TestBase.setUp(self) |
| # Find the line number to break for main.cpp. |
| self.source = 'main.cpp' |
| self.line = line_number(self.source, '// Set first breakpoint here.') |
| |
| @expectedFailureAll( |
| compiler="icc", |
| bugnumber="llvm.org/pr16808 lldb does not call the correct virtual function with icc.") |
| def test_virtual_madness(self): |
| """Test that expression works correctly with virtual inheritance as well as virtual function.""" |
| self.build() |
| |
| # Bring the program to the point where we can issue a series of |
| # 'expression' command to compare against the golden output. |
| self.dbg.SetAsync(False) |
| |
| # Create a target by the debugger. |
| target = self.dbg.CreateTarget(self.getBuildArtifact("a.out")) |
| self.assertTrue(target, VALID_TARGET) |
| |
| # Create the breakpoint inside function 'main'. |
| breakpoint = target.BreakpointCreateByLocation(self.source, self.line) |
| self.assertTrue(breakpoint, VALID_BREAKPOINT) |
| |
| # Now launch the process, and do not stop at entry point. |
| process = target.LaunchSimple( |
| None, None, self.get_process_working_directory()) |
| self.assertTrue(process, PROCESS_IS_VALID) |
| |
| self.assertTrue(process.GetState() == lldb.eStateStopped) |
| thread = lldbutil.get_stopped_thread( |
| process, lldb.eStopReasonBreakpoint) |
| self.assertTrue( |
| thread.IsValid(), |
| "There should be a thread stopped due to breakpoint condition") |
| |
| # First, capture the golden output from the program itself. |
| golden = thread.GetFrameAtIndex(0).FindVariable("golden") |
| self.assertTrue( |
| golden.IsValid(), |
| "Encountered an error reading the process's golden variable") |
| error = lldb.SBError() |
| golden_str = process.ReadCStringFromMemory( |
| golden.AddressOf().GetValueAsUnsigned(), 4096, error) |
| self.assertTrue(error.Success()) |
| self.assertTrue("c_as_C" in golden_str) |
| |
| # This golden list contains a list of "my_expr = 'value' pairs extracted |
| # from the golden output. |
| gl = [] |
| |
| # Scan the golden output line by line, looking for the pattern: |
| # |
| # my_expr = 'value' |
| # |
| for line in golden_str.split(os.linesep): |
| match = self.pattern.search(line) |
| if match: |
| my_expr, val = match.group(1), match.group(2) |
| gl.append((my_expr, val)) |
| #print("golden list:", gl) |
| |
| # Now iterate through the golden list, comparing against the output from |
| # 'expression var'. |
| for my_expr, val in gl: |
| |
| self.runCmd("expression %s" % my_expr) |
| output = self.res.GetOutput() |
| |
| # The expression output must match the oracle. |
| self.expect(output, Msg(my_expr, val), exe=False, |
| substrs=[val]) |