blob: 5e99fff908ef360f4077b91fef72d515267526c2 (
plain)
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
|
# flake8: noqa: F821
import re
test.compile("source.cpp")
test.computeGCTypes()
body = test.process_body(test.load_db_entry("src_body", re.compile(r"root_arg"))[0])
# Rendering positive and negative integers
marker1 = body.assignment_line("MARKER1")
equal(body.edge_from_line(marker1 + 2)["Exp"][1]["String"], "1")
equal(body.edge_from_line(marker1 + 3)["Exp"][1]["String"], "-1")
equal(body.edge_from_point(body.assignment_point("u1"))["Exp"][1]["String"], "1")
equal(
body.edge_from_point(body.assignment_point("u2"))["Exp"][1]["String"], "4294967295"
)
assert "obj" in body["Variables"]
assert "random" in body["Variables"]
assert "other1" in body["Variables"]
assert "other2" in body["Variables"]
# Test function annotations
js_GC = test.process_body(test.load_db_entry("src_body", re.compile(r"js_GC"))[0])
annotations = js_GC["Variables"]["void js_GC()"]["Annotation"]
assert annotations
found_call_annotate = False
for annotation in annotations:
(annType, value) = annotation["Name"]
if annType == "annotate" and value == "GC Call":
found_call_annotate = True
assert found_call_annotate
# Test type annotations
# js::gc::Cell first
cell = test.load_db_entry("src_comp", "js::gc::Cell")[0]
assert cell["Kind"] == "Struct"
annotations = cell["Annotation"]
assert len(annotations) == 1
(tag, value) = annotations[0]["Name"]
assert tag == "annotate"
assert value == "GC Thing"
# Check JSObject inheritance.
JSObject = test.load_db_entry("src_comp", "JSObject")[0]
bases = [b["Base"] for b in JSObject["CSUBaseClass"]]
assert "js::gc::Cell" in bases
assert "Bogon" in bases
assert len(bases) == 2
# Check type analysis
gctypes = test.load_gcTypes()
assert "js::gc::Cell" in gctypes["GCThings"]
assert "JustACell" in gctypes["GCThings"]
assert "JSObject" in gctypes["GCThings"]
assert "SpecialObject" in gctypes["GCThings"]
assert "UnrootedPointer" in gctypes["GCPointers"]
assert "Bogon" not in gctypes["GCThings"]
assert "Bogon" not in gctypes["GCPointers"]
assert "ErrorResult" not in gctypes["GCPointers"]
assert "OkContainer" not in gctypes["GCPointers"]
assert "class Rooted<JSObject*>" not in gctypes["GCPointers"]
|
