Skip to content

Commit 70f2958

Browse files
michaelnebelmichaelnebel
committed
C#: Update expected test output.
1 parent 00e62a1 commit 70f2958

File tree

6 files changed

+2
-11
lines changed

6 files changed

+2
-11
lines changed

‎csharp/ql/test/library-tests/dispatch/CallContext.expected

-1
Original file line numberDiff line numberDiff line change
@@ -26,5 +26,4 @@ mayBenefitFromCallContext
2626
| ViableCallable.cs:563:18:563:22 | call to operator / |
2727
| ViableCallable.cs:566:26:566:30 | call to operator checked / |
2828
| ViableCallable.cs:572:9:572:15 | call to method M12 |
29-
| ViableCallable.cs:599:9:599:13 | call to method M |
3029
| ViableCallable.cs:605:9:605:13 | call to method M |

‎csharp/ql/test/library-tests/dispatch/CallGraph.expected

-1
Original file line numberDiff line numberDiff line change
@@ -257,6 +257,5 @@
257257
| ViableCallable.cs:542:10:542:15 | Run`1 | ViableCallable.cs:539:17:539:19 | M11 |
258258
| ViableCallable.cs:542:10:542:15 | Run`1 | ViableCallable.cs:540:17:540:19 | M12 |
259259
| ViableCallable.cs:596:17:596:23 | Run1`1 | ViableCallable.cs:588:21:588:21 | M |
260-
| ViableCallable.cs:596:17:596:23 | Run1`1 | ViableCallable.cs:593:21:593:21 | M |
261260
| ViableCallable.cs:602:17:602:23 | Run2`1 | ViableCallable.cs:588:21:588:21 | M |
262261
| ViableCallable.cs:602:17:602:23 | Run2`1 | ViableCallable.cs:593:21:593:21 | M |

‎csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected

-1
Original file line numberDiff line numberDiff line change
@@ -490,6 +490,5 @@
490490
| ViableCallable.cs:572:9:572:15 | call to method M12 | I3<T>.M12() |
491491
| ViableCallable.cs:575:9:575:15 | call to method M13 | I3<T>.M13() |
492492
| ViableCallable.cs:599:9:599:13 | call to method M | C21+A1.M() |
493-
| ViableCallable.cs:599:9:599:13 | call to method M | C21+A2.M() |
494493
| ViableCallable.cs:605:9:605:13 | call to method M | C21+A1.M() |
495494
| ViableCallable.cs:605:9:605:13 | call to method M | C21+A2.M() |

‎csharp/ql/test/library-tests/dispatch/ViableCallable.cs

+1-1
Original file line numberDiff line numberDiff line change
@@ -595,7 +595,7 @@ public void M() { }
595595

596596
public void Run1<T>(T t) where T : I
597597
{
598-
// Viable callable: A1.M() [also reports A2.M(); false positive]
598+
// Viable callable: A1.M()
599599
t.M();
600600
}
601601

‎csharp/ql/test/library-tests/unification/Unification.cs

+1-1
Original file line numberDiff line numberDiff line change
@@ -54,5 +54,5 @@ struct S3 : I2 { }
5454
ref struct RS : I2 { }
5555
class C7 : I2 { }
5656

57-
class NormalConstraint<T> where T : I2 { } // False positive: Allows T to be `RS`.
57+
class NormalConstraint<T> where T : I2 { }
5858
class NegativeConstraint<T> where T : I2, allows ref struct { }

‎csharp/ql/test/library-tests/unification/Unification.expected

-6
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ constrainedTypeParameterSubsumes
88
| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
99
| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
1010
| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
11-
| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
1211
| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
1312
| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
1413
| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -103,12 +102,10 @@ constrainedTypeParameterSubsumes
103102
| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
104103
| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
105104
| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
106-
| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
107105
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
108106
| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
109107
| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
110108
| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
111-
| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
112109
| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
113110
| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
114111
| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
@@ -129,7 +126,6 @@ constrainedTypeParameterUnifiable
129126
| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
130127
| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
131128
| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
132-
| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
133129
| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
134130
| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
135131
| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
@@ -232,13 +228,11 @@ constrainedTypeParameterUnifiable
232228
| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
233229
| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
234230
| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
235-
| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
236231
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
237232
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<T2> |
238233
| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
239234
| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
240235
| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
241-
| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
242236
| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
243237
| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
244238
| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |

0 commit comments

Comments
 (0)