-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add UI test for
needless_pass_by_ref_mut
- Loading branch information
1 parent
75da9ee
commit 69041b6
Showing
2 changed files
with
133 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,105 @@ | ||
#![allow(unused)] | ||
|
||
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) {} | ||
|
||
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}"); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,28 @@ | ||
error: this argument is a mutable reference, but not used mutably | ||
--> $DIR/needless_pass_by_ref_mut.rs:6:11 | ||
| | ||
LL | fn foo(s: &mut Vec<u32>, b: &u32, x: &mut u32) { | ||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<u32>` | ||
| | ||
= note: `-D clippy::needless-pass-by-ref-mut` implied by `-D warnings` | ||
|
||
error: this argument is a mutable reference, but not used mutably | ||
--> $DIR/needless_pass_by_ref_mut.rs:31:12 | ||
| | ||
LL | fn foo6(s: &mut Vec<u32>) { | ||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<u32>` | ||
|
||
error: this argument is a mutable reference, but not used mutably | ||
--> $DIR/needless_pass_by_ref_mut.rs:44:29 | ||
| | ||
LL | fn mushroom(&self, vec: &mut Vec<i32>) -> usize { | ||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<i32>` | ||
|
||
error: this argument is a mutable reference, but not used mutably | ||
--> $DIR/needless_pass_by_ref_mut.rs:49:31 | ||
| | ||
LL | fn badger(&mut self, vec: &mut Vec<i32>) -> usize { | ||
| ^^^^^^^^^^^^^ help: consider changing to: `&Vec<i32>` | ||
|
||
error: aborting due to 4 previous errors | ||
|