Skip to content

Commit 3632a76

Browse files
committed
Rust: Add test annotations.
1 parent d79aa07 commit 3632a76

File tree

1 file changed

+21
-21
lines changed
  • rust/ql/test/query-tests/unusedentities

1 file changed

+21
-21
lines changed

rust/ql/test/query-tests/unusedentities/main.rs

Lines changed: 21 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,10 @@
44
// --- locals ---
55

66
fn locals_1() {
7-
let a = 1; // BAD: unused value
7+
let a = 1; // BAD: unused value [NOT DETECTED]
88
let b = 1;
99
let c = 1;
10-
let d = String::from("a"); // BAD: unused value
10+
let d = String::from("a"); // BAD: unused value [NOT DETECTED]
1111
let e = String::from("b");
1212
let _ = 1; // (deliberately unused)
1313

@@ -22,7 +22,7 @@ fn locals_1() {
2222

2323
fn locals_2() {
2424
let a: i32;
25-
let b: i32; // BAD: unused variable
25+
let b: i32; // BAD: unused variable [NOT DETECTED]
2626
let mut c: i32;
2727
let mut d: i32;
2828
let mut e: i32;
@@ -31,22 +31,22 @@ fn locals_2() {
3131
let h: i32;
3232
let i: i32;
3333

34-
b = 1; // BAD: unused value
34+
b = 1; // BAD: unused value [NOT DETECTED]
3535

36-
c = 1; // BAD: unused value
36+
c = 1; // BAD: unused value [NOT DETECTED]
3737
c = 2;
3838
println!("use {}", c);
39-
c = 3; // BAD: unused value
39+
c = 3; // BAD: unused value [NOT DETECTED]
4040

4141
d = 1;
4242
if cond() {
43-
d = 2; // BAD: unused value
43+
d = 2; // BAD: unused value [NOT DETECTED]
4444
d = 3;
4545
} else {
4646
}
4747
println!("use {}", d);
4848

49-
e = 1; // BAD: unused value
49+
e = 1; // BAD: unused value [NOT DETECTED]
5050
if cond() {
5151
e = 2;
5252
} else {
@@ -57,16 +57,16 @@ fn locals_2() {
5757
f = 1;
5858
f += 1;
5959
println!("use {}", f);
60-
f += 1; // BAD: unused value
60+
f += 1; // BAD: unused value [NOT DETECTED]
6161
f = 1;
62-
f += 1; // BAD: unused value
62+
f += 1; // BAD: unused value [NOT DETECTED]
6363

64-
g = if cond() { 1 } else { 2 }; // BAD: unused value (x2)
64+
g = if cond() { 1 } else { 2 }; // BAD: unused value (x2) [NOT DETECTED]
6565
h = if cond() { 3 } else { 4 };
6666
i = if cond() { h } else { 5 };
6767
println!("use {}", i);
6868

69-
_ = 1; // (deliberately unused)
69+
_ = 1; // (deliberately unused) [NOT DETECTED]
7070
}
7171

7272
// --- structs ---
@@ -83,10 +83,10 @@ impl MyStruct {
8383
}
8484

8585
fn structs() {
86-
let a = MyStruct {val : 1 }; // BAD: unused value
86+
let a = MyStruct {val : 1 }; // BAD: unused value [NOT DETECTED]
8787
let b = MyStruct {val : 2 };
8888
let c = MyStruct {val : 3 };
89-
let mut d : MyStruct; // BAD: unused variable
89+
let mut d : MyStruct; // BAD: unused variable [NOT DETECTED]
9090
let mut e : MyStruct;
9191
let mut f : MyStruct;
9292

@@ -97,14 +97,14 @@ fn structs() {
9797
e.val = 5;
9898
println!("lets use {}", e.my_get());
9999

100-
f = MyStruct {val : 6 }; // BAD: unused value
101-
f.val = 7; // BAD: unused value
100+
f = MyStruct {val : 6 }; // BAD: unused value [NOT DETECTED]
101+
f.val = 7; // BAD: unused value [NOT DETECTED]
102102
}
103103

104104
// --- arrays ---
105105

106106
fn arrays() {
107-
let is = [1, 2, 3]; // BAD: unused values (x3)
107+
let is = [1, 2, 3]; // BAD: unused values (x3) [NOT DETECTED]
108108
let js = [1, 2, 3];
109109
let ks = [1, 2, 3];
110110

@@ -118,13 +118,13 @@ fn arrays() {
118118
// --- constants and statics ---
119119

120120
const CON1: i32 = 1;
121-
const CON2: i32 = 2; // BAD: unused value
121+
const CON2: i32 = 2; // BAD: unused value [NOT DETECTED]
122122
static mut STAT1: i32 = 1;
123-
static mut STAT2: i32 = 2; // BAD: unused value
123+
static mut STAT2: i32 = 2; // BAD: unused value [NOT DETECTED]
124124

125125
fn statics() {
126126
static mut STAT3: i32 = 0;
127-
static mut STAT4: i32 = 0; // BAD: unused value
127+
static mut STAT4: i32 = 0; // BAD: unused value [NOT DETECTED]
128128

129129
unsafe
130130
{
@@ -136,7 +136,7 @@ fn statics() {
136136

137137
fn parameters(
138138
x: i32,
139-
y: i32, // BAD: unused variable
139+
y: i32, // BAD: unused variable [NOT DETECTED]
140140
_z: i32 // (`_` is asking the compiler, and by extension us, to not warn that this is unused)
141141
) -> i32 {
142142
return x;

0 commit comments

Comments
 (0)