Skip to content

Commit ad4e082

Browse files
EnselicEnselic
committed
tests: Require run-fail ui tests to have an exit code (SIGABRT not ok)
Normally a `run-fail` ui test shall not be terminated by a signal like SIGABRT. So begin having that as a hard requirement. Some of our current tests do terminate by a signal however. Introduce and use `run-crash` for those tests.
1 parent 3129d37 commit ad4e082

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

58 files changed

+133
-76
lines changed

‎src/tools/compiletest/src/common.rs‎

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -110,11 +110,22 @@ string_enum! {
110110
}
111111
}
112112

113+
#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
114+
pub enum RunFailMode {
115+
/// Running the program must exit with an exit code >= 1 && <= 127. If the
116+
/// program is terminated by a signal (or the exit code indicates abnormal
117+
/// exit) the test will fail.
118+
FailureExitCode,
119+
/// The running program must have crashed, e.g. by SIGABRT on Unix or
120+
/// Windows by setting an appropriate NTSTATUS high bit in the exit code.
121+
Crash,
122+
}
123+
113124
#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
114125
pub enum FailMode {
115126
Check,
116127
Build,
117-
Run,
128+
Run(RunFailMode),
118129
}
119130

120131
string_enum! {

‎src/tools/compiletest/src/directive-list.rs‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -241,6 +241,7 @@ const KNOWN_DIRECTIVE_NAMES: &[&str] = &[
241241
"regex-error-pattern",
242242
"remap-src-base",
243243
"revisions",
244+
"run-crash",
244245
"run-fail",
245246
"run-flags",
246247
"run-pass",

‎src/tools/compiletest/src/header.rs‎

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ use camino::{Utf8Path, Utf8PathBuf};
99
use semver::Version;
1010
use tracing::*;
1111

12-
use crate::common::{Config, Debugger, FailMode, Mode, PassMode};
12+
use crate::common::{Config, Debugger, FailMode, Mode, PassMode, RunFailMode};
1313
use crate::debuggers::{extract_cdb_version, extract_gdb_version};
1414
use crate::errors::ErrorKind;
1515
use crate::executor::{CollectedTestDesc, ShouldPanic};
@@ -655,7 +655,10 @@ impl TestProps {
655655
Some(FailMode::Build)
656656
} else if config.parse_name_directive(ln, "run-fail") {
657657
check_ui("run");
658-
Some(FailMode::Run)
658+
Some(FailMode::Run(RunFailMode::FailureExitCode))
659+
} else if config.parse_name_directive(ln, "run-crash") {
660+
check_ui("run");
661+
Some(FailMode::Run(RunFailMode::Crash))
659662
} else {
660663
None
661664
};

‎src/tools/compiletest/src/runtest.rs‎

Lines changed: 16 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -17,10 +17,10 @@ use tracing::*;
1717

1818
use crate::common::{
1919
Assembly, Codegen, CodegenUnits, CompareMode, Config, CoverageMap, CoverageRun, Crashes,
20-
DebugInfo, Debugger, FailMode, Incremental, MirOpt, PassMode, Pretty, RunMake, Rustdoc,
21-
RustdocJs, RustdocJson, TestPaths, UI_EXTENSIONS, UI_FIXED, UI_RUN_STDERR, UI_RUN_STDOUT,
22-
UI_STDERR, UI_STDOUT, UI_SVG, UI_WINDOWS_SVG, Ui, expected_output_path, incremental_dir,
23-
output_base_dir, output_base_name, output_testname_unique,
20+
DebugInfo, Debugger, FailMode, Incremental, MirOpt, PassMode, Pretty, RunFailMode, RunMake,
21+
Rustdoc, RustdocJs, RustdocJson, TestPaths, UI_EXTENSIONS, UI_FIXED, UI_RUN_STDERR,
22+
UI_RUN_STDOUT, UI_STDERR, UI_STDOUT, UI_SVG, UI_WINDOWS_SVG, Ui, expected_output_path,
23+
incremental_dir, output_base_dir, output_base_name, output_testname_unique,
2424
};
2525
use crate::compute_diff::{DiffLine, make_diff, write_diff, write_filtered_diff};
2626
use crate::errors::{Error, ErrorKind, load_errors};
@@ -277,7 +277,11 @@ impl<'test> TestCx<'test> {
277277

278278
fn should_run(&self, pm: Option<PassMode>) -> WillExecute {
279279
let test_should_run = match self.config.mode {
280-
Ui if pm == Some(PassMode::Run) || self.props.fail_mode == Some(FailMode::Run) => true,
280+
Ui if pm == Some(PassMode::Run)
281+
|| matches!(self.props.fail_mode, Some(FailMode::Run(_))) =>
282+
{
283+
true
284+
}
281285
MirOpt if pm == Some(PassMode::Run) => true,
282286
Ui | MirOpt => false,
283287
mode => panic!("unimplemented for mode {:?}", mode),
@@ -296,6 +300,13 @@ impl<'test> TestCx<'test> {
296300
}
297301
}
298302

303+
fn must_have_exit_code(&self) -> bool {
304+
match self.config.mode {
305+
Ui => self.props.fail_mode == Some(FailMode::Run(RunFailMode::FailureExitCode)),
306+
mode => panic!("unimplemented for mode {:?}", mode),
307+
}
308+
}
309+
299310
fn should_compile_successfully(&self, pm: Option<PassMode>) -> bool {
300311
match self.config.mode {
301312
RustdocJs => true,

‎src/tools/compiletest/src/runtest/ui.rs‎

Lines changed: 36 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -140,14 +140,45 @@ impl TestCx<'_> {
140140
&proc_res,
141141
);
142142
}
143+
#[derive(Copy, Clone, Debug, PartialEq, PartialOrd)]
144+
enum DetailedExitStatus {
145+
ExitWithSuccess,
146+
ExitWithFailure { code: i32 },
147+
Crashed { code: Option<i32> },
148+
}
149+
fn code_is_proper_failure_exit_code(code: i32) -> bool {
150+
code >= 1 && code <= 127
151+
}
152+
let code = proc_res.status.code();
153+
let actual_status = if proc_res.status.success() {
154+
DetailedExitStatus::ExitWithSuccess
155+
} else if let Some(code) = code
156+
&& code_is_proper_failure_exit_code(code)
157+
{
158+
DetailedExitStatus::ExitWithFailure { code }
159+
} else {
160+
DetailedExitStatus::Crashed { code }
161+
};
143162
if self.should_run_successfully(pm) {
144-
if !proc_res.status.success() {
145-
self.fatal_proc_rec("test run failed!", &proc_res);
163+
if actual_status != DetailedExitStatus::ExitWithSuccess {
164+
self.fatal_proc_rec(
165+
&format!("test run failed! got {actual_status:?}"),
166+
&proc_res,
167+
);
146168
}
147-
} else if proc_res.status.success() {
148-
self.fatal_proc_rec("test run succeeded!", &proc_res);
169+
} else if self.must_have_exit_code() {
170+
if !matches!(actual_status, DetailedExitStatus::ExitWithFailure { .. }) {
171+
self.fatal_proc_rec(
172+
&format!("test did not exit with failure code! got {actual_status:?}"),
173+
&proc_res,
174+
);
175+
}
176+
} else if !matches!(actual_status, DetailedExitStatus::Crashed { .. }) {
177+
self.fatal_proc_rec(
178+
&format!("test did not crash! got {actual_status:?}"),
179+
&proc_res,
180+
);
149181
}
150-
151182
self.get_output(&proc_res)
152183
} else {
153184
self.get_output(&proc_res)

‎tests/ui/contracts/contract-attributes-generics.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,9 @@
55
//@ [unchk_pass] run-pass
66
//@ [chk_pass] run-pass
77
//
8-
//@ [chk_fail_pre] run-fail
9-
//@ [chk_fail_post] run-fail
10-
//@ [chk_const_fail] run-fail
8+
//@ [chk_fail_pre] run-crash
9+
//@ [chk_fail_post] run-crash
10+
//@ [chk_const_fail] run-crash
1111
//
1212
//@ [unchk_pass] compile-flags: -Zcontract-checks=no
1313
//

‎tests/ui/contracts/contract-attributes-nest.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@
55
//@ [unchk_fail_post] run-pass
66
//@ [chk_pass] run-pass
77
//
8-
//@ [chk_fail_pre] run-fail
9-
//@ [chk_fail_post] run-fail
8+
//@ [chk_fail_pre] run-crash
9+
//@ [chk_fail_post] run-crash
1010
//
1111
//@ [unchk_pass] compile-flags: -Zcontract-checks=no
1212
//@ [unchk_fail_pre] compile-flags: -Zcontract-checks=no

‎tests/ui/contracts/contract-attributes-tail.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@
55
//@ [unchk_fail_post] run-pass
66
//@ [chk_pass] run-pass
77
//
8-
//@ [chk_fail_pre] run-fail
9-
//@ [chk_fail_post] run-fail
8+
//@ [chk_fail_pre] run-crash
9+
//@ [chk_fail_post] run-crash
1010
//
1111
//@ [unchk_pass] compile-flags: -Zcontract-checks=no
1212
//@ [unchk_fail_pre] compile-flags: -Zcontract-checks=no

‎tests/ui/contracts/contract-captures-via-closure-copy.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
//@ run-fail
1+
//@ run-crash
22
//@ compile-flags: -Zcontract-checks=yes
33

44
#![feature(contracts)]

‎tests/ui/contracts/contract-const-fn.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@
88
//
99
//@ [all_pass] run-pass
1010
//
11-
//@ [runtime_fail_pre] run-fail
12-
//@ [runtime_fail_post] run-fail
11+
//@ [runtime_fail_pre] run-crash
12+
//@ [runtime_fail_post] run-crash
1313
//
1414
//@ [all_pass] compile-flags: -Zcontract-checks=yes
1515
//@ [runtime_fail_pre] compile-flags: -Zcontract-checks=yes

0 commit comments

Comments
 (0)