Update name of Windows abort constant to match platform documentation · model-checking/verify-rust-std@d50143f (original) (raw)

`@@ -19,7 +19,7 @@ pub const TR_OK: i32 = 50;

`

19

19

`// On Windows we use __fastfail to abort, which is documented to use this

`

20

20

`// exception code.

`

21

21

`#[cfg(windows)]

`

22

``

`-

const STATUS_ABORTED: i32 = 0xC0000409u32 as i32;

`

``

22

`+

const STATUS_FAIL_FAST_EXCEPTION: i32 = 0xC0000409u32 as i32;

`

23

23

``

24

24

`// On Zircon (the Fuchsia kernel), an abort from userspace calls the

`

25

25

`// LLVM implementation of __builtin_trap(), e.g., ud2 on x86, which

`

`@@ -104,7 +104,7 @@ pub fn get_result_from_exit_code(

`

104

104

`let result = match status.code() {

`

105

105

`Some(TR_OK) => TestResult::TrOk,

`

106

106

`#[cfg(windows)]

`

107

``

`-

Some(STATUS_ABORTED) => TestResult::TrFailed,

`

``

107

`+

Some(STATUS_FAIL_FAST_EXCEPTION) => TestResult::TrFailed,

`

108

108

`#[cfg(unix)]

`

109

109

`None => match status.signal() {

`

110

110

`Some(libc::SIGABRT) => TestResult::TrFailed,

`