xref: baseline records the borrow globals (end_why, end_whom, arg_site, local_shadow, xshadow, effect_shadows, dgrel)

1 files changed, 13 insertions, 3 deletions

diff --git a/tests/xref.baseline b/tests/xref.baseline
index c0e2233..26b6931 100644
--- a/tests/xref.baseline
+++ b/tests/xref.baseline
@@ -17,12 +17,14 @@ af_mutation_tick af_mutate
 aname add_binop reserve_assignment
 ar_flat array_designator
 ar_target array_designator
+arg_site args array_push
 argfact args chk_reset
 argloc arrvalue chk_reset
 argorigin args
 argorigin_mask args
 argowner args
 argowner_fact args
+argowner_mask args
 argtemporary args
 arrloc arrvalue chk_reset
 arrroot arrvalue
@@ -88,7 +90,7 @@ 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
-curinc chk_unit effect_finish gcompile inc_compile
+curinc chk_unit effect_finish gcompile inc_compile shadow_finish
 dbuf doc_char
 dbuf_initial
 dfr defer_drop defer_one kw_defer
@@ -96,7 +98,7 @@ dfr_base chk_reset ctx_pop fn_begin
 dfr_ctx defer_one
 dfr_lsp defer_one
 dfr_on chk_reset defer_one
-dgbuf chk_begin dg_close dg_expand dg_open
+dgbuf chk_begin dg_close dg_expand dg_open dg_place
 dgcap chk_begin dg_expand dg_open
 dgdrop chk_unit dg_close dg_open
 dggrow dg_open
@@ -105,6 +107,9 @@ dgn chk_begin dg_close
 dgopen chk_begin dg_close dg_open
 dgpos chk_begin dg_close
 dgprev chk_reset expect
+dgrel dg_related
+dgrelcap dg_related
+dgreln chk_begin dg_close dg_related
 dgseen dg_dup
 dgseen_cap dg_dup
 dgseen_initial
@@ -137,8 +142,11 @@ effect_current ctx_pop effect_note fn_begin fndef kw_asm zc_init
 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_shadows shadow_finish shadow_take shadow_use
 effect_symbols effect_record reserve_symbols zc_init
 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
+end_whom argcheck assigncheck end_owner
+end_why argcheck assigncheck end_owner reassign_free retcheck
 enum_open kw_enum
 epichain chk_reset ctx_pop fn_begin kw_return
 evcap ev_put
@@ -306,6 +314,7 @@ local_end_info assigncheck end_owner newloc reserve_locals
 local_ended assigncheck end_owner newloc reserve_locals
 local_origin assigncheck newloc reserve_locals
 local_origin_mask assigncheck newloc reserve_locals
+local_shadow newloc reserve_locals shadow_take shadow_use
 loccap reserve_locals
 loopbase ctx_pop fn_begin
 loopfacts_cap loop_push reserve_R_LOOP
@@ -427,7 +436,7 @@ o3pend_initial
 o3pendcap kw_o3
 o3rg o3promote
 o3sl o3promote
-panic body_scan capture_scan 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 shadow_finish topsync unit_end
 pe_first enum_tagged reserve_tagged_enums
 pe_first_initial
 pe_n enum_tagged reserve_tagged_enums
@@ -711,6 +720,7 @@ 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
+xshadow assigncheck call shadow_take
 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 drop_attach heap_box incdec methcall postfix_tail primary reassign_free 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 reassign_free ternary unary