1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
"""
Test that re-running a process from within the same target
after rebuilding the executable flushes the scratch TypeSystems
tied to that process.
"""
import lldb
from lldbsuite.test.lldbtest import *
from lldbsuite.test import lldbutil
from lldbsuite.test.decorators import *
class TestRerunExpr(TestBase):
# FIXME: on Windows rebuilding the binary isn't enough to unload it
# on progrem restart. One will have to try hard to evict
# the module from the ModuleList (possibly including a call to
# SBDebugger::MemoryPressureDetected.
@skipIfWindows
def test(self):
"""
Tests whether re-launching a process without destroying
the owning target keeps invalid ASTContexts in the
scratch AST's importer.
We test this by:
1. Evaluating an expression to import 'struct Foo' into
the scratch AST
2. Change the definition of 'struct Foo' and rebuild the executable
3. Re-launch the process
4. Evaluate the same expression in (1). We expect to have only
the latest definition of 'struct Foo' in the scratch AST.
"""
self.build(dictionary={'CXX_SOURCES':'main.cpp', 'EXE':'a.out'})
exe = self.getBuildArtifact("a.out")
target = self.dbg.CreateTarget(exe)
target.BreakpointCreateBySourceRegex('return', lldb.SBFileSpec('rebuild.cpp'))
target.BreakpointCreateBySourceRegex('return', lldb.SBFileSpec('main.cpp'))
process = target.LaunchSimple(None, None, self.get_process_working_directory())
self.expect_expr('foo', result_type='Foo', result_children=[
ValueCheck(name='m_val', value='42')
])
# Delete the executable to force make to rebuild it.
remove_file(exe)
self.build(dictionary={'CXX_SOURCES':'rebuild.cpp', 'EXE':'a.out'})
# Rerun program within the same target
process.Destroy()
process = target.LaunchSimple(None, None, self.get_process_working_directory())
self.expect_expr('foo', result_type='Foo', result_children=[
ValueCheck(name='Base', children=[
ValueCheck(name='m_base_val', value='42')
]),
ValueCheck(name='m_derived_val', value='137')
])
self.filecheck("target module dump ast", __file__)
# The new definition 'struct Foo' is in the scratch AST
# CHECK: |-CXXRecordDecl {{.*}} struct Foo definition
# CHECK: | |-public 'Base'
# CHECK-NEXT: | `-FieldDecl {{.*}} m_derived_val 'int'
# CHECK-NEXT: `-CXXRecordDecl {{.*}} struct Base definition
# CHECK: `-FieldDecl {{.*}} m_base_val 'int'
# ...but the original definition of 'struct Foo' is not in the scratch AST anymore
# CHECK-NOT: FieldDecl {{.*}} m_val 'int'
|
