From 6a359be16f283517d97f9556b8741a33b4adf7ee Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 10:13:39 +0330 Subject: xref: baseline records the borrow globals (end_why, end_whom, arg_site, local_shadow, xshadow, effect_shadows, dgrel) --- tests/xref.baseline | 16 +++++++++++++--- 1 file 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 -- cgit v1.2.3