mirror of
https://github.com/rust-lang/rust-clippy
synced 2024-11-15 09:27:25 +00:00
203 lines
3.9 KiB
Rust
203 lines
3.9 KiB
Rust
#![allow(clippy::if_same_then_else, clippy::no_effect)]
|
|
#![feature(lint_reasons)]
|
|
|
|
use std::ptr::NonNull;
|
|
|
|
// Should only warn for `s`.
|
|
fn foo(s: &mut Vec<u32>, b: &u32, x: &mut u32) {
|
|
*x += *b + s.len() as u32;
|
|
}
|
|
|
|
// Should not warn.
|
|
fn foo2(s: &mut Vec<u32>) {
|
|
s.push(8);
|
|
}
|
|
|
|
// Should not warn because we return it.
|
|
fn foo3(s: &mut Vec<u32>) -> &mut Vec<u32> {
|
|
s
|
|
}
|
|
|
|
// Should not warn because `s` is used as mutable.
|
|
fn foo4(s: &mut Vec<u32>) {
|
|
Vec::push(s, 4);
|
|
}
|
|
|
|
// Should not warn.
|
|
fn foo5(s: &mut Vec<u32>) {
|
|
foo2(s);
|
|
}
|
|
|
|
// Should warn.
|
|
fn foo6(s: &mut Vec<u32>) {
|
|
non_mut_ref(s);
|
|
}
|
|
|
|
fn non_mut_ref(_: &Vec<u32>) {}
|
|
|
|
struct Bar;
|
|
|
|
impl Bar {
|
|
// Should not warn on `&mut self`.
|
|
fn bar(&mut self) {}
|
|
|
|
// Should warn about `vec`
|
|
fn mushroom(&self, vec: &mut Vec<i32>) -> usize {
|
|
vec.len()
|
|
}
|
|
|
|
// Should warn about `vec` (and not `self`).
|
|
fn badger(&mut self, vec: &mut Vec<i32>) -> usize {
|
|
vec.len()
|
|
}
|
|
}
|
|
|
|
trait Babar {
|
|
// Should not warn here since it's a trait method.
|
|
fn method(arg: &mut u32);
|
|
}
|
|
|
|
impl Babar for Bar {
|
|
// Should not warn here since it's a trait method.
|
|
fn method(a: &mut u32) {}
|
|
}
|
|
|
|
// Should not warn (checking variable aliasing).
|
|
fn alias_check(s: &mut Vec<u32>) {
|
|
let mut alias = s;
|
|
let mut alias2 = alias;
|
|
let mut alias3 = alias2;
|
|
alias3.push(0);
|
|
}
|
|
|
|
// Should not warn (checking variable aliasing).
|
|
fn alias_check2(mut s: &mut Vec<u32>) {
|
|
let mut alias = &mut s;
|
|
alias.push(0);
|
|
}
|
|
|
|
struct Mut<T> {
|
|
ptr: NonNull<T>,
|
|
}
|
|
|
|
impl<T> Mut<T> {
|
|
// Should not warn because `NonNull::from` also accepts `&mut`.
|
|
fn new(ptr: &mut T) -> Self {
|
|
Mut {
|
|
ptr: NonNull::from(ptr),
|
|
}
|
|
}
|
|
}
|
|
|
|
// Should not warn.
|
|
fn unused(_: &mut u32, _b: &mut u8) {}
|
|
|
|
// Should not warn.
|
|
async fn f1(x: &mut i32) {
|
|
*x += 1;
|
|
}
|
|
// Should not warn.
|
|
async fn f2(x: &mut i32, y: String) {
|
|
*x += 1;
|
|
}
|
|
// Should not warn.
|
|
async fn f3(x: &mut i32, y: String, z: String) {
|
|
*x += 1;
|
|
}
|
|
// Should not warn.
|
|
async fn f4(x: &mut i32, y: i32) {
|
|
*x += 1;
|
|
}
|
|
// Should not warn.
|
|
async fn f5(x: i32, y: &mut i32) {
|
|
*y += 1;
|
|
}
|
|
// Should not warn.
|
|
async fn f6(x: i32, y: &mut i32, z: &mut i32) {
|
|
*y += 1;
|
|
*z += 1;
|
|
}
|
|
// Should not warn.
|
|
async fn f7(x: &mut i32, y: i32, z: &mut i32, a: i32) {
|
|
*x += 1;
|
|
*z += 1;
|
|
}
|
|
|
|
// Should warn.
|
|
async fn a1(x: &mut i32) {
|
|
println!("{:?}", x);
|
|
}
|
|
// Should warn.
|
|
async fn a2(x: &mut i32, y: String) {
|
|
println!("{:?}", x);
|
|
}
|
|
// Should warn.
|
|
async fn a3(x: &mut i32, y: String, z: String) {
|
|
println!("{:?}", x);
|
|
}
|
|
// Should warn.
|
|
async fn a4(x: &mut i32, y: i32) {
|
|
println!("{:?}", x);
|
|
}
|
|
// Should warn.
|
|
async fn a5(x: i32, y: &mut i32) {
|
|
println!("{:?}", x);
|
|
}
|
|
// Should warn.
|
|
async fn a6(x: i32, y: &mut i32) {
|
|
println!("{:?}", x);
|
|
}
|
|
// Should warn.
|
|
async fn a7(x: i32, y: i32, z: &mut i32) {
|
|
println!("{:?}", z);
|
|
}
|
|
// Should warn.
|
|
async fn a8(x: i32, a: &mut i32, y: i32, z: &mut i32) {
|
|
println!("{:?}", z);
|
|
}
|
|
|
|
// Should not warn (passed as closure which takes `&mut`).
|
|
fn passed_as_closure(s: &mut u32) {}
|
|
|
|
// Should not warn.
|
|
fn passed_as_local(s: &mut u32) {}
|
|
|
|
// Should not warn.
|
|
fn ty_unify_1(s: &mut u32) {}
|
|
|
|
// Should not warn.
|
|
fn ty_unify_2(s: &mut u32) {}
|
|
|
|
// Should not warn.
|
|
fn passed_as_field(s: &mut u32) {}
|
|
|
|
fn closure_takes_mut(s: fn(&mut u32)) {}
|
|
|
|
struct A {
|
|
s: fn(&mut u32),
|
|
}
|
|
|
|
// Should warn.
|
|
fn used_as_path(s: &mut u32) {}
|
|
|
|
// Make sure lint attributes work fine
|
|
#[expect(clippy::needless_pass_by_ref_mut)]
|
|
fn lint_attr(s: &mut u32) {}
|
|
|
|
fn main() {
|
|
let mut u = 0;
|
|
let mut v = vec![0];
|
|
foo(&mut v, &0, &mut u);
|
|
foo2(&mut v);
|
|
foo3(&mut v);
|
|
foo4(&mut v);
|
|
foo5(&mut v);
|
|
alias_check(&mut v);
|
|
alias_check2(&mut v);
|
|
println!("{u}");
|
|
closure_takes_mut(passed_as_closure);
|
|
A { s: passed_as_field };
|
|
used_as_path;
|
|
let _: fn(&mut u32) = passed_as_local;
|
|
let _ = if v[0] == 0 { ty_unify_1 } else { ty_unify_2 };
|
|
}
|