bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add E0511 error explanation

Browse source
This commit is contained in:
Guillaume Gomez 2015-10-09 15:59:10 +02:00
parent 0836a6f851
commit 4618aada4d
1 changed files with 37 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

48
src/librustc_trans/diagnostics.rs
View file

@ -28,10 +28,11 @@ pub unsafe fn by_value() -> i32 {
} }
``` ```
Returned values are stored in registers. In the case where the returned Return values may be stored in a return register(s) or written into a so-called
type doesn't fit in a register, the function returns `()` and has an out pointer. In case the returned value is too big (this is
additional input argument, this is a pointer where the result should target-ABI-dependent and generally not portable or future proof) to fit into
be written. Example: the return register(s), the compiler will return the value by writing it into
space allocated in the caller's stack frame. Example:
``` ```
extern "rust-intrinsic" { extern "rust-intrinsic" {
@ -45,8 +46,37 @@ pub unsafe fn by_pointer() -> String {
``` ```
"##, "##,
E0511: r##"
Invalid monomorphization of an intrinsic function was used. Erroneous code
example:
```
extern "platform-intrinsic" {
fn simd_add<T>(a: T, b: T) -> T;
}
unsafe { simd_add(0, 1); }
// error: invalid monomorphization of `simd_add` intrinsic
```
The generic type has to be a SIMD type. Example:
```
#[repr(simd)]
#[derive(Copy, Clone)]
struct i32x1(i32);
extern "platform-intrinsic" {
fn simd_add<T>(a: T, b: T) -> T;
}
unsafe { simd_add(i32x1(0), i32x1(1)); } // ok!
```
"##,
E0512: r##" E0512: r##"
A transmute was called on types with different sizes. Erroneous code example: Transmute with two differently sized types was attempted. Erroneous code
example:
``` ```
extern "rust-intrinsic" { extern "rust-intrinsic" {
@ -55,11 +85,11 @@ extern "rust-intrinsic" {
fn main() { fn main() {
unsafe { ctpop8(::std::mem::transmute(0u16)); } unsafe { ctpop8(::std::mem::transmute(0u16)); }
// error: transmute called on types with different sizes // error: transmute called with differently sized types
} }
``` ```
Please use types with same size or use the awaited type directly. Example: Please use types with same size or use the expected type directly. Example:
``` ```
extern "rust-intrinsic" { extern "rust-intrinsic" {
@ -90,7 +120,3 @@ let x = &[0, 1, 2][2]; // ok
"##, "##,
} }
register_diagnostics! {
E0511, // invalid monomorphization of `{}` intrinsic
}