diff options
| author | LeSeulArtichaut <leseulartichaut@gmail.com> | 2021-03-14 20:11:37 +0100 |
|---|---|---|
| committer | LeSeulArtichaut <leseulartichaut@gmail.com> | 2021-05-11 20:35:38 +0200 |
| commit | a95b342f0283dd213ef0248bc1a42e158dbef603 (patch) | |
| tree | 66bad2c99b5cdebc10bde77d0d6b8f38d8ecbe29 /src/test/ui/consts | |
| parent | 29780f43e2067ee1c88e73fa76ef1cced28758d3 (diff) | |
| download | rust-a95b342f0283dd213ef0248bc1a42e158dbef603.tar.gz rust-a95b342f0283dd213ef0248bc1a42e158dbef603.zip | |
Test `-Zthir-unsafeck` for unsafe function calls
Diffstat (limited to 'src/test/ui/consts')
| -rw-r--r-- | src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.mir.stderr (renamed from src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.stderr) | 4 | ||||
| -rw-r--r-- | src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.thir.stderr | 19 |
3 files changed, 24 insertions, 2 deletions
diff --git a/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.stderr b/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.mir.stderr index 5196b8ee0a2..b643ecc0ce8 100644 --- a/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.stderr +++ b/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.mir.stderr @@ -1,5 +1,5 @@ error[E0133]: call to unsafe function is unsafe and requires unsafe function or block - --> $DIR/const-extern-fn-requires-unsafe.rs:8:5 + --> $DIR/const-extern-fn-requires-unsafe.rs:11:5 | LL | foo(); | ^^^^^ call to unsafe function @@ -7,7 +7,7 @@ LL | foo(); = note: consult the function's documentation for information on how to avoid undefined behavior error[E0133]: call to unsafe function is unsafe and requires unsafe function or block - --> $DIR/const-extern-fn-requires-unsafe.rs:6:17 + --> $DIR/const-extern-fn-requires-unsafe.rs:9:17 | LL | let a: [u8; foo()]; | ^^^^^ call to unsafe function diff --git a/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.rs b/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.rs index 71e6c2cb858..1ce78147970 100644 --- a/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.rs +++ b/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.rs @@ -1,3 +1,6 @@ +// revisions: mir thir +// [thir]compile-flags: -Z thir-unsafeck + #![feature(const_extern_fn)] const unsafe extern "C" fn foo() -> usize { 5 } diff --git a/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.thir.stderr b/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.thir.stderr new file mode 100644 index 00000000000..b643ecc0ce8 --- /dev/null +++ b/src/test/ui/consts/const-extern-fn/const-extern-fn-requires-unsafe.thir.stderr @@ -0,0 +1,19 @@ +error[E0133]: call to unsafe function is unsafe and requires unsafe function or block + --> $DIR/const-extern-fn-requires-unsafe.rs:11:5 + | +LL | foo(); + | ^^^^^ call to unsafe function + | + = note: consult the function's documentation for information on how to avoid undefined behavior + +error[E0133]: call to unsafe function is unsafe and requires unsafe function or block + --> $DIR/const-extern-fn-requires-unsafe.rs:9:17 + | +LL | let a: [u8; foo()]; + | ^^^^^ call to unsafe function + | + = note: consult the function's documentation for information on how to avoid undefined behavior + +error: aborting due to 2 previous errors + +For more information about this error, try `rustc --explain E0133`. |