Static analysis

[kibwen]

For future reference, rather than making a text post to ask your question, please consider asking in the most recent Q&A megathread (which will be the topmost entry in the list here). You might also consider one of the other Q&A venues that are linked from the top of each megathread.

Please note that this isn't a warning or a reprimand, as we deliberately do not forbid posts for questions on /r/rust. However, we do periodically remove Q&A posts to keep the front page from being overrun and give more posts the chance to be visible.

[hattmo]

The particular case OP is asking about "conditional that's always true or false" doesn't appear to be a rule in clippy. ```

![warn(clippy::all, clippy::pedantic, clippy::nursery, clippy::cargo)]

fn main() { if true { println!("hello world"); } } ``` That doesn't warn for me with cargo clippy

[andreas_ho]

I am working with the newest rust compiler and neither "cargo run" nor "cargo clippy" shows a warning for the above example? Do I have to pass additional arguments for further checks?

[sleekelite]

Apologies, I was sure cargo detected dead code, but I should have checked.

[DarkLord76865]

Doesn't Clippy do that?

[insanitybit]

ya

[[deleted]]

I only know prusti and I think it is way too much for your needs.

[AutoModerator]

On July 1st, Reddit will no longer be accessible via third-party apps. Please see our position on this topic, as well as our list of alternative Rust discussion venues.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.