diff options
| author | Samrat Man Singh <samratmansingh@gmail.com> | 2020-04-26 08:58:22 +0530 |
|---|---|---|
| committer | Samrat Man Singh <samratmansingh@gmail.com> | 2020-04-26 08:58:22 +0530 |
| commit | 91462db9f1c1b5db941c22efb64e7ec01d472911 (patch) | |
| tree | 1193fd124b8a4a166e44b814c2f03946a83621fb /src/test/debuginfo/enum-thinlto.rs | |
| parent | 659951c4a0d7450e43f61c61c0e87d0ceae17087 (diff) | |
| download | rust-91462db9f1c1b5db941c22efb64e7ec01d472911.tar.gz rust-91462db9f1c1b5db941c22efb64e7ec01d472911.zip | |
[miri] Throw UB if target size and data size don't match
If an extern C function is defined as
```
extern "C" {
fn malloc(size: u32) -> *mut std::ffi::c_void;
}
```
on a 64-bit machine(ie. pointer sizes don't match), throw an undefined
behaviour.
Diffstat (limited to 'src/test/debuginfo/enum-thinlto.rs')
0 files changed, 0 insertions, 0 deletions