mozjs_sys 0.67.1

System crate for the Mozilla SpiderMonkey JavaScript engine.
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

# flake8: noqa: F821

test.compile("source.cpp")
test.run_analysis_script('gcTypes')

# gcFunctions should be the inverse, but we get to rely on unmangled names here.
gcFunctions = test.load_gcFunctions()
print(gcFunctions)
assert('void GC()' in gcFunctions)
assert('void suppressedFunction()' not in gcFunctions)
assert('void halfSuppressedFunction()' in gcFunctions)
assert('void unsuppressedFunction()' in gcFunctions)
assert('Cell* f()' in gcFunctions)

hazards = test.load_hazards()
hazmap = {haz.variable: haz for haz in hazards}
assert('cell1' not in hazmap)
assert('cell2' in hazmap)
assert('cell3' in hazmap)
assert('cell4' not in hazmap)
assert('cell5' not in hazmap)
assert('cell6' not in hazmap)
assert('<returnvalue>' in hazmap)

# All hazards should be in f(), loopy(), and safevals()
assert(hazmap['cell2'].function == 'Cell* f()')
print(len(set(haz.function for haz in hazards)))
assert(len(set(haz.function for haz in hazards)) == 3)

# Check that the correct GC call is reported for each hazard. (cell3 has a
# hazard from two different GC calls; it doesn't really matter which is
# reported.)
assert(hazmap['cell2'].GCFunction == 'void halfSuppressedFunction()')
assert(hazmap['cell3'].GCFunction in (
    'void halfSuppressedFunction()', 'void unsuppressedFunction()'))
assert(hazmap['<returnvalue>'].GCFunction == 'void GCInDestructor::~GCInDestructor()')

assert('container1' in hazmap);
assert('container2' not in hazmap);

# Type names are handy to have in the report.
assert(hazmap['cell2'].type == 'Cell*')
assert(hazmap['<returnvalue>'].type == 'Cell*')

# loopy hazards. See comments in source.
assert('haz1' not in hazmap)
assert('haz2' not in hazmap)
assert('haz3' in hazmap)
assert('haz4' in hazmap)
assert('haz5' in hazmap)
assert('haz6' not in hazmap)
assert('haz7' not in hazmap)
assert('haz8' in hazmap)

# safevals hazards. See comments in source.
assert('unsafe1' in hazmap)
assert('safe2' not in hazmap)
assert('unsafe3' in hazmap)
assert('unsafe3b' in hazmap)
assert('unsafe4' in hazmap)
assert('safe5' not in hazmap)
assert('safe6' not in hazmap)
assert('unsafe7' in hazmap)
assert('safe8' not in hazmap)
assert('safe9' not in hazmap)
assert('safe10' not in hazmap)