Skip to content

Commit 43cb98a

Browse files
committed
Rust: Fix some warnings in the existing test.
1 parent 8e8374b commit 43cb98a

File tree

2 files changed

+6
-6
lines changed

2 files changed

+6
-6
lines changed

rust/ql/test/query-tests/security/CWE-825/deallocation.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,8 +29,8 @@ pub fn test_alloc(mode: i32) {
2929
println!(" v6 = {v6} (!)"); // corrupt in practice
3030

3131
// test repeat reads (we don't want lots of very similar results for the same dealloc)
32-
let v5b = *m1;
33-
let v5c = *m1;
32+
let _v5b = *m1;
33+
let _v5c = *m1;
3434
},
3535
100 => {
3636
// more reads

rust/ql/test/query-tests/security/CWE-825/lifetime.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ fn use_pointers(p1: *const i64, p2: *mut i64, mode: i32) {
9696
use_the_stack();
9797

9898
unsafe {
99-
if (mode == 0) {
99+
if mode == 0 {
100100
// reads
101101
let v1 = *p1; // GOOD
102102
let v2 = *p2; // GOOD
@@ -105,7 +105,7 @@ fn use_pointers(p1: *const i64, p2: *mut i64, mode: i32) {
105105
println!(" v2 = {v2}");
106106
println!(" v3 = {v3}");
107107
}
108-
if (mode == 200) {
108+
if mode == 200 {
109109
// writes
110110
*p2 = 2; // GOOD
111111
}
@@ -142,14 +142,14 @@ pub fn test_static(mode: i32) {
142142
use_the_stack();
143143

144144
unsafe {
145-
if (mode == 0) {
145+
if mode == 0 {
146146
// reads
147147
let v1 = *p1; // GOOD
148148
let v2 = *p2; // GOOD
149149
println!(" v1 = {v1}");
150150
println!(" v2 = {v2}");
151151
}
152-
if (mode == 210) {
152+
if mode == 210 {
153153
// writes
154154
*p2 = 3; // GOOD
155155
}

0 commit comments

Comments
 (0)