diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2021-03-13 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2021-03-15 23:26:03 +0100 |
| commit | ad8f9af7cbeae48db0606cb5e39cbc04e5e35789 (patch) | |
| tree | 52a5fe2b92f916236cdc2f6e430b1b93ac6cf7f9 | |
| parent | 5a9538acb55f0980728a159996fdeff77b845455 (diff) | |
| download | rust-ad8f9af7cbeae48db0606cb5e39cbc04e5e35789.tar.gz rust-ad8f9af7cbeae48db0606cb5e39cbc04e5e35789.zip | |
Remove inline-instrument-coverage-fail.rs test case
| -rw-r--r-- | src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.rs | 21 | ||||
| -rw-r--r-- | src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.stderr | 2 |
2 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.rs b/src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.rs deleted file mode 100644 index 8ed7f25d2bb..00000000000 --- a/src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.rs +++ /dev/null @@ -1,21 +0,0 @@ -// Ensures -Zmir-opt-level=3 (specifically, inlining) is not allowed with -Zinstrument-coverage. -// Regression test for issue #80060. -// -// needs-profiler-support -// build-pass -// compile-flags: -Zmir-opt-level=3 -Zinstrument-coverage -#[inline(never)] -fn foo() {} - -pub fn baz() { - bar(); -} - -#[inline(always)] -fn bar() { - foo(); -} - -fn main() { - bar(); -} diff --git a/src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.stderr b/src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.stderr deleted file mode 100644 index d482afc395d..00000000000 --- a/src/test/ui/mir/mir-inlining/inline-instrument-coverage-fail.stderr +++ /dev/null @@ -1,2 +0,0 @@ -warning: `-Z mir-opt-level=3` (or any level > 1) enables function inlining, which is incompatible with `-Z instrument-coverage`. Inlining will be disabled. - |
