hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 00:35:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Update expected test output.

Browse Source
This commit is contained in:
Michael Nebel
2023-03-13 13:11:07 +01:00
parent e2479940d2
commit 41b2273dee
5 changed files with 22 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/test/library-tests/dispatch/CallContext.expected
View File

@@ -23,4 +23,6 @@ mayBenefitFromCallContext
| ViableCallable.cs:411:9:411:18 | call to method M<Int32> |
| ViableCallable.cs:455:9:455:30 | call to method M2<T> |
| ViableCallable.cs:461:9:461:30 | call to method M2<T> |
| ViableCallable.cs:563:18:563:22 | call to operator / |
| ViableCallable.cs:566:26:566:30 | call to operator checked / |
| ViableCallable.cs:572:9:572:15 | call to method M12 |

5
csharp/ql/test/library-tests/dispatch/CallGraph.expected
View File

@@ -249,5 +249,10 @@
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:520:39:520:39 | checked / |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:524:18:524:20 | M12 |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:526:18:526:20 | M13 |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:531:32:531:32 | + |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:532:40:532:40 | checked + |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:534:32:534:32 | - |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:536:32:536:32 | / |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:537:40:537:40 | checked / |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:539:17:539:19 | M11 |
| ViableCallable.cs:542:10:542:15 | Run<> | ViableCallable.cs:540:17:540:19 | M12 |

5
csharp/ql/test/library-tests/dispatch/GetADynamicTarget.expected
View File

@@ -475,10 +475,15 @@
| ViableCallable.cs:498:26:498:30 | call to operator checked + | C19.checked +(C19, C19) |
| ViableCallable.cs:501:18:501:23 | call to operator explicit conversion | C19.explicit conversion(C19) |
| ViableCallable.cs:504:26:504:31 | call to operator checked explicit conversion | C19.checked explicit conversion(C19) |
| ViableCallable.cs:545:18:545:22 | call to operator + | C20.+(C20, C20) |
| ViableCallable.cs:548:26:548:30 | call to operator checked + | C20.checked +(C20, C20) |
| ViableCallable.cs:551:18:551:22 | call to operator - | C20.-(C20, C20) |
| ViableCallable.cs:554:26:554:30 | call to operator checked - | I3<T>.checked -(T, T) |
| ViableCallable.cs:557:18:557:22 | call to operator * | I3<T>.*(T, T) |
| ViableCallable.cs:560:26:560:30 | call to operator checked * | I3<T>.checked *(T, T) |
| ViableCallable.cs:563:18:563:22 | call to operator / | C20./(C20, C20) |
| ViableCallable.cs:563:18:563:22 | call to operator / | I3<T>./(T, T) |
| ViableCallable.cs:566:26:566:30 | call to operator checked / | C20.checked /(C20, C20) |
| ViableCallable.cs:566:26:566:30 | call to operator checked / | I3<T>.checked /(T, T) |
| ViableCallable.cs:569:9:569:15 | call to method M11 | C20.M11() |
| ViableCallable.cs:572:9:572:15 | call to method M12 | C20.M12() |

10
csharp/ql/test/library-tests/dispatch/ViableCallable.cs
View File

@@ -541,13 +541,13 @@ public class C20 : I3<C20>
void Run<T>(T c) where T : I3<T>
{
// Viable callables: C20.op_Addition(). MISSING: C20.op_Addition()
// Viable callables: C20.op_Addition()
var c1 = c + c;
// Viable callables: C20.op_CheckedAddition(). MISSING: C20.op_CheckedAddition()
// Viable callables: C20.op_CheckedAddition()
var c2 = checked(c + c);
// Viable callables: C20.op_Subtraction(). Missing: C20.op_Subtraction()
// Viable callables: C20.op_Subtraction()
var c3 = c - c;
// Viable callables: I3<C20>.op_CheckedSubtraction().
@@ -559,10 +559,10 @@ public class C20 : I3<C20>
// Viable callables: I3<C20>.op_CheckedMultiply().
var c6 = checked(c * c);
// Viable callables: {C20,I3<C20>}.op_Division(). MISSING: C20.op_Division()
// Viable callables: {C20,I3<C20>}.op_Division()
var c7 = c / c;
// Viable callables: {C20,I3<C20>}.op_CheckedDivision(). MISSING: C20.op_CheckedDivision()
// Viable callables: {C20,I3<C20>}.op_CheckedDivision()
var c8 = checked(c / c);
// Viable callables: C20.M11.

5
csharp/ql/test/library-tests/dispatch/viableCallable.expected
View File

@@ -272,10 +272,15 @@
| ViableCallable.cs:498:26:498:30 | call to operator checked + | checked + | C19 |
| ViableCallable.cs:501:18:501:23 | call to operator explicit conversion | explicit conversion | C19 |
| ViableCallable.cs:504:26:504:31 | call to operator checked explicit conversion | checked explicit conversion | C19 |
| ViableCallable.cs:545:18:545:22 | call to operator + | + | C20 |
| ViableCallable.cs:548:26:548:30 | call to operator checked + | checked + | C20 |
| ViableCallable.cs:551:18:551:22 | call to operator - | - | C20 |
| ViableCallable.cs:554:26:554:30 | call to operator checked - | checked - | I3<> |
| ViableCallable.cs:557:18:557:22 | call to operator * | * | I3<> |
| ViableCallable.cs:560:26:560:30 | call to operator checked * | checked * | I3<> |
| ViableCallable.cs:563:18:563:22 | call to operator / | / | C20 |
| ViableCallable.cs:563:18:563:22 | call to operator / | / | I3<> |
| ViableCallable.cs:566:26:566:30 | call to operator checked / | checked / | C20 |
| ViableCallable.cs:566:26:566:30 | call to operator checked / | checked / | I3<> |
| ViableCallable.cs:569:9:569:15 | call to method M11 | M11 | C20 |
| ViableCallable.cs:572:9:572:15 | call to method M12 | M12 | C20 |