Skip to content

Commit 84d670d

Browse files
committed
C#: Update test expected output.
1 parent f372d10 commit 84d670d

3 files changed

Lines changed: 135 additions & 4 deletions

File tree

‎csharp/ql/test/library-tests/dataflow/tuples/DataFlowStep.expected‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -143,6 +143,7 @@
143143
| Tuples.cs:75:13:75:30 | SSA qualifier def(y.Item2.Item2) | Tuples.cs:80:22:80:34 | access to field Item2 |
144144
| Tuples.cs:75:17:75:30 | (..., ...) | Tuples.cs:75:13:75:13 | access to local variable y |
145145
| Tuples.cs:75:18:75:18 | access to parameter s | Tuples.cs:75:25:75:25 | access to parameter s |
146+
| Tuples.cs:76:17:76:17 | access to local variable y | Tuples.cs:78:18:78:39 | { ... } |
146147
| Tuples.cs:76:17:76:17 | access to local variable y | Tuples.cs:79:22:79:22 | access to local variable y |
147148
| Tuples.cs:78:19:78:23 | SSA def(a) | Tuples.cs:78:46:78:46 | access to local variable a |
148149
| Tuples.cs:78:19:78:23 | String a | Tuples.cs:78:19:78:23 | SSA def(a) |
@@ -237,6 +238,7 @@
237238
| Tuples.cs:141:13:141:13 | access to local variable x | Tuples.cs:141:13:141:32 | SSA def(x) |
238239
| Tuples.cs:141:13:141:32 | SSA def(x) | Tuples.cs:142:17:142:17 | access to local variable x |
239240
| Tuples.cs:141:17:141:32 | (..., ...) | Tuples.cs:141:13:141:13 | access to local variable x |
241+
| Tuples.cs:142:17:142:17 | access to local variable x | Tuples.cs:144:18:144:46 | { ... } |
240242
| Tuples.cs:144:19:144:24 | SSA def(a1) | Tuples.cs:145:22:145:23 | access to local variable a1 |
241243
| Tuples.cs:144:19:144:24 | String a1 | Tuples.cs:144:19:144:24 | SSA def(a1) |
242244
| Tuples.cs:144:28:144:33 | Int32 b1 | Tuples.cs:144:28:144:33 | SSA def(b1) |
@@ -255,6 +257,7 @@
255257
| Tuples.cs:153:13:153:13 | access to local variable y | Tuples.cs:153:13:153:32 | SSA def(y) |
256258
| Tuples.cs:153:13:153:32 | SSA def(y) | Tuples.cs:154:13:154:13 | access to local variable y |
257259
| Tuples.cs:153:17:153:32 | (..., ...) | Tuples.cs:153:13:153:13 | access to local variable y |
260+
| Tuples.cs:154:13:154:13 | access to local variable y | Tuples.cs:154:18:154:42 | { ... } |
258261
| Tuples.cs:154:19:154:24 | SSA def(a2) | Tuples.cs:156:18:156:19 | access to local variable a2 |
259262
| Tuples.cs:154:19:154:24 | String a2 | Tuples.cs:154:19:154:24 | SSA def(a2) |
260263
| Tuples.cs:154:32:154:33 | Int32 b2 | Tuples.cs:154:32:154:33 | SSA def(b2) |

‎csharp/ql/test/library-tests/dataflow/tuples/Tuples.cs‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -142,8 +142,8 @@ static void M7()
142142
switch (x)
143143
{
144144
case (var a1, (var b1, var c1), _):
145-
Sink(a1); // $ MISSING: hasValueFlow=10
146-
Sink(c1); // $ MISSING: hasValueFlow=11
145+
Sink(a1); // $ hasValueFlow=10
146+
Sink(c1); // $ hasValueFlow=11
147147
Sink(b1);
148148
break;
149149
}
@@ -153,8 +153,8 @@ static void M7()
153153
var y = (o3, (2, o4), 3);
154154
if (y is (var a2, var (b2, c2), _))
155155
{
156-
Sink(a2); // $ MISSING: hasValueFlow=12
157-
Sink(c2); // $ MISSING: hasValueFlow=13
156+
Sink(a2); // $ hasValueFlow=12
157+
Sink(c2); // $ hasValueFlow=13
158158
Sink(b2);
159159
}
160160
}

0 commit comments

Comments
 (0)