Skip to content

fix(Miri): get CString pointer after HashMap insert#18

Merged
MaxXSoft merged 2 commits into
pku-minic:masterfrom
hsqStephenZhang:master
Feb 16, 2026
Merged

fix(Miri): get CString pointer after HashMap insert#18
MaxXSoft merged 2 commits into
pku-minic:masterfrom
hsqStephenZhang:master

Conversation

@hsqStephenZhang
Copy link
Copy Markdown
Contributor

fix UB found by cargo miri test test_raw_builder_alloc

@hsqStephenZhang
Copy link
Copy Markdown
Contributor Author

Had fixed all the MIRI issue.

@MaxXSoft
Copy link
Copy Markdown
Member

LGTM. Thanks for your contribution!

@MaxXSoft MaxXSoft merged commit 8ee3709 into pku-minic:master Feb 16, 2026
1 check passed
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.

2 participants