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

C#: Add test exposing missing phi flow

Browse Source
This commit is contained in:
Tom Hvitved
2021-03-04 13:50:15 +01:00
parent c08230ce1e
commit e092b31791
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
csharp/ql/test/library-tests/dataflow/delegates/DelegateFlow.cs
View File

@@ -124,4 +124,13 @@ class DelegateFlow
delegate*<Action<int>, void> fnptr = &M2;
fnptr((i) => { });
}
void M19(Action a, bool b)
{
if (b)
a = () => {};
a();
}
void M20(bool b) => M19(() => {}, b);
}

1
csharp/ql/test/library-tests/dataflow/delegates/DelegateFlow.expected
View File

@@ -24,3 +24,4 @@ delegateCall
| DelegateFlow.cs:89:35:89:37 | delegate call | DelegateFlow.cs:65:10:65:12 | M11 | DelegateFlow.cs:91:13:91:47 | delegate creation of type MyDelegate |
| DelegateFlow.cs:89:35:89:37 | delegate call | DelegateFlow.cs:74:17:74:19 | M12 | DelegateFlow.cs:92:13:92:15 | delegate creation of type MyDelegate |
| DelegateFlow.cs:89:35:89:37 | delegate call | DelegateFlow.cs:93:13:93:21 | (...) => ... | DelegateFlow.cs:93:13:93:21 | (...) => ... |
| DelegateFlow.cs:132:9:132:11 | delegate call | DelegateFlow.cs:131:17:131:24 | (...) => ... | file://:0:0:0:0 | <empty> |