Skip to content

Commit 6b4921b

Browse files
michaelnebelmichaelnebel
committed
C#: Add mutator example.
1 parent a8eb89f commit 6b4921b

File tree

2 files changed

+40
-15
lines changed

2 files changed

+40
-15
lines changed

‎csharp/ql/test/query-tests/Dead Code/DeadStoreOfLocal/DeadStoreOfLocal.cs‎

Lines changed: 21 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -110,7 +110,25 @@ public void M7()
110110
x++; // $ Alert
111111
}
112112

113-
public IEnumerable<string> M8(IEnumerable<string> source)
113+
public void M8()
114+
{
115+
int x = 0;
116+
Console.WriteLine(++x); // GOOD
117+
}
118+
119+
public void M9()
120+
{
121+
int x = 0;
122+
Console.WriteLine(--x); // GOOD
123+
}
124+
125+
public void M10()
126+
{
127+
int x = 0;
128+
++x; // $ Alert
129+
}
130+
131+
public IEnumerable<string> M11(IEnumerable<string> source)
114132
{
115133
var count = 0; // GOOD
116134
foreach (var val in source)
@@ -120,7 +138,7 @@ public IEnumerable<string> M8(IEnumerable<string> source)
120138
}
121139
}
122140

123-
public IEnumerable<string> M9(IEnumerable<string> source)
141+
public IEnumerable<string> M12(IEnumerable<string> source)
124142
{
125143
var count = 0; // GOOD
126144
foreach (var val in source)
@@ -131,7 +149,7 @@ public IEnumerable<string> M9(IEnumerable<string> source)
131149
}
132150
}
133151

134-
public void M10(IEnumerable<string> source)
152+
public void M13(IEnumerable<string> source)
135153
{
136154
foreach (var val in source) // $ Alert
137155
{

‎csharp/ql/test/query-tests/Dead Code/DeadStoreOfLocal/DeadStoreOfLocal.expected‎

Lines changed: 19 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#select
12
| DeadStoreOfLocal.cs:8:13:8:48 | Boolean success = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:8:13:8:19 | success | success |
23
| DeadStoreOfLocal.cs:24:32:24:32 | FormatException e | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:24:32:24:32 | e | e |
34
| DeadStoreOfLocal.cs:33:22:33:22 | String s | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:33:22:33:22 | s | s |
@@ -8,15 +9,21 @@
89
| DeadStoreOfLocal.cs:98:13:98:20 | Int32 x = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:98:13:98:13 | x | x |
910
| DeadStoreOfLocal.cs:104:9:104:14 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:103:13:103:13 | x | x |
1011
| DeadStoreOfLocal.cs:110:9:110:11 | ...++ | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:109:13:109:13 | x | x |
11-
| DeadStoreOfLocal.cs:136:22:136:24 | String val | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:136:22:136:24 | val | val |
12-
| DeadStoreOfLocal.cs:155:13:155:37 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:148:40:148:44 | extra | extra |
13-
| DeadStoreOfLocal.cs:158:13:158:37 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:148:16:148:20 | info1 | info1 |
14-
| DeadStoreOfLocal.cs:196:26:196:27 | Exception ex | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:196:26:196:27 | ex | ex |
15-
| DeadStoreOfLocal.cs:300:17:300:24 | Int32 y = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:300:17:300:17 | y | y |
16-
| DeadStoreOfLocal.cs:315:17:315:21 | Int32 x = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:315:17:315:17 | x | x |
17-
| DeadStoreOfLocal.cs:354:23:354:28 | Object v1 | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:354:27:354:28 | v1 | v1 |
18-
| DeadStoreOfLocal.cs:368:18:368:23 | Object v2 | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:368:22:368:23 | v2 | v2 |
19-
| DeadStoreOfLocal.cs:385:9:385:32 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:381:23:381:23 | b | b |
20-
| DeadStoreOfLocal.cs:426:13:426:20 | String s = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:426:13:426:13 | s | s |
21-
| DeadStoreOfLocal.cs:452:13:452:21 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:450:13:450:13 | s | s |
22-
| DeadStoreOfLocal.cs:526:20:526:76 | FileStream y = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:526:20:526:20 | y | y |
12+
| DeadStoreOfLocal.cs:116:27:116:29 | ++... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:115:13:115:13 | x | x |
13+
| DeadStoreOfLocal.cs:122:27:122:29 | --... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:121:13:121:13 | x | x |
14+
| DeadStoreOfLocal.cs:128:9:128:11 | ++... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:127:13:127:13 | x | x |
15+
| DeadStoreOfLocal.cs:154:22:154:24 | String val | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:154:22:154:24 | val | val |
16+
| DeadStoreOfLocal.cs:173:13:173:37 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:166:40:166:44 | extra | extra |
17+
| DeadStoreOfLocal.cs:176:13:176:37 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:166:16:166:20 | info1 | info1 |
18+
| DeadStoreOfLocal.cs:214:26:214:27 | Exception ex | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:214:26:214:27 | ex | ex |
19+
| DeadStoreOfLocal.cs:318:17:318:24 | Int32 y = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:318:17:318:17 | y | y |
20+
| DeadStoreOfLocal.cs:333:17:333:21 | Int32 x = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:333:17:333:17 | x | x |
21+
| DeadStoreOfLocal.cs:372:23:372:28 | Object v1 | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:372:27:372:28 | v1 | v1 |
22+
| DeadStoreOfLocal.cs:386:18:386:23 | Object v2 | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:386:22:386:23 | v2 | v2 |
23+
| DeadStoreOfLocal.cs:403:9:403:32 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:399:23:399:23 | b | b |
24+
| DeadStoreOfLocal.cs:444:13:444:20 | String s = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:444:13:444:13 | s | s |
25+
| DeadStoreOfLocal.cs:470:13:470:21 | ... = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:468:13:468:13 | s | s |
26+
| DeadStoreOfLocal.cs:544:20:544:76 | FileStream y = ... | This assignment to $@ is useless, since its value is never read. | DeadStoreOfLocal.cs:544:20:544:20 | y | y |
27+
testFailures
28+
| DeadStoreOfLocal.cs:116:27:116:29 | This assignment to $@ is useless, since its value is never read. | Unexpected result: Alert |
29+
| DeadStoreOfLocal.cs:122:27:122:29 | This assignment to $@ is useless, since its value is never read. | Unexpected result: Alert |

0 commit comments

Comments
 (0)