rust/tests/ui/eval_order_dependence.rs

110 lines
1.9 KiB
Rust
Raw Normal View History

2018-07-28 17:34:52 +02:00
#[warn(clippy::eval_order_dependence)]
2018-12-09 23:26:16 +01:00
#[allow(
unused_assignments,
unused_variables,
clippy::many_single_char_names,
clippy::no_effect,
dead_code,
clippy::blacklisted_name
)]
fn main() {
let mut x = 0;
2018-12-09 23:26:16 +01:00
let a = {
x = 1;
1
} + x;
2017-02-08 14:58:07 +01:00
// Example from iss#277
2018-12-09 23:26:16 +01:00
x += {
x = 20;
2
};
// Does it work in weird places?
// ...in the base for a struct expression?
2018-12-09 23:26:16 +01:00
struct Foo {
a: i32,
b: i32,
};
let base = Foo { a: 4, b: 5 };
2018-12-09 23:26:16 +01:00
let foo = Foo {
a: x,
..{
x = 6;
base
}
};
// ...inside a closure?
let closure = || {
let mut x = 0;
2018-12-09 23:26:16 +01:00
x += {
x = 20;
2
};
};
// ...not across a closure?
let mut y = 0;
2018-12-09 23:26:16 +01:00
let b = (y, || y = 1);
// && and || evaluate left-to-right.
2018-12-09 23:26:16 +01:00
let a = {
x = 1;
true
} && (x == 3);
let a = {
x = 1;
true
} || (x == 3);
// Make sure we don't get confused by alpha conversion.
2018-12-09 23:26:16 +01:00
let a = {
let mut x = 1;
x = 2;
1
} + x;
// No warning if we don't read the variable...
2018-12-09 23:26:16 +01:00
x = {
x = 20;
2
};
// ...if the assignment is in a closure...
2018-12-09 23:26:16 +01:00
let b = {
|| {
x = 1;
};
1
} + x;
// ... or the access is under an address.
2018-12-09 23:26:16 +01:00
let b = (
{
let p = &x;
1
},
{
x = 1;
x
},
);
// Limitation: l-values other than simple variables don't trigger
// the warning.
let mut tup = (0, 0);
2018-12-09 23:26:16 +01:00
let c = {
tup.0 = 1;
1
} + tup.0;
// Limitation: you can get away with a read under address-of.
let mut z = 0;
2018-12-09 23:26:16 +01:00
let b = (
&{
z = x;
x
},
{
x = 3;
x
},
);
}