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

Every string literal is to end in a NUL on both backends, and a literal crosses to C uncopied

Browse Source
This commit is contained in:
Joseph Ferano 2026-09-25 10:12:56 +07:00
parent 96b7ffb654
commit 764c5d4561
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

@ -1120,7 +1120,8 @@ The module links and runs. What is not proved is a collection running while a li
instance of a dyn-holding struct sits in a frame of a body that module delivered. instance of a dyn-holding struct sits in a frame of a body that module delivered.
For the next sweep rather than for a lane. For the next sweep rather than for a lane.
** TODO A sliced string loses the trailing NUL ** NEXT A sliced string loses the trailing NUL
Decided 2026-09-25: both backends emit a NUL after every string literal, and a declare-c wrapper passes a literal argument to C without the copy it makes for any other string. A string is still pointer and length; no slice is promised a NUL. Rules out a NUL guarantee on every string.
The x86 backend emits a NUL after every string constant and the LLVM one does not, The x86 backend emits a NUL after every string constant and the LLVM one does not,
so a =declare-c= wrapper leaning on the courtesy is already backend-dependent as so a =declare-c= wrapper leaning on the courtesy is already backend-dependent as
well as slice-dependent. The contract is pointer and length, and nothing promised well as slice-dependent. The contract is pointer and length, and nothing promised