We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Describe the bug For example, the following safe program leads to spirv-tools performing Undefined Behavior:
// [dependencies] // spirv-tools = "0.7.0" use std::convert::TryFrom; fn main() { let _ = spirv_tools::error::Diagnostic::try_from(0xdeadbeefusize as *mut _); }
To Reproduce Put the code above into a src/main.rs, and the dependency on spirv-tools into a Cargo.toml and run using cargo run.
src/main.rs
Cargo.toml
cargo run
Segmentation fault (core dumped)
Expected behavior In general it is unsound for a safe API to result in UB. An API that is liable to cause UB should not be callable from safe code.
The text was updated successfully, but these errors were encountered:
Successfully merging a pull request may close this issue.
Describe the bug
For example, the following safe program leads to spirv-tools performing Undefined Behavior:
To Reproduce
Put the code above into a
src/main.rs
, and the dependency on spirv-tools into aCargo.toml
and run usingcargo run
.Segmentation fault (core dumped)
Expected behavior
In general it is unsound for a safe API to result in UB. An API that is liable to cause UB should not be callable from safe code.
The text was updated successfully, but these errors were encountered: