Skip to content

Fix UB in scratch_arena#455

Merged
lhecker merged 1 commit intomainfrom
dev/lhecker/426-ub
Jun 10, 2025
Merged

Fix UB in scratch_arena#455
lhecker merged 1 commit intomainfrom
dev/lhecker/426-ub

Conversation

@lhecker
Copy link
Member

@lhecker lhecker commented Jun 10, 2025

Closes #426
Closes #427

@lhecker lhecker force-pushed the dev/lhecker/426-ub branch from 6b6aafc to e659c52 Compare June 10, 2025 11:45
@lhecker lhecker merged commit c36be6f into main Jun 10, 2025
3 checks passed
@lhecker lhecker deleted the dev/lhecker/426-ub branch June 10, 2025 17:34
Lou32Verbose pushed a commit to Lou32Verbose/edit that referenced this pull request Jan 11, 2026
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.

Safety comment isn't actually a safety requirement Trivial undefined behavior with scratch_arena

2 participants