destructors: reassigning an m owner that still holds a value frees the old value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.2

1 files changed, 11 insertions, 10 deletions

diff --git a/tests/xref.baseline b/tests/xref.baseline
index b8b1e1f..1660302 100644
--- a/tests/xref.baseline
+++ b/tests/xref.baseline
@@ -25,6 +25,7 @@ argowner args
 argowner_fact args
 argtemporary args
 arrloc arrvalue chk_reset
+asg_quiet assigncheck reassign_free
 asgcap reserve_assignment
 asm_fixes reserve_asm_references
 asm_labelcap reserve_asm_labels
@@ -291,14 +292,14 @@ lkeycap local_bind
 lkeyn local_bind zc_init
 lkeys local_bind
 lkeys_initial
-lleaf assigncheck embed_bind localdecl reserve_locals
+lleaf assigncheck embed_bind expr localdecl reassign_free reserve_locals
 lleaf_initial
 lname newloc reserve_locals
-lnsz assigncheck embed_bind localdecl reserve_locals
+lnsz assigncheck embed_bind expr localdecl reassign_free 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_dropset drop_attach expr localdecl newloc reassign_free 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
@@ -379,8 +380,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 heap_box localdecl newtyped
-newsz array_dynamic_literal array_pop call chk_reset heap_box localdecl newtyped
+newleaf array_dynamic_literal array_pop call expr heap_box localdecl newtyped
+newsz array_dynamic_literal array_pop call chk_reset expr heap_box localdecl newtyped
 nfact chk_reset fdrop putfact
 nfixu fixnew zc_init
 ngbind call chk_reset primary
@@ -691,8 +692,8 @@ 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 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
+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 reassign_free 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 reassign_free ternary typearg unary
 xc_file xc_init
 xc_fn closure fndef
 xc_hook xc_init
@@ -701,14 +702,14 @@ 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 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 drop_attach expr fcoerce femit ftest heap_box 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 reassign_free 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 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
+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
 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 drop_attach enhcall expr field heap_box incdec kwcall methcall newtyped postfix_tail primary ternary unary