diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/exit3.rs')
| -rw-r--r-- | src/tools/clippy/tests/ui/exit3.rs | 8 | 
1 files changed, 8 insertions, 0 deletions
| diff --git a/src/tools/clippy/tests/ui/exit3.rs b/src/tools/clippy/tests/ui/exit3.rs new file mode 100644 index 00000000000..9dc0e1015a4 --- /dev/null +++ b/src/tools/clippy/tests/ui/exit3.rs @@ -0,0 +1,8 @@ +#[warn(clippy::exit)] + +fn main() { + if true { + std::process::exit(2); + }; + std::process::exit(1); +} | 
