diff options
| author | Cameron Zwarich <zwarich@mozilla.com> | 2014-06-07 00:29:24 -0700 |
|---|---|---|
| committer | Cameron Zwarich <zwarich@mozilla.com> | 2014-06-07 02:30:33 -0700 |
| commit | 53198ffda6cb39721afab0fc35941b4379ecae1f (patch) | |
| tree | 259ddd7292c169eede63093430773a73b8ed9392 | |
| parent | 61d79175c018a193a7676fe804f1b89280e18937 (diff) | |
| download | rust-53198ffda6cb39721afab0fc35941b4379ecae1f.tar.gz rust-53198ffda6cb39721afab0fc35941b4379ecae1f.zip | |
Mention the specific kind of use in borrowck test function names
Some of the borrowck field-sensitivity test functions have 'use' in their name, but they don't refer to the specific kind of use (whether a copy or a deref). It would be better if the name more precisely reflected what the function is testing.
| -rw-r--r-- | src/test/compile-fail/borrowck-field-sensitivity.rs | 12 | ||||
| -rw-r--r-- | src/test/run-pass/borrowck-field-sensitivity.rs | 44 |
2 files changed, 28 insertions, 28 deletions
diff --git a/src/test/compile-fail/borrowck-field-sensitivity.rs b/src/test/compile-fail/borrowck-field-sensitivity.rs index 4363f85048f..3d303625182 100644 --- a/src/test/compile-fail/borrowck-field-sensitivity.rs +++ b/src/test/compile-fail/borrowck-field-sensitivity.rs @@ -12,13 +12,13 @@ struct A { a: int, b: Box<int> } fn borrow<T>(_: &T) { } -fn use_after_move() { +fn deref_after_move() { let x = A { a: 1, b: box 2 }; drop(x.b); drop(*x.b); //~ ERROR use of partially moved value: `*x.b` } -fn use_after_fu_move() { +fn deref_after_fu_move() { let x = A { a: 1, b: box 2 }; let y = A { a: 3, .. x }; drop(*x.b); //~ ERROR use of partially moved value: `*x.b` @@ -84,7 +84,7 @@ fn fu_move_after_fu_move() { // The following functions aren't yet accepted, but they should be. -fn use_after_field_assign_after_uninit() { +fn copy_after_field_assign_after_uninit() { let mut x: A; x.a = 1; drop(x.a); //~ ERROR use of possibly uninitialized variable: `x.a` @@ -103,8 +103,8 @@ fn move_after_field_assign_after_uninit() { } fn main() { - use_after_move(); - use_after_fu_move(); + deref_after_move(); + deref_after_fu_move(); borrow_after_move(); borrow_after_fu_move(); @@ -117,7 +117,7 @@ fn main() { fu_move_after_move(); fu_move_after_fu_move(); - use_after_field_assign_after_uninit(); + copy_after_field_assign_after_uninit(); borrow_after_field_assign_after_uninit(); move_after_field_assign_after_uninit(); } diff --git a/src/test/run-pass/borrowck-field-sensitivity.rs b/src/test/run-pass/borrowck-field-sensitivity.rs index 3b82f51123f..9baa9ca7c6b 100644 --- a/src/test/run-pass/borrowck-field-sensitivity.rs +++ b/src/test/run-pass/borrowck-field-sensitivity.rs @@ -13,52 +13,52 @@ struct B { a: Box<int>, b: Box<int> } fn borrow<T>(_: &T) { } -fn move_after_use() { +fn move_after_copy() { let x = A { a: 1, b: box 2 }; drop(x.a); drop(x.b); } -fn move_after_fu_use() { +fn move_after_fu_copy() { let x = A { a: 1, b: box 2 }; let _y = A { b: box 3, .. x }; drop(x.b); } -fn fu_move_after_use() { +fn fu_move_after_copy() { let x = A { a: 1, b: box 2 }; drop(x.a); let y = A { a: 3, .. x }; drop(y.b); } -fn fu_move_after_fu_use() { +fn fu_move_after_fu_copy() { let x = A { a: 1, b: box 2 }; let _y = A { b: box 3, .. x }; let z = A { a: 4, .. x }; drop(z.b); } -fn use_after_move() { +fn copy_after_move() { let x = A { a: 1, b: box 2 }; drop(x.b); drop(x.a); } -fn use_after_fu_move() { +fn copy_after_fu_move() { let x = A { a: 1, b: box 2 }; let y = A { a: 3, .. x }; drop(x.a); drop(y.b); } -fn fu_use_after_move() { +fn fu_copy_after_move() { let x = A { a: 1, b: box 2 }; drop(x.b); let _y = A { b: box 3, .. x }; } -fn fu_use_after_fu_move() { +fn fu_copy_after_fu_move() { let x = A { a: 1, b: box 2 }; let y = A { a: 3, .. x }; let _z = A { b: box 3, .. x }; @@ -127,14 +127,14 @@ fn fu_move_after_fu_move() { drop(z.b); } -fn use_after_assign_after_move() { +fn copy_after_assign_after_move() { let mut x = A { a: 1, b: box 2 }; drop(x.b); x = A { a: 3, b: box 4 }; drop(*x.b); } -fn use_after_field_assign_after_move() { +fn copy_after_field_assign_after_move() { let mut x = A { a: 1, b: box 2 }; drop(x.b); x.b = box 3; @@ -170,7 +170,7 @@ fn move_after_field_assign_after_move() { drop(x.b); } -fn use_after_assign_after_uninit() { +fn copy_after_assign_after_uninit() { let mut x: A; x = A { a: 1, b: box 2 }; drop(x.a); @@ -189,14 +189,14 @@ fn move_after_assign_after_uninit() { } fn main() { - move_after_use(); - move_after_fu_use(); - fu_move_after_use(); - fu_move_after_fu_use(); - use_after_move(); - use_after_fu_move(); - fu_use_after_move(); - fu_use_after_fu_move(); + move_after_copy(); + move_after_fu_copy(); + fu_move_after_copy(); + fu_move_after_fu_copy(); + copy_after_move(); + copy_after_fu_move(); + fu_copy_after_move(); + fu_copy_after_fu_move(); borrow_after_move(); borrow_after_fu_move(); @@ -209,14 +209,14 @@ fn main() { fu_move_after_move(); fu_move_after_fu_move(); - use_after_assign_after_move(); - use_after_field_assign_after_move(); + copy_after_assign_after_move(); + copy_after_field_assign_after_move(); borrow_after_assign_after_move(); borrow_after_field_assign_after_move(); move_after_assign_after_move(); move_after_field_assign_after_move(); - use_after_assign_after_uninit(); + copy_after_assign_after_uninit(); borrow_after_assign_after_uninit(); move_after_assign_after_uninit(); } |
