Skip to content

Handle non-ciritcal-but-printed errors#58

Merged
chrysn merged 2 commits intomainfrom
silent-errors
Feb 24, 2025
Merged

Handle non-ciritcal-but-printed errors#58
chrysn merged 2 commits intomainfrom
silent-errors

Conversation

@chrysn
Copy link
Member

@chrysn chrysn commented Feb 21, 2025

Debugging RIOT-OS/RIOT#21079 was a bit of a mess because C2Rust, at least on unhappy paths, sometimes prints errors that it doesn't really treat as critical. Those get ignored (because cargo doesn't even show those outputs), but then when something goes wrong in C2Rust, they send the user on a fool's errand. Fixing those I found while debugging it to not have to see them again.

Both fixes have extra comments that should keep me from going "do we really need that? *tries rebuilding* still works, we can strip that out!!!elf" later.

@chrysn chrysn requested a review from mguetschow February 21, 2025 16:20
@chrysn
Copy link
Member Author

chrysn commented Feb 24, 2025

Rebased onto main now that #57 made things work again.

Copy link
Contributor

@mguetschow mguetschow left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks sensible to me (though without being a Rust expert). Thanks!

@chrysn chrysn merged commit c5b900a into main Feb 24, 2025
3 checks passed
@chrysn
Copy link
Member Author

chrysn commented Feb 24, 2025

Thanks for having a look, merging.

@chrysn chrysn deleted the silent-errors branch February 24, 2025 12:22
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