aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tests/xref.baseline96
1 files changed, 76 insertions, 20 deletions
diff --git a/tests/xref.baseline b/tests/xref.baseline
index 985f9c7..8731091 100644
--- a/tests/xref.baseline
+++ b/tests/xref.baseline
@@ -35,12 +35,18 @@ asm_sites reserve_asm_labels
bincap reserve_binary
blen add_binop reserve_binary
bname add_binop reserve_binary
+bnxt chk_reset fn_begin topitem1
borrow_depth call ctx_pop fn_begin
borrow_entry borrow_prologue ctx_pop fn_begin
borrow_jump borrow_prologue ctx_pop fn_begin
borrow_pending ctx_pop emit_borrow_hold fn_begin
borrow_slots ctx_pop emit_borrow_hold fn_begin
+bound_on chk_reset topitem1
bprec add_binop reserve_binary
+bs_pk body_scan bs_adv
+bs_pk2 body_scan bs_adv
+bs_pv body_scan bs_adv
+bs_pv2 body_scan bs_adv
bseq add_binop reserve_binary
bxdepth blockexpr chk_reset ctx_pop fn_begin
callpos chk_reset primary
@@ -76,6 +82,7 @@ clo_via clocap_at reserve_captures reserve_closures
clo_via_initial
closure_cap reserve_closures
closure_expected args closure zc_init
+closure_this closure drop_attach
cmode chk_begin chk_end
code_chunk chk_reset reserve_code syntax_resident
ctxsp ctx_pop ctx_push zc_init
@@ -109,9 +116,10 @@ dnmb_initial
docbufcap doc_char
docnamecap doc_name_room
docpending chk_reset docblock doccomment lex1
-docs_on capture_scan chk_reset kw_docs
+docs_on body_scan capture_scan chk_reset kw_docs
docsnapcap topitem0
-dry capture_scan chk_reset hl_begin hl_end prescan typearg
+drop_tail drop_call drop_member
+dry body_scan capture_scan chk_reset hl_begin hl_end prescan typearg
dsect chk_reset docblock doccomment
dsn chk_reset doc_attach topitem0
dsnap topitem0
@@ -128,7 +136,8 @@ effect_edges effect_arg zc_init
effect_floor compile_list_context ctx_pop unit_top zc_init
effect_requirements effect_finish effect_require_mode zc_init
effect_symbols effect_record reserve_symbols zc_init
-effect_value array_cap array_len array_pop arrvalue bin call ctx_pop field fn_begin kw_share_value methcall postfix_tail primary ternary unary
+effect_value array_cap array_len array_pop arrvalue bin call ctx_pop drop_attach field fn_begin heap_box kw_share_value methcall postfix_tail primary ternary unary
+enum_open kw_enum
epichain chk_reset ctx_pop fn_begin kw_return
evcap ev_put
evn chk_unit ev_put
@@ -138,6 +147,7 @@ export_path export_owner
export_tail export_add export_owners
extop chk_reset exit_rec loop_end
factcap putfact
+fbnd chk_reset closure ctx_pop fn_begin kw_unbounded
fchk chk_reset ctx_pop defer_one fn_begin kw_unchecked
fdepth block blockexpr casebody chk_reset ctx_pop fn_begin kw_for kw_switch substmt
fframe chk_reset ctx_pop prologue
@@ -170,8 +180,9 @@ fortest bin chk_reset kw_for
fret chk_reset ctx_pop fn_begin retcheck
fs_ok expr incdec kw_for
fsite fixnew reserve_fixes
-fslots array_dynamic_literal array_literal_tokens chk_reset closure ctx_pop embed_bind emit_borrow_hold field fn_begin fndef kw_switch localdecl o3mkcache
+fslots array_dynamic_literal array_literal_tokens chk_reset closure ctx_pop embed_bind emit_borrow_hold field fn_begin fndef hoist_guard kw_switch localdecl o3mkcache
ft_bd bin
+ft_ck bin kw_for
ft_ir bin
ft_iv bin kw_for
ft_nops bin
@@ -194,7 +205,7 @@ gnew_nm
gnew_np
gng gcompile
gnm
-grec capture_scan chk_reset topitem
+grec body_scan capture_scan chk_reset topitem
gt_imports ginit gtmake reserve_generics
gt_module ginit gtmake reserve_generics
gt_n chk_reset gtmake
@@ -261,7 +272,7 @@ kops addkop reserve_operators
kw_expr chk_reset ctx_pop kwcall
laaddr array_literal_tokens localdecl newloc reserve_locals unary
laaddr_initial
-lafact af_forget af_store array_literal_tokens expr incdec localdecl newloc reserve_locals
+lafact af_forget af_store array_literal_tokens expr incdec lafact_keep localdecl newloc reserve_locals
lafact_initial
larr array_literal_tokens embed_bind localdecl newloc reserve_locals
lbase ctx_pop fn_begin zc_init
@@ -271,6 +282,7 @@ lheads defer_one local_bind local_drop
lheads_initial
lhome block_close join newloc reserve_locals snap_restore touch
line chk_reset nextch src_pop src_push
+lines_on kw_lines lt_apply_marks
literal_doc_cap literal_doc_note
literal_doc_n chk_unit literal_doc_note
literal_docs literal_doc_note
@@ -286,6 +298,7 @@ lnsz assigncheck embed_bind localdecl reserve_locals
lnsz_initial
local_captured clocap_at newloc reserve_locals
local_cell capture_cell newloc reserve_locals
+local_dropset drop_attach localdecl newloc reserve_locals
local_end_info assigncheck end_owner newloc reserve_locals
local_ended assigncheck end_owner newloc reserve_locals
local_origin assigncheck newloc reserve_locals
@@ -297,6 +310,7 @@ lown assigncheck closure fndef newloc reserve_locals touch
lowner assigncheck join newloc reserve_locals snap_restore
lpfact bpoison kw_for loop_push reserve_R_LOOP
lpfact_initial
+lpinfo linfo_new loop_push
lpos closure embed_bind fndef localdecl newloc reserve_locals
lpos_initial
lprev local_bind reserve_locals
@@ -314,10 +328,24 @@ lslot newloc reserve_locals
lsp ctx_pop loop_end loop_push zc_init
lstate alias_end assigncheck backedge block_close closure end_owner fndef handup join newloc recast reserve_locals retcheck snap_cmp snap_restore touch
lt_at lt_note
+lt_base lt_begin lt_end
+lt_buf lt_begin lt_room lt_stmt
+lt_cap lt_room
+lt_file build_image_grow lt_file_data
+lt_file_at build_image_grow lt_file_data
+lt_file_img lt_file_data
+lt_head build_image_grow lt_end
lt_len lt_note
+lt_mark_base build_image_grow lt_apply_marks
+lt_mark_file build_image_grow lt_apply_marks
+lt_markcap mark_line
+lt_marks mark_line
lt_n lt_note
+lt_next_mark build_image_grow lt_apply_marks
+lt_nmarks build_image_grow mark_line
lt_off lt_note
lt_on
+lt_top lt_begin lt_end lt_stmt
lt_type lt_note
ltag asmblock embed_bind expr fndef incdec kw_o3 localdecl luse newloc o3mkcache o3promote reserve_locals rval setflt setstr touch unary
ltcap lt_note
@@ -326,10 +354,10 @@ ltxt lt_note
ltxtcap lt_note
ltype array_literal_tokens closure embed_bind fndef kw_switch localdecl newloc reserve_locals
lused assigncheck luse newloc reserve_locals
-lv array_dynamic_literal array_literal_tokens bin blockexpr call chk_reset closure ctx_pop enhcall expr field fn_begin incdec kwcall methcall newtyped postfix_tail primary rval ternary unary
+lv array_dynamic_literal array_literal_tokens bin blockexpr call chk_reset closure ctx_pop drop_attach enhcall expr field fn_begin heap_box incdec kwcall methcall newtyped postfix_tail primary rval ternary unary
lvescaped closure newloc reserve_locals unary
lvi chk_reset ctx_pop field postfix_tail primary
-lvk array_dynamic_literal array_literal_tokens bin blockexpr call chk_reset closure ctx_pop enhcall expr field fn_begin incdec kwcall methcall newtyped postfix_tail primary ternary unary
+lvk array_dynamic_literal array_literal_tokens bin blockexpr call chk_reset closure ctx_pop drop_attach enhcall expr field fn_begin heap_box incdec kwcall methcall newtyped postfix_tail primary ternary unary
lvkind closure expr incdec newloc reserve_locals unary vf_effect vf_store
lvvalue newloc reserve_locals vf_store
mdbg chk_reset kw_memdebug
@@ -351,8 +379,8 @@ nclo chk_reset closure
ndfr defer_drop kw_defer
nenh blob_load build_image_grow chk_reset enhdef
nerr chk_begin chk_reset errat prescan replace_function
-newleaf array_dynamic_literal array_pop call localdecl newtyped
-newsz array_dynamic_literal array_pop call chk_reset localdecl newtyped
+newleaf array_dynamic_literal array_pop call heap_box localdecl newtyped
+newsz array_dynamic_literal array_pop call chk_reset heap_box localdecl newtyped
nfact chk_reset fdrop putfact
nfixu fixnew zc_init
ngbind call chk_reset primary
@@ -377,6 +405,7 @@ ntok next
ntp chk_reset ctx_pop fndef fndone genparams kw_struct methdef ptype1 topitem1
numops types_init
nun add_unop zc_init
+o3blk kw_o3
o3cache kw_o3 newloc o3mkcache reserve_locals
o3cache_initial
o3dsc o3region
@@ -393,7 +422,7 @@ o3pend_initial
o3pendcap kw_o3
o3rg o3promote
o3sl o3promote
-panic chk_begin chk_reset die diefound dien effect_finish expect hl_begin prescan replace_function resync topsync unit_end
+panic body_scan capture_scan chk_begin chk_reset die diefound dien effect_finish expect hl_begin prescan replace_function resync topsync unit_end
pe_first enum_tagged reserve_tagged_enums
pe_first_initial
pe_n enum_tagged reserve_tagged_enums
@@ -433,7 +462,7 @@ poolend intern zc_init
pooltop intern zc_init
pq_gl next peekat src_pop
pq_ln next peekat src_pop
-pq_n capture_scan chk_reset hl_begin hl_end next peekat src_pop src_push
+pq_n body_scan capture_scan chk_reset hl_begin hl_end next peekat src_pop src_push
pq_tk next peekat src_pop
pq_tv next peekat src_pop
probe_cap probe_add
@@ -465,6 +494,8 @@ s_andand zc_init
s_arrow zc_init
s_as zc_init
s_at_s types_init
+s_bchk types_init
+s_bnd types_init
s_case zc_init
s_cat_s types_init
s_check zc_init
@@ -520,6 +551,7 @@ s_le types_init
s_le_s types_init
s_len_s types_init
s_lfa types_init
+s_lines types_init
s_lk zc_init
s_lp zc_init
s_lt types_init
@@ -574,12 +606,14 @@ s_type types_init
s_typecheck types_init
s_typedef types_init
s_u zc_init
+s_unbounded zc_init
s_unchecked zc_init
s_var zc_init
s_vm zc_init
s_while zc_init
sdoff addsym def_note reserve_symbols
sdsrc addsym def_note reserve_symbols
+send_check args field
seqtop seqasm zc_init
sfix addsym enhdef fndef fnref reserve_symbols
sflag add_kw addsym blob_load call enhdef fndef fndone fwdfn_at ginstance kw_extern kw_struct methcall methdecl prescan_fn reserve_symbols retcheck
@@ -600,6 +634,23 @@ stype addsym embed_bind enum_tagged fndef gdecl2 kw_enum reserve_symbols retchec
sval addsym blob_emit fndef reserve_symbols
svkind expr reserve_symbols vf_symbols
svvalue expr reserve_symbols vf_symbols
+sx_asm types_init
+sx_bool types_init
+sx_char types_init
+sx_defer types_init
+sx_do types_init
+sx_else types_init
+sx_float types_init
+sx_for types_init
+sx_if types_init
+sx_int types_init
+sx_new types_init
+sx_pop types_init
+sx_push types_init
+sx_quote types_init
+sx_resize types_init
+sx_switch types_init
+sx_while types_init
symcap reserve_symbols
syntax_host_floor syntax_resident
syntax_host_from syntax_resident
@@ -618,7 +669,7 @@ tfloat types_init
tglue chk_reset lex1 next peekat src_pop tunpack
tint types_init
tk chk_reset floatok lex1 next next0 oplex peekat src_pop
-tline chk_reset lex1 tunpack
+tline chk_reset docblock lex1 tunpack
toff chk_reset lex1 tunpack
token_block_doc lex1
toklen chk_reset lex tunpack
@@ -640,19 +691,24 @@ uname add_unop reserve_unary
uncap reserve_unary
useq add_unop reserve_unary
vislo build_image_grow chk_unit start syntax_resident
-xaf af_forget args array_cap array_dynamic_literal array_len array_literal_tokens array_pop bin call chk_reset expr field incdec kw_share_value kwcall methcall newtyped postfix_tail primary ternary unary
-xbor array_cap array_dynamic_literal array_len array_literal_tokens array_pop assigncheck bin blockexpr call chk_reset closure discard enhcall field fn_begin kw_share_value kwcall methcall postfix_tail primary ternary typearg unary
+xaf af_forget args array_cap array_dynamic_literal array_len array_literal_tokens array_pop bin call chk_reset drop_attach drop_member expr field heap_box incdec kw_share_value kwcall methcall newtyped postfix_tail primary ternary unary
+xbor array_cap array_dynamic_literal array_len array_literal_tokens array_pop assigncheck bin blockexpr call chk_reset closure discard drop_attach drop_member enhcall field fn_begin heap_box kw_share_value kwcall methcall postfix_tail primary ternary typearg unary
+xc_file xc_init
+xc_fn closure fndef
+xc_hook xc_init
+xc_on xc_init
+xc_src unit_stdin
xcls array_cap array_len array_pop array_push array_resize chk_reset ctx_pop kw_asm kwcall quote_tokens
-xconst array_dynamic_literal array_literal_tokens bin call chk_reset closure kw_share_value methcall postfix_tail primary unary
+xconst array_dynamic_literal array_literal_tokens bin call chk_reset closure drop_attach heap_box kw_share_value methcall postfix_tail primary unary
xcval array_literal_tokens primary unary
-xfloat array_dynamic_literal array_len array_literal_tokens array_pop array_push array_resize bin blockexpr call closure expr fcoerce femit ftest incdec kw_cfunc kw_for methcall postfix_tail primary ternary unary
+xfloat array_dynamic_literal array_len array_literal_tokens array_pop array_push array_resize bin blockexpr call closure drop_attach expr fcoerce femit ftest heap_box incdec kw_cfunc kw_for methcall postfix_tail primary ternary unary
xgive argcheck args chk_reset
xlend assigncheck expr unary
xlenloc array_len bin call closure enhcall methcall postfix_tail primary unary
xprojection ctx_pop field postfix_tail primary
xstamp array_dynamic_literal array_len bin call closure enhcall methcall newtyped postfix_tail primary unary
-xstr array_dynamic_literal array_len array_literal_tokens bin blockexpr call closure incdec methcall postfix_tail primary unary
-xty args array_cap array_dynamic_literal array_len array_literal_tokens array_pop array_push array_resize bin blockexpr call closure ctx_pop enhcall expr fcoerce field ftest kw_cfunc kw_share_value kw_sizeof kw_typeof kwcall methcall newtyped postfix_tail primary ternary unary
+xstr array_dynamic_literal array_len array_literal_tokens bin blockexpr call closure drop_attach heap_box incdec methcall postfix_tail primary unary
+xty args array_cap array_dynamic_literal array_len array_literal_tokens array_pop array_push array_resize bin blockexpr call closure ctx_pop drop_attach drop_member enhcall expr fcoerce field ftest heap_box kw_cfunc kw_share_value kw_sizeof kw_typeof kwcall methcall newtyped postfix_tail primary ternary unary
xvk array_dynamic_literal array_literal_tokens bin blockexpr chk_reset ctx_pop expr field fn_begin incdec kw_share_value kwcall postfix_tail primary ternary unary vf_coerce vf_effect vf_forget
xvv blockexpr primary unary vf_coerce
-xzero array_dynamic_literal array_literal_tokens bin blockexpr call closure enhcall expr field incdec kwcall methcall newtyped postfix_tail primary ternary unary
+xzero array_dynamic_literal array_literal_tokens bin blockexpr call closure drop_attach enhcall expr field heap_box incdec kwcall methcall newtyped postfix_tail primary ternary unary