Skip to content

Commit

Permalink
C#: Update test expected output.
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelnebel committed Jan 3, 2025
1 parent ce42cbe commit 4412258
Show file tree
Hide file tree
Showing 6 changed files with 2 additions and 11 deletions.
1 change: 0 additions & 1 deletion csharp/ql/test/library-tests/dispatch/CallContext.expected
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,4 @@ mayBenefitFromCallContext
| ViableCallable.cs:576:18:576:22 | call to operator / |
| ViableCallable.cs:579:26:579:30 | call to operator checked / |
| ViableCallable.cs:585:9:585:15 | call to method M12 |
| ViableCallable.cs:612:9:612:13 | call to method M |
| ViableCallable.cs:618:9:618:13 | call to method M |
1 change: 0 additions & 1 deletion csharp/ql/test/library-tests/dispatch/CallGraph.expected
Original file line number Diff line number Diff line change
Expand Up @@ -260,6 +260,5 @@
| ViableCallable.cs:555:10:555:15 | Run`1 | ViableCallable.cs:552:17:552:19 | M11 |
| ViableCallable.cs:555:10:555:15 | Run`1 | ViableCallable.cs:553:17:553:19 | M12 |
| ViableCallable.cs:609:17:609:23 | Run1`1 | ViableCallable.cs:601:21:601:21 | M |
| ViableCallable.cs:609:17:609:23 | Run1`1 | ViableCallable.cs:606:21:606:21 | M |
| ViableCallable.cs:615:17:615:23 | Run2`1 | ViableCallable.cs:601:21:601:21 | M |
| ViableCallable.cs:615:17:615:23 | Run2`1 | ViableCallable.cs:606:21:606:21 | M |
Original file line number Diff line number Diff line change
Expand Up @@ -506,6 +506,5 @@
| ViableCallable.cs:585:9:585:15 | call to method M12 | I3<T>.M12() |
| ViableCallable.cs:588:9:588:15 | call to method M13 | I3<T>.M13() |
| ViableCallable.cs:612:9:612:13 | call to method M | C21+A1.M() |
| ViableCallable.cs:612:9:612:13 | call to method M | C21+A2.M() |
| ViableCallable.cs:618:9:618:13 | call to method M | C21+A1.M() |
| ViableCallable.cs:618:9:618:13 | call to method M | C21+A2.M() |
2 changes: 1 addition & 1 deletion csharp/ql/test/library-tests/dispatch/ViableCallable.cs
Original file line number Diff line number Diff line change
Expand Up @@ -608,7 +608,7 @@ public void M() { }

public void Run1<T>(T t) where T : I
{
// Viable callable: A1.M() [also reports A2.M(); false positive]
// Viable callable: A1.M()
t.M();
}

Expand Down
2 changes: 1 addition & 1 deletion csharp/ql/test/library-tests/unification/Unification.cs
Original file line number Diff line number Diff line change
Expand Up @@ -54,5 +54,5 @@ struct S3 : I2 { }
ref struct RS : I2 { }
class C7 : I2 { }

class NormalConstraint<T> where T : I2 { } // False positive: Allows T to be `RS`.
class NormalConstraint<T> where T : I2 { }
class NegativeConstraint<T> where T : I2, allows ref struct { }
6 changes: 0 additions & 6 deletions csharp/ql/test/library-tests/unification/Unification.expected
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,6 @@ constrainedTypeParameterSubsumes
| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
Expand Down Expand Up @@ -103,12 +102,10 @@ constrainedTypeParameterSubsumes
| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
Expand All @@ -129,7 +126,6 @@ constrainedTypeParameterUnifiable
| Unification.cs:8:10:8:11 | T2 | Unification.cs:31:12:31:23 | (string, T9) |
| Unification.cs:8:10:8:11 | T2 | Unification.cs:32:12:32:19 | (T8, T9) |
| Unification.cs:8:10:8:11 | T2 | Unification.cs:53:8:53:9 | S3 |
| Unification.cs:8:10:8:11 | T2 | Unification.cs:54:12:54:13 | RS |
| Unification.cs:9:10:9:11 | T3 | Unification.cs:1:11:1:12 | I1 |
| Unification.cs:9:10:9:11 | T3 | Unification.cs:6:7:6:8 | C0 |
| Unification.cs:9:10:9:11 | T3 | Unification.cs:7:7:7:12 | C1<C0> |
Expand Down Expand Up @@ -232,13 +228,11 @@ constrainedTypeParameterUnifiable
| Unification.cs:12:25:12:27 | T6d | Unification.cs:31:12:31:23 | (string, T9) |
| Unification.cs:12:25:12:27 | T6d | Unification.cs:32:12:32:19 | (T8, T9) |
| Unification.cs:12:25:12:27 | T6d | Unification.cs:53:8:53:9 | S3 |
| Unification.cs:12:25:12:27 | T6d | Unification.cs:54:12:54:13 | RS |
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<S2> |
| Unification.cs:24:12:24:13 | Tm | Unification.cs:8:7:8:12 | C2<T2> |
| Unification.cs:24:12:24:13 | Tm | Unification.cs:24:12:24:13 | Tm |
| Unification.cs:57:24:57:24 | T | Unification.cs:52:11:52:12 | I2 |
| Unification.cs:57:24:57:24 | T | Unification.cs:53:8:53:9 | S3 |
| Unification.cs:57:24:57:24 | T | Unification.cs:54:12:54:13 | RS |
| Unification.cs:57:24:57:24 | T | Unification.cs:55:7:55:8 | C7 |
| Unification.cs:57:24:57:24 | T | Unification.cs:57:24:57:24 | T |
| Unification.cs:57:24:57:24 | T | Unification.cs:58:26:58:26 | T |
Expand Down

0 comments on commit 4412258

Please sign in to comment.