86 lines
3.4 KiB
Python
86 lines
3.4 KiB
Python
"""
|
|
Tests that C++ member and static variables have correct layout and scope.
|
|
"""
|
|
|
|
|
|
|
|
import lldb
|
|
from lldbsuite.test.decorators import *
|
|
from lldbsuite.test.lldbtest import *
|
|
from lldbsuite.test import lldbutil
|
|
|
|
|
|
class TestCase(TestBase):
|
|
|
|
# We fail to lookup static members on Windows.
|
|
@expectedFailureAll(oslist=["windows"])
|
|
def test_access_from_main(self):
|
|
self.build()
|
|
lldbutil.run_to_source_breakpoint(self, "// stop in main", lldb.SBFileSpec("main.cpp"))
|
|
|
|
self.expect_expr("my_a.m_a", result_type="short", result_value="1")
|
|
self.expect_expr("my_a.s_b", result_type="long", result_value="2")
|
|
self.expect_expr("my_a.s_c", result_type="int", result_value="3")
|
|
|
|
# We fail to lookup static members on Windows.
|
|
@expectedFailureAll(oslist=["windows"])
|
|
def test_access_from_member_function(self):
|
|
self.build()
|
|
lldbutil.run_to_source_breakpoint(self, "// stop in member function", lldb.SBFileSpec("main.cpp"))
|
|
self.expect_expr("m_a", result_type="short", result_value="1")
|
|
self.expect_expr("s_b", result_type="long", result_value="2")
|
|
self.expect_expr("s_c", result_type="int", result_value="3")
|
|
|
|
# Currently lookups find variables that are in any scope.
|
|
@expectedFailureAll()
|
|
def test_access_without_scope(self):
|
|
self.build()
|
|
self.createTestTarget()
|
|
self.expect("expression s_c", error=True,
|
|
startstr="error: use of undeclared identifier 's_d'")
|
|
|
|
# We fail to lookup static members on Windows.
|
|
@expectedFailureAll(oslist=["windows"])
|
|
def test_no_crash_in_IR_arithmetic(self):
|
|
"""
|
|
Test that LLDB doesn't crash on evaluating specific expression involving
|
|
pointer arithmetic and taking the address of a static class member.
|
|
See https://bugs.llvm.org/show_bug.cgi?id=52449
|
|
"""
|
|
self.build()
|
|
lldbutil.run_to_source_breakpoint(self, "// stop in main", lldb.SBFileSpec("main.cpp"))
|
|
|
|
# This expression contains the following IR code:
|
|
# ... i64 ptrtoint (i32* @_ZN1A3s_cE to i64)) ...
|
|
expr = "(int*)100 + (long long)(&A::s_c)"
|
|
|
|
# The IR interpreter doesn't support non-const operands to the
|
|
# `GetElementPtr` IR instruction, so verify that it correctly fails to
|
|
# evaluate expression.
|
|
opts = lldb.SBExpressionOptions()
|
|
opts.SetAllowJIT(False)
|
|
value = self.target().EvaluateExpression(expr, opts)
|
|
self.assertTrue(value.GetError().Fail())
|
|
self.assertIn(
|
|
"Can't evaluate the expression without a running target",
|
|
value.GetError().GetCString())
|
|
|
|
# Evaluating the expression via JIT should work fine.
|
|
value = self.target().EvaluateExpression(expr)
|
|
self.assertSuccess(value.GetError())
|
|
|
|
def test_IR_interpreter_can_handle_getelementptr_constants_args(self):
|
|
self.build()
|
|
lldbutil.run_to_source_breakpoint(self, "// stop in main", lldb.SBFileSpec("main.cpp"))
|
|
|
|
# This expression contains the following IR code:
|
|
# ... getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
|
|
expr = "arr[0]"
|
|
|
|
# The IR interpreter supports const operands to the `GetElementPtr` IR
|
|
# instruction, so it should be able to evaluate expression without JIT.
|
|
opts = lldb.SBExpressionOptions()
|
|
opts.SetAllowJIT(False)
|
|
value = self.target().EvaluateExpression(expr, opts)
|
|
self.assertSuccess(value.GetError())
|