Skip to content

Transpiled Rust code seems to behave different with source C code. #1734

@cactusBalll

Description

@cactusBalll

I generated this case from a fuzzer but failed to find a way to reduce it. I compiled the case with asan and ubsan to make sure the C code is correct.
the archieve below contains original C code, Makefile and transpiled Rust code. And their different output.
case.tar.gz
Use main branch and {c2rust_path} transpile ./compile_commands.json --emit-build-files --edition 2024 --overwrite-existing -o ./out -b main to transpile.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions