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/error-codes | |
| parent | 29780f43e2067ee1c88e73fa76ef1cced28758d3 (diff) | |
| download | rust-a95b342f0283dd213ef0248bc1a42e158dbef603.tar.gz rust-a95b342f0283dd213ef0248bc1a42e158dbef603.zip | |
Test `-Zthir-unsafeck` for unsafe function calls
Diffstat (limited to 'src/test/ui/error-codes')
| -rw-r--r-- | src/test/ui/error-codes/E0133.mir.stderr (renamed from src/test/ui/error-codes/E0133.stderr) | 2 | ||||
| -rw-r--r-- | src/test/ui/error-codes/E0133.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/error-codes/E0133.thir.stderr | 11 |
3 files changed, 15 insertions, 1 deletions
diff --git a/src/test/ui/error-codes/E0133.stderr b/src/test/ui/error-codes/E0133.mir.stderr index 1eb696506f3..b11d5e2c2fc 100644 --- a/src/test/ui/error-codes/E0133.stderr +++ b/src/test/ui/error-codes/E0133.mir.stderr @@ -1,5 +1,5 @@ error[E0133]: call to unsafe function is unsafe and requires unsafe function or block - --> $DIR/E0133.rs:4:5 + --> $DIR/E0133.rs:7:5 | LL | f(); | ^^^ call to unsafe function diff --git a/src/test/ui/error-codes/E0133.rs b/src/test/ui/error-codes/E0133.rs index 52494ce6078..dee1475ba21 100644 --- a/src/test/ui/error-codes/E0133.rs +++ b/src/test/ui/error-codes/E0133.rs @@ -1,3 +1,6 @@ +// revisions: mir thir +// [thir]compile-flags: -Z thir-unsafeck + unsafe fn f() { return; } fn main() { diff --git a/src/test/ui/error-codes/E0133.thir.stderr b/src/test/ui/error-codes/E0133.thir.stderr new file mode 100644 index 00000000000..b11d5e2c2fc --- /dev/null +++ b/src/test/ui/error-codes/E0133.thir.stderr @@ -0,0 +1,11 @@ +error[E0133]: call to unsafe function is unsafe and requires unsafe function or block + --> $DIR/E0133.rs:7:5 + | +LL | f(); + | ^^^ call to unsafe function + | + = note: consult the function's documentation for information on how to avoid undefined behavior + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0133`. |