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