aboutsummaryrefslogtreecommitdiff
path: root/tests/xref.baseline
Commit message (Collapse)AuthorAgeFilesLines
* merge work/demo-fixes: analyzer ownership fixes (back links, loop-built ↵Gravatar zinc 12 days1-14/+15
|\ | | | | | | lists, .u inference), Io.print any args, block-end borrow messages
| * prescan: guess an owned return only from a local declared from new/heap, not ↵Gravatar zinc 12 days1-14/+15
| | | | | | | | a global assigned one (fixes lsp self-check); xref baseline for the new writers
* | hold: copy hold.h with micro.c everywhere; xref baseline for hold globals; ↵Gravatar zinc 12 days1-1/+7
|/ | | | lsp keyword completion yields to a same-named symbol; compiler message avoids the word actor
* xref: baseline records the borrow globals (end_why, end_whom, arg_site, ↵Gravatar zinc 12 days1-3/+13
| | | | local_shadow, xshadow, effect_shadows, dgrel)
* xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and ↵Gravatar zinc 12 days1-0/+3
| | | | xubat (bin)
* o3: break and continue out of an o3 { } block call rt.o3_leave for each ↵Gravatar zinc 13 days1-0/+2
| | | | block they leave (the loop records the o3 depth it began at), so the depth returns to 0 and pending collections and drops run; spec 4.10.3, o3_break_continue_leave.zc
* destructors: nothing moves out of a value with a drop: pop on an array with ↵Gravatar zinc 13 days1-0/+1
| | | | a drop, or on an array field of a value with a drop, is error: a: can't move out of a value with drop (fields were already borrowed projections); spec 6.15.5, four conformance programs
* destructors: reassigning an m owner that still holds a value frees the old ↵Gravatar zinc 13 days1-10/+11
| | | | 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
* compiler: a //:lines marker starts a new file, so unbounded; and unchecked; ↵Gravatar zinc 13 days1-2/+2
| | | | of the source before it end there: a program joined to the unbounded runtime in a self-hosted run-only image is bounds-checked again (since d55b5fd its index errors went unreported); runtime_image_test expects the trap's exit status 2; spec 4.15.1, 4.x unchecked, 5.15.3
* xref: baseline re-saved; the drop helpers (drop_attach, drop_member, ↵Gravatar zinc 13 days1-20/+76
| | | | drop_call, heap_box) write the expression state like other call helpers, and it also takes the 87 writers from earlier merges that main's baseline missed
* xref: checked-in baseline, --check self-test hooked into the lsp section, todoGravatar zinc 13 days1-0/+658