JosephFerano/flan
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

A use-after-release check is to be studied before anything is built

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 10:04:50 +07:00
parent 0fb30ad945
commit aa1bbe550c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
TODO.org
View File

@ -864,7 +864,8 @@ correct code, so any per-push flag is a false positive by the language's own
semantics; the refined version needs liveness across control flow, which is the semantics; the refined version needs liveness across control flow, which is the
flow tracking that was repealed. flow tracking that was repealed.
** TODO Catching a use-after-release statically ** NEXT Catching a use-after-release statically
Decided 2026-09-25: a study, not a build — how arena memory escapes in real Flan code, and whether a sound lexical check would catch most of it. The result goes in docs/BUILT.md; nothing is built on it without the author.
Open, and for the first time with evidence available: the epoch trap is built, and Open, and for the first time with evidence available: the epoch trap is built, and
there is a =Vec= to write real arena programs with, so whether the escapes that there is a =Vec= to write real arena programs with, so whether the escapes that
actually occur are lexical can now be answered. The next thing to look at, not the actually occur are lexical can now be answered. The next thing to look at, not the