Skip to content

Read in-bounds string elements without boxing - #779

Merged
ctate merged 1 commit into
mainfrom
ctate/read-bounds-string-614cdc
Oct 9, 2026
Merged

ctate merged 1 commit into
mainfrom
ctate/read-bounds-string-614cdc

Conversation

@ctate

@ctate ctate commented Oct 9, 2026

Copy link
Copy Markdown
Collaborator
  • String element reads proven to be inside the string (counted loops, i < text.length guards, early exits, const length aliases) give plain strings, so one-character helpers keep plain string parameters
  • Unproven, fractional, negative and out-of-range reads still give undefined, with new corpus programs pinning both directions

- String element reads proven to be inside the string (counted loops, `i < text.length` guards, early exits, const length aliases) give plain strings, so one-character helpers keep plain string parameters
- Unproven, fractional, negative and out-of-range reads still give `undefined`, with new corpus programs pinning both directions
@vercel

vercel Bot commented Oct 9, 2026 •

Copy link
Copy Markdown
Contributor

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
scriptc Ready Ready Preview, v0 Oct 9, 2026 2:55am UTC

@ctate
ctate merged commit 20beb97 into main Oct 9, 2026
83 checks passed

This branch was successfully deployed

1 active deployment
Preview — 6e83d26e Deployed Oct 9, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant