hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Remove some obsolete tests.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-10-03 15:16:55 +02:00
parent b392767252
commit 613c789378
20 changed files with 0 additions and 1321 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
csharp/ql/test/library-tests/controlflow/guards/AbstractValue.expected
View File

@@ -32,7 +32,6 @@ abstractValue
| 0 | Guards.cs:322:18:322:18 | 0 |
| 0 | Guards.cs:329:17:329:19 | access to constant A |
| 0 | Guards.cs:334:20:334:20 | 0 |
| 0 | Splitting.cs:137:20:137:20 | 0 |
| 1 | Collections.cs:12:28:12:28 | 1 |
| 1 | Collections.cs:14:28:14:28 | 1 |
| 1 | Collections.cs:17:28:17:28 | 1 |
@@ -371,32 +370,6 @@ abstractValue
| non-null | Guards.cs:343:13:343:19 | access to type Console |
| non-null | Guards.cs:343:31:343:31 | access to local variable s |
| non-null | Guards.cs:349:13:349:13 | access to parameter o |
| non-null | Splitting.cs:13:17:13:17 | access to parameter o |
| non-null | Splitting.cs:23:24:23:24 | access to parameter o |
| non-null | Splitting.cs:33:24:33:25 | "" |
| non-null | Splitting.cs:44:17:44:17 | access to parameter o |
| non-null | Splitting.cs:46:17:46:17 | access to parameter o |
| non-null | Splitting.cs:55:13:55:13 | access to parameter o |
| non-null | Splitting.cs:66:20:66:20 | access to parameter o |
| non-null | Splitting.cs:78:24:78:24 | access to parameter o |
| non-null | Splitting.cs:87:13:87:17 | access to type Debug |
| non-null | Splitting.cs:90:13:90:13 | access to parameter o |
| non-null | Splitting.cs:91:9:91:9 | access to parameter o |
| non-null | Splitting.cs:97:13:97:17 | access to type Debug |
| non-null | Splitting.cs:105:9:105:13 | access to type Debug |
| non-null | Splitting.cs:107:13:107:13 | access to parameter o |
| non-null | Splitting.cs:109:13:109:13 | access to parameter o |
| non-null | Splitting.cs:116:9:116:13 | access to type Debug |
| non-null | Splitting.cs:117:9:117:9 | access to parameter o |
| non-null | Splitting.cs:119:13:119:13 | access to parameter o |
| non-null | Splitting.cs:120:16:120:16 | access to parameter o |
| non-null | Splitting.cs:129:17:129:17 | access to local variable o |
| non-null | Splitting.cs:133:17:133:17 | access to local variable o |
| non-null | Splitting.cs:133:17:133:29 | ... = ... |
| non-null | Splitting.cs:133:21:133:29 | call to method M11 |
| non-null | Splitting.cs:133:21:133:29 | this access |
| non-null | Splitting.cs:133:28:133:28 | access to local variable o |
| non-null | Splitting.cs:134:17:134:17 | access to local variable o |
| null | Assert.cs:9:24:9:27 | null |
| null | Assert.cs:10:27:10:30 | null |
| null | Assert.cs:16:24:16:27 | null |
@@ -447,19 +420,6 @@ abstractValue
| null | Guards.cs:203:18:203:21 | null |
| null | Guards.cs:341:24:341:27 | null |
| null | Guards.cs:342:18:342:21 | null |
| null | Splitting.cs:12:22:12:25 | null |
| null | Splitting.cs:22:22:22:25 | null |
| null | Splitting.cs:32:22:32:25 | null |
| null | Splitting.cs:41:18:41:21 | null |
| null | Splitting.cs:54:18:54:21 | null |
| null | Splitting.cs:65:18:65:21 | null |
| null | Splitting.cs:76:18:76:21 | null |
| null | Splitting.cs:87:31:87:34 | null |
| null | Splitting.cs:97:31:97:34 | null |
| null | Splitting.cs:105:27:105:30 | null |
| null | Splitting.cs:116:27:116:30 | null |
| null | Splitting.cs:125:21:125:24 | null |
| null | Splitting.cs:129:22:129:25 | null |
| true | Assert.cs:86:61:86:64 | true |
| true | Guards.cs:177:20:177:23 | true |
| true | Guards.cs:181:46:181:49 | true |

16
csharp/ql/test/library-tests/controlflow/guards/BooleanGuardedExpr.expected
View File

@@ -72,19 +72,3 @@
| Guards.cs:342:27:342:27 | access to parameter b | Guards.cs:341:20:341:20 | access to parameter b | Guards.cs:341:20:341:20 | access to parameter b | false |
| Guards.cs:343:31:343:31 | access to local variable s | Guards.cs:342:13:342:21 | ... != ... | Guards.cs:342:13:342:13 | access to local variable s | true |
| Guards.cs:349:13:349:13 | access to parameter o | Guards.cs:348:13:348:25 | ... is ... | Guards.cs:348:13:348:13 | access to parameter o | true |
| Splitting.cs:13:17:13:17 | access to parameter o | Splitting.cs:12:17:12:25 | ... != ... | Splitting.cs:12:17:12:17 | access to parameter o | true |
| Splitting.cs:23:24:23:24 | access to parameter o | Splitting.cs:22:17:22:25 | ... != ... | Splitting.cs:22:17:22:17 | access to parameter o | true |
| Splitting.cs:44:17:44:17 | access to parameter o | Splitting.cs:41:13:41:21 | ... != ... | Splitting.cs:41:13:41:13 | access to parameter o | true |
| Splitting.cs:46:17:46:17 | access to parameter o | Splitting.cs:41:13:41:21 | ... != ... | Splitting.cs:41:13:41:13 | access to parameter o | true |
| Splitting.cs:55:13:55:13 | access to parameter o | Splitting.cs:54:13:54:21 | ... != ... | Splitting.cs:54:13:54:13 | access to parameter o | true |
| Splitting.cs:66:20:66:20 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | true |
| Splitting.cs:68:13:68:13 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | false |
| Splitting.cs:69:16:69:16 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | false |
| Splitting.cs:78:24:78:24 | access to parameter o | Splitting.cs:76:13:76:21 | ... != ... | Splitting.cs:76:13:76:13 | access to parameter o | true |
| Splitting.cs:107:13:107:13 | access to parameter o | Splitting.cs:105:22:105:30 | ... != ... | Splitting.cs:105:22:105:22 | access to parameter o | true |
| Splitting.cs:109:13:109:13 | access to parameter o | Splitting.cs:105:22:105:30 | ... != ... | Splitting.cs:105:22:105:22 | access to parameter o | true |
| Splitting.cs:117:9:117:9 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:119:13:119:13 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:120:16:120:16 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:133:25:133:25 | access to parameter b | Splitting.cs:131:21:131:21 | access to parameter b | Splitting.cs:131:21:131:21 | access to parameter b | false |
| Splitting.cs:133:28:133:28 | access to local variable o | Splitting.cs:129:17:129:25 | ... != ... | Splitting.cs:129:17:129:17 | access to local variable o | true |

31
csharp/ql/test/library-tests/controlflow/guards/GuardedControlFlowNode.expected
View File

@@ -197,34 +197,3 @@
| Guards.cs:343:31:343:31 | access to local variable s | Guards.cs:342:13:342:21 | ... != ... | Guards.cs:342:13:342:13 | access to local variable s | true |
| Guards.cs:349:13:349:13 | access to parameter o | Guards.cs:348:13:348:13 | access to parameter o | Guards.cs:348:13:348:13 | access to parameter o | non-null |
| Guards.cs:349:13:349:13 | access to parameter o | Guards.cs:348:13:348:25 | ... is ... | Guards.cs:348:13:348:13 | access to parameter o | true |
| Splitting.cs:13:17:13:17 | access to parameter o | Splitting.cs:12:17:12:17 | access to parameter o | Splitting.cs:12:17:12:17 | access to parameter o | non-null |
| Splitting.cs:13:17:13:17 | access to parameter o | Splitting.cs:12:17:12:25 | ... != ... | Splitting.cs:12:17:12:17 | access to parameter o | true |
| Splitting.cs:23:24:23:24 | access to parameter o | Splitting.cs:22:17:22:17 | access to parameter o | Splitting.cs:22:17:22:17 | access to parameter o | non-null |
| Splitting.cs:23:24:23:24 | access to parameter o | Splitting.cs:22:17:22:25 | ... != ... | Splitting.cs:22:17:22:17 | access to parameter o | true |
| Splitting.cs:44:17:44:17 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | non-null |
| Splitting.cs:44:17:44:17 | access to parameter o | Splitting.cs:41:13:41:21 | ... != ... | Splitting.cs:41:13:41:13 | access to parameter o | true |
| Splitting.cs:46:17:46:17 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | non-null |
| Splitting.cs:46:17:46:17 | access to parameter o | Splitting.cs:41:13:41:21 | ... != ... | Splitting.cs:41:13:41:13 | access to parameter o | true |
| Splitting.cs:55:13:55:13 | access to parameter o | Splitting.cs:54:13:54:13 | access to parameter o | Splitting.cs:54:13:54:13 | access to parameter o | non-null |
| Splitting.cs:55:13:55:13 | access to parameter o | Splitting.cs:54:13:54:21 | ... != ... | Splitting.cs:54:13:54:13 | access to parameter o | true |
| Splitting.cs:66:20:66:20 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | non-null |
| Splitting.cs:66:20:66:20 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | true |
| Splitting.cs:68:13:68:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | null |
| Splitting.cs:68:13:68:13 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | false |
| Splitting.cs:69:16:69:16 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | null |
| Splitting.cs:69:16:69:16 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | false |
| Splitting.cs:78:24:78:24 | access to parameter o | Splitting.cs:76:13:76:13 | access to parameter o | Splitting.cs:76:13:76:13 | access to parameter o | non-null |
| Splitting.cs:78:24:78:24 | access to parameter o | Splitting.cs:76:13:76:21 | ... != ... | Splitting.cs:76:13:76:13 | access to parameter o | true |
| Splitting.cs:107:13:107:13 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | non-null |
| Splitting.cs:107:13:107:13 | access to parameter o | Splitting.cs:105:22:105:30 | ... != ... | Splitting.cs:105:22:105:22 | access to parameter o | true |
| Splitting.cs:109:13:109:13 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | non-null |
| Splitting.cs:109:13:109:13 | access to parameter o | Splitting.cs:105:22:105:30 | ... != ... | Splitting.cs:105:22:105:22 | access to parameter o | true |
| Splitting.cs:117:9:117:9 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | non-null |
| Splitting.cs:117:9:117:9 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:119:13:119:13 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | non-null |
| Splitting.cs:119:13:119:13 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:120:16:120:16 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | non-null |
| Splitting.cs:120:16:120:16 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:133:25:133:25 | access to parameter b | Splitting.cs:131:21:131:21 | access to parameter b | Splitting.cs:131:21:131:21 | access to parameter b | false |
| Splitting.cs:133:28:133:28 | access to local variable o | Splitting.cs:129:17:129:17 | access to local variable o | Splitting.cs:129:17:129:17 | access to local variable o | non-null |
| Splitting.cs:133:28:133:28 | access to local variable o | Splitting.cs:129:17:129:25 | ... != ... | Splitting.cs:129:17:129:17 | access to local variable o | true |

31
csharp/ql/test/library-tests/controlflow/guards/GuardedExpr.expected
View File

@@ -193,34 +193,3 @@
| Guards.cs:343:31:343:31 | access to local variable s | Guards.cs:342:13:342:21 | ... != ... | Guards.cs:342:13:342:13 | access to local variable s | true |
| Guards.cs:349:13:349:13 | access to parameter o | Guards.cs:348:13:348:13 | access to parameter o | Guards.cs:348:13:348:13 | access to parameter o | non-null |
| Guards.cs:349:13:349:13 | access to parameter o | Guards.cs:348:13:348:25 | ... is ... | Guards.cs:348:13:348:13 | access to parameter o | true |
| Splitting.cs:13:17:13:17 | access to parameter o | Splitting.cs:12:17:12:17 | access to parameter o | Splitting.cs:12:17:12:17 | access to parameter o | non-null |
| Splitting.cs:13:17:13:17 | access to parameter o | Splitting.cs:12:17:12:25 | ... != ... | Splitting.cs:12:17:12:17 | access to parameter o | true |
| Splitting.cs:23:24:23:24 | access to parameter o | Splitting.cs:22:17:22:17 | access to parameter o | Splitting.cs:22:17:22:17 | access to parameter o | non-null |
| Splitting.cs:23:24:23:24 | access to parameter o | Splitting.cs:22:17:22:25 | ... != ... | Splitting.cs:22:17:22:17 | access to parameter o | true |
| Splitting.cs:44:17:44:17 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | non-null |
| Splitting.cs:44:17:44:17 | access to parameter o | Splitting.cs:41:13:41:21 | ... != ... | Splitting.cs:41:13:41:13 | access to parameter o | true |
| Splitting.cs:46:17:46:17 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | Splitting.cs:41:13:41:13 | access to parameter o | non-null |
| Splitting.cs:46:17:46:17 | access to parameter o | Splitting.cs:41:13:41:21 | ... != ... | Splitting.cs:41:13:41:13 | access to parameter o | true |
| Splitting.cs:55:13:55:13 | access to parameter o | Splitting.cs:54:13:54:13 | access to parameter o | Splitting.cs:54:13:54:13 | access to parameter o | non-null |
| Splitting.cs:55:13:55:13 | access to parameter o | Splitting.cs:54:13:54:21 | ... != ... | Splitting.cs:54:13:54:13 | access to parameter o | true |
| Splitting.cs:66:20:66:20 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | non-null |
| Splitting.cs:66:20:66:20 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | true |
| Splitting.cs:68:13:68:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | null |
| Splitting.cs:68:13:68:13 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | false |
| Splitting.cs:69:16:69:16 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | Splitting.cs:65:13:65:13 | access to parameter o | null |
| Splitting.cs:69:16:69:16 | access to parameter o | Splitting.cs:65:13:65:21 | ... != ... | Splitting.cs:65:13:65:13 | access to parameter o | false |
| Splitting.cs:78:24:78:24 | access to parameter o | Splitting.cs:76:13:76:13 | access to parameter o | Splitting.cs:76:13:76:13 | access to parameter o | non-null |
| Splitting.cs:78:24:78:24 | access to parameter o | Splitting.cs:76:13:76:21 | ... != ... | Splitting.cs:76:13:76:13 | access to parameter o | true |
| Splitting.cs:107:13:107:13 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | non-null |
| Splitting.cs:107:13:107:13 | access to parameter o | Splitting.cs:105:22:105:30 | ... != ... | Splitting.cs:105:22:105:22 | access to parameter o | true |
| Splitting.cs:109:13:109:13 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | Splitting.cs:105:22:105:22 | access to parameter o | non-null |
| Splitting.cs:109:13:109:13 | access to parameter o | Splitting.cs:105:22:105:30 | ... != ... | Splitting.cs:105:22:105:22 | access to parameter o | true |
| Splitting.cs:117:9:117:9 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | non-null |
| Splitting.cs:117:9:117:9 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:119:13:119:13 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | non-null |
| Splitting.cs:119:13:119:13 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:120:16:120:16 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | Splitting.cs:116:22:116:22 | access to parameter o | non-null |
| Splitting.cs:120:16:120:16 | access to parameter o | Splitting.cs:116:22:116:30 | ... != ... | Splitting.cs:116:22:116:22 | access to parameter o | true |
| Splitting.cs:133:25:133:25 | access to parameter b | Splitting.cs:131:21:131:21 | access to parameter b | Splitting.cs:131:21:131:21 | access to parameter b | false |
| Splitting.cs:133:28:133:28 | access to local variable o | Splitting.cs:129:17:129:17 | access to local variable o | Splitting.cs:129:17:129:17 | access to local variable o | non-null |
| Splitting.cs:133:28:133:28 | access to local variable o | Splitting.cs:129:17:129:25 | ... != ... | Splitting.cs:129:17:129:17 | access to local variable o | true |

27
csharp/ql/test/library-tests/controlflow/guards/Implications.expected
View File

@@ -443,30 +443,3 @@
| Guards.cs:343:31:343:31 | access to local variable s | non-null | Guards.cs:341:20:341:32 | ... ? ... : ... | non-null |
| Guards.cs:343:31:343:31 | access to local variable s | null | Guards.cs:341:20:341:32 | ... ? ... : ... | null |
| Guards.cs:348:13:348:25 | ... is ... | true | Guards.cs:348:13:348:13 | access to parameter o | non-null |
| Splitting.cs:12:17:12:25 | ... != ... | false | Splitting.cs:12:17:12:17 | access to parameter o | null |
| Splitting.cs:12:17:12:25 | ... != ... | true | Splitting.cs:12:17:12:17 | access to parameter o | non-null |
| Splitting.cs:22:17:22:25 | ... != ... | false | Splitting.cs:22:17:22:17 | access to parameter o | null |
| Splitting.cs:22:17:22:25 | ... != ... | true | Splitting.cs:22:17:22:17 | access to parameter o | non-null |
| Splitting.cs:32:17:32:25 | ... == ... | false | Splitting.cs:32:17:32:17 | access to parameter o | non-null |
| Splitting.cs:32:17:32:25 | ... == ... | true | Splitting.cs:32:17:32:17 | access to parameter o | null |
| Splitting.cs:41:13:41:21 | ... != ... | false | Splitting.cs:41:13:41:13 | access to parameter o | null |
| Splitting.cs:41:13:41:21 | ... != ... | true | Splitting.cs:41:13:41:13 | access to parameter o | non-null |
| Splitting.cs:54:13:54:21 | ... != ... | false | Splitting.cs:54:13:54:13 | access to parameter o | null |
| Splitting.cs:54:13:54:21 | ... != ... | true | Splitting.cs:54:13:54:13 | access to parameter o | non-null |
| Splitting.cs:65:13:65:21 | ... != ... | false | Splitting.cs:65:13:65:13 | access to parameter o | null |
| Splitting.cs:65:13:65:21 | ... != ... | true | Splitting.cs:65:13:65:13 | access to parameter o | non-null |
| Splitting.cs:76:13:76:21 | ... != ... | false | Splitting.cs:76:13:76:13 | access to parameter o | null |
| Splitting.cs:76:13:76:21 | ... != ... | true | Splitting.cs:76:13:76:13 | access to parameter o | non-null |
| Splitting.cs:87:26:87:34 | ... != ... | false | Splitting.cs:87:26:87:26 | access to parameter o | null |
| Splitting.cs:87:26:87:34 | ... != ... | true | Splitting.cs:87:26:87:26 | access to parameter o | non-null |
| Splitting.cs:97:26:97:34 | ... == ... | false | Splitting.cs:97:26:97:26 | access to parameter o | non-null |
| Splitting.cs:97:26:97:34 | ... == ... | true | Splitting.cs:97:26:97:26 | access to parameter o | null |
| Splitting.cs:105:22:105:30 | ... != ... | false | Splitting.cs:105:22:105:22 | access to parameter o | null |
| Splitting.cs:105:22:105:30 | ... != ... | true | Splitting.cs:105:22:105:22 | access to parameter o | non-null |
| Splitting.cs:116:22:116:30 | ... != ... | false | Splitting.cs:116:22:116:22 | access to parameter o | null |
| Splitting.cs:116:22:116:30 | ... != ... | true | Splitting.cs:116:22:116:22 | access to parameter o | non-null |
| Splitting.cs:129:17:129:25 | ... != ... | false | Splitting.cs:129:17:129:17 | access to local variable o | null |
| Splitting.cs:129:17:129:25 | ... != ... | false | Splitting.cs:129:22:129:25 | null | non-null |
| Splitting.cs:129:17:129:25 | ... != ... | true | Splitting.cs:129:17:129:17 | access to local variable o | non-null |
| Splitting.cs:134:17:134:17 | access to local variable o | non-null | Splitting.cs:133:21:133:29 | call to method M11 | non-null |
| Splitting.cs:134:17:134:17 | access to local variable o | null | Splitting.cs:133:21:133:29 | call to method M11 | null |

13
csharp/ql/test/library-tests/controlflow/guards/NullGuardedExpr.expected
View File

@@ -47,16 +47,3 @@
| Guards.cs:287:17:287:17 | access to parameter o |
| Guards.cs:343:31:343:31 | access to local variable s |
| Guards.cs:349:13:349:13 | access to parameter o |
| Splitting.cs:13:17:13:17 | access to parameter o |
| Splitting.cs:23:24:23:24 | access to parameter o |
| Splitting.cs:44:17:44:17 | access to parameter o |
| Splitting.cs:46:17:46:17 | access to parameter o |
| Splitting.cs:55:13:55:13 | access to parameter o |
| Splitting.cs:66:20:66:20 | access to parameter o |
| Splitting.cs:78:24:78:24 | access to parameter o |
| Splitting.cs:107:13:107:13 | access to parameter o |
| Splitting.cs:109:13:109:13 | access to parameter o |
| Splitting.cs:117:9:117:9 | access to parameter o |
| Splitting.cs:119:13:119:13 | access to parameter o |
| Splitting.cs:120:16:120:16 | access to parameter o |
| Splitting.cs:133:28:133:28 | access to local variable o |

139
csharp/ql/test/library-tests/controlflow/guards/Splitting.cs
View File

@@ -1,139 +0,0 @@
using System;
using System.Diagnostics;
#nullable enable
/// <summary>
/// Tests related to CFG splitting.
/// </summary>
public class Splitting
{
void M1(bool b, object? o)
{
if (b)
if (o != null)
o.ToString(); // null guarded
if (b)
o.ToString(); // not null guarded
o.ToString(); // not null guarded
}
string M2(bool b, object? o)
{
if (b)
if (o != null)
return o.ToString(); // null guarded
if (b)
o.ToString(); // anti-null guarded
return o.ToString(); // not null guarded
}
string M3(bool b, object? o)
{
if (b)
if (o == null)
return "";
if (b)
o.ToString(); // null guarded
return o.ToString(); // not null guarded
}
void M4(bool b, object? o)
{
if (o != null)
{
if (b)
o.ToString(); // null guarded
if (b)
o.ToString(); // null guarded
}
}
string M5(bool b, object? o)
{
if (b)
o.ToString(); // not null guarded
if (o != null)
o.ToString(); // null guarded
if (b)
o.ToString(); // not null guarded
return o.ToString(); // not null guarded
}
string M6(bool b, object? o)
{
if (b)
o.ToString(); // not null guarded
if (o != null)
return o.ToString(); // null guarded
if (b)
o.ToString(); // anti-null guarded
return o.ToString(); // anti-null guarded
}
string M7(bool b, object? o, bool b2)
{
if (b)
o.ToString(); // not null guarded
if (o != null)
if (b2)
return o.ToString(); // null guarded
if (b)
o.ToString(); // not null guarded
return o.ToString(); // not null guarded
}
void M8(bool b, object? o)
{
if (b)
Debug.Assert(o != null);
o.ToString(); // not null guarded
if (b)
o.ToString(); // null guarded
o.ToString(); // not null guarded
}
string M9(bool b, object? o)
{
if (b)
Debug.Assert(o == null);
if (b)
o.ToString(); // anti-null guarded
return o.ToString(); // not null guarded
}
void M10(bool b, object? o)
{
Debug.Assert(o != null);
if (b)
o.ToString(); // null guarded
if (b)
o.ToString(); // null guarded
}
string M11(bool b, object? o)
{
if (b)
o.ToString(); // not null guarded
Debug.Assert(o != null);
o.ToString(); // null guarded
if (b)
o.ToString(); // null guarded
return o.ToString(); // null guarded
}
public void M12(int i, bool b)
{
object? o = null;
do
{
o.GetHashCode(); // not null guarded
if (o != null)
{
if (b)
return;
o = M11(b, o);
o.GetHashCode(); // not null guarded
}
}
while (i > 0);
}
}

321
csharp/ql/test/library-tests/controlflow/splits/SplittingStressTest.cs
View File

@@ -1,321 +0,0 @@
class SplittingStressTest
{
void M1(bool b1, bool b2, bool b3, bool b4, bool b5, bool b6, bool b7, bool b8, bool b9, bool b10, bool b11, bool b12, bool b13, bool b14, bool b15, bool b16, bool b17, bool b18, bool b19, bool b20, bool b21, bool b22, bool b23, bool b24, bool b25, bool b26, bool b27, bool b28, bool b29, bool b30, bool b31, bool b32, bool b33, bool b34, bool b35, bool b36, bool b37, bool b38, bool b39, bool b40)
{
if (b1)
;
if (b2)
;
if (b3)
;
if (b4)
;
if (b5)
;
if (b6)
;
if (b7)
;
if (b8)
;
if (b9)
;
if (b10)
;
if (b11)
;
if (b12)
;
if (b13)
;
if (b14)
;
if (b15)
;
if (b16)
;
if (b17)
;
if (b18)
;
if (b19)
;
if (b20)
;
if (b21)
;
if (b22)
;
if (b23)
;
if (b24)
;
if (b25)
;
if (b26)
;
if (b27)
;
if (b28)
;
if (b29)
;
if (b30)
;
if (b31)
;
if (b32)
;
if (b33)
;
if (b34)
;
if (b35)
;
if (b36)
;
if (b37)
;
if (b38)
;
if (b39)
;
if (b40)
;
; // 2^40 splits
if (b1)
;
if (b2)
;
if (b3)
;
if (b4)
;
if (b5)
;
if (b6)
;
if (b7)
;
if (b8)
;
if (b9)
;
if (b10)
;
if (b11)
;
if (b12)
;
if (b13)
;
if (b14)
;
if (b15)
;
if (b16)
;
if (b17)
;
if (b18)
;
if (b19)
;
if (b20)
;
if (b21)
;
if (b22)
;
if (b23)
;
if (b24)
;
if (b25)
;
if (b26)
;
if (b27)
;
if (b28)
;
if (b29)
;
if (b30)
;
if (b31)
;
if (b32)
;
if (b33)
;
if (b34)
;
if (b35)
;
if (b36)
;
if (b37)
;
if (b38)
;
if (b39)
;
if (b40)
;
;
}
void M2(int i, bool b1, bool b2, bool b3, bool b4, bool b5, bool b6, bool b7, bool b8, bool b9, bool b10, bool b11, bool b12, bool b13, bool b14, bool b15, bool b16, bool b17, bool b18, bool b19, bool b20, bool b21, bool b22, bool b23, bool b24, bool b25, bool b26, bool b27, bool b28, bool b29)
{
while (i-- > 0)
{
if (i == 1)
{
if (b1)
;
}
if (i == 2)
{
if (b2)
;
}
if (i == 3)
{
if (b3)
;
}
if (i == 4)
{
if (b4)
;
}
if (i == 5)
{
if (b5)
;
}
if (i == 6)
{
if (b6)
;
}
if (i == 7)
{
if (b7)
;
}
if (i == 8)
{
if (b8)
;
}
if (i == 9)
{
if (b9)
;
}
if (i == 10)
{
if (b10)
;
}
if (i == 11)
{
if (b11)
;
}
if (i == 12)
{
if (b12)
;
}
if (i == 13)
{
if (b13)
;
}
if (i == 14)
{
if (b14)
;
}
if (i == 15)
{
if (b15)
;
}
if (i == 16)
{
if (b16)
;
}
if (i == 17)
{
if (b17)
;
}
if (i == 18)
{
if (b18)
;
}
if (i == 19)
{
if (b19)
;
}
if (i == 20)
{
if (b20)
;
}
if (i == 21)
{
if (b21)
;
}
if (i == 22)
{
if (b22)
;
}
if (i == 23)
{
if (b23)
;
}
if (i == 24)
{
if (b24)
;
}
if (i == 25)
{
if (b25)
;
}
if (i == 26)
{
if (b26)
;
}
if (i == 27)
{
if (b27)
;
}
if (i == 28)
{
if (b28)
;
}
if (i == 29)
{
if (b29)
;
}
}
}
}

558
csharp/ql/test/library-tests/controlflow/splits/SplittingStressTest.expected
View File

@@ -1,558 +0,0 @@
countSplits
| SplittingStressTest.cs:1:7:1:25 | call to constructor Object | 1 |
| SplittingStressTest.cs:1:7:1:25 | {...} | 1 |
| SplittingStressTest.cs:4:5:168:5 | {...} | 1 |
| SplittingStressTest.cs:5:9:6:13 | if (...) ... | 1 |
| SplittingStressTest.cs:5:13:5:14 | access to parameter b1 | 1 |
| SplittingStressTest.cs:6:13:6:13 | ; | 1 |
| SplittingStressTest.cs:7:9:8:13 | if (...) ... | 1 |
| SplittingStressTest.cs:7:13:7:14 | access to parameter b2 | 1 |
| SplittingStressTest.cs:8:13:8:13 | ; | 1 |
| SplittingStressTest.cs:9:9:10:13 | if (...) ... | 1 |
| SplittingStressTest.cs:9:13:9:14 | access to parameter b3 | 1 |
| SplittingStressTest.cs:10:13:10:13 | ; | 1 |
| SplittingStressTest.cs:11:9:12:13 | if (...) ... | 1 |
| SplittingStressTest.cs:11:13:11:14 | access to parameter b4 | 1 |
| SplittingStressTest.cs:12:13:12:13 | ; | 1 |
| SplittingStressTest.cs:13:9:14:13 | if (...) ... | 1 |
| SplittingStressTest.cs:13:13:13:14 | access to parameter b5 | 1 |
| SplittingStressTest.cs:14:13:14:13 | ; | 1 |
| SplittingStressTest.cs:15:9:16:13 | if (...) ... | 1 |
| SplittingStressTest.cs:15:13:15:14 | access to parameter b6 | 1 |
| SplittingStressTest.cs:16:13:16:13 | ; | 1 |
| SplittingStressTest.cs:17:9:18:13 | if (...) ... | 1 |
| SplittingStressTest.cs:17:13:17:14 | access to parameter b7 | 1 |
| SplittingStressTest.cs:18:13:18:13 | ; | 1 |
| SplittingStressTest.cs:19:9:20:13 | if (...) ... | 1 |
| SplittingStressTest.cs:19:13:19:14 | access to parameter b8 | 1 |
| SplittingStressTest.cs:20:13:20:13 | ; | 1 |
| SplittingStressTest.cs:21:9:22:13 | if (...) ... | 1 |
| SplittingStressTest.cs:21:13:21:14 | access to parameter b9 | 1 |
| SplittingStressTest.cs:22:13:22:13 | ; | 1 |
| SplittingStressTest.cs:23:9:24:13 | if (...) ... | 1 |
| SplittingStressTest.cs:23:13:23:15 | access to parameter b10 | 1 |
| SplittingStressTest.cs:24:13:24:13 | ; | 1 |
| SplittingStressTest.cs:25:9:26:13 | if (...) ... | 1 |
| SplittingStressTest.cs:25:13:25:15 | access to parameter b11 | 1 |
| SplittingStressTest.cs:26:13:26:13 | ; | 1 |
| SplittingStressTest.cs:27:9:28:13 | if (...) ... | 1 |
| SplittingStressTest.cs:27:13:27:15 | access to parameter b12 | 1 |
| SplittingStressTest.cs:28:13:28:13 | ; | 1 |
| SplittingStressTest.cs:29:9:30:13 | if (...) ... | 1 |
| SplittingStressTest.cs:29:13:29:15 | access to parameter b13 | 1 |
| SplittingStressTest.cs:30:13:30:13 | ; | 1 |
| SplittingStressTest.cs:31:9:32:13 | if (...) ... | 1 |
| SplittingStressTest.cs:31:13:31:15 | access to parameter b14 | 1 |
| SplittingStressTest.cs:32:13:32:13 | ; | 1 |
| SplittingStressTest.cs:33:9:34:13 | if (...) ... | 1 |
| SplittingStressTest.cs:33:13:33:15 | access to parameter b15 | 1 |
| SplittingStressTest.cs:34:13:34:13 | ; | 1 |
| SplittingStressTest.cs:35:9:36:13 | if (...) ... | 1 |
| SplittingStressTest.cs:35:13:35:15 | access to parameter b16 | 1 |
| SplittingStressTest.cs:36:13:36:13 | ; | 1 |
| SplittingStressTest.cs:37:9:38:13 | if (...) ... | 1 |
| SplittingStressTest.cs:37:13:37:15 | access to parameter b17 | 1 |
| SplittingStressTest.cs:38:13:38:13 | ; | 1 |
| SplittingStressTest.cs:39:9:40:13 | if (...) ... | 1 |
| SplittingStressTest.cs:39:13:39:15 | access to parameter b18 | 1 |
| SplittingStressTest.cs:40:13:40:13 | ; | 1 |
| SplittingStressTest.cs:41:9:42:13 | if (...) ... | 1 |
| SplittingStressTest.cs:41:13:41:15 | access to parameter b19 | 1 |
| SplittingStressTest.cs:42:13:42:13 | ; | 1 |
| SplittingStressTest.cs:43:9:44:13 | if (...) ... | 1 |
| SplittingStressTest.cs:43:13:43:15 | access to parameter b20 | 1 |
| SplittingStressTest.cs:44:13:44:13 | ; | 1 |
| SplittingStressTest.cs:45:9:46:13 | if (...) ... | 1 |
| SplittingStressTest.cs:45:13:45:15 | access to parameter b21 | 1 |
| SplittingStressTest.cs:46:13:46:13 | ; | 1 |
| SplittingStressTest.cs:47:9:48:13 | if (...) ... | 1 |
| SplittingStressTest.cs:47:13:47:15 | access to parameter b22 | 1 |
| SplittingStressTest.cs:48:13:48:13 | ; | 1 |
| SplittingStressTest.cs:49:9:50:13 | if (...) ... | 1 |
| SplittingStressTest.cs:49:13:49:15 | access to parameter b23 | 1 |
| SplittingStressTest.cs:50:13:50:13 | ; | 1 |
| SplittingStressTest.cs:51:9:52:13 | if (...) ... | 1 |
| SplittingStressTest.cs:51:13:51:15 | access to parameter b24 | 1 |
| SplittingStressTest.cs:52:13:52:13 | ; | 1 |
| SplittingStressTest.cs:53:9:54:13 | if (...) ... | 1 |
| SplittingStressTest.cs:53:13:53:15 | access to parameter b25 | 1 |
| SplittingStressTest.cs:54:13:54:13 | ; | 1 |
| SplittingStressTest.cs:55:9:56:13 | if (...) ... | 1 |
| SplittingStressTest.cs:55:13:55:15 | access to parameter b26 | 1 |
| SplittingStressTest.cs:56:13:56:13 | ; | 1 |
| SplittingStressTest.cs:57:9:58:13 | if (...) ... | 1 |
| SplittingStressTest.cs:57:13:57:15 | access to parameter b27 | 1 |
| SplittingStressTest.cs:58:13:58:13 | ; | 1 |
| SplittingStressTest.cs:59:9:60:13 | if (...) ... | 1 |
| SplittingStressTest.cs:59:13:59:15 | access to parameter b28 | 1 |
| SplittingStressTest.cs:60:13:60:13 | ; | 1 |
| SplittingStressTest.cs:61:9:62:13 | if (...) ... | 1 |
| SplittingStressTest.cs:61:13:61:15 | access to parameter b29 | 1 |
| SplittingStressTest.cs:62:13:62:13 | ; | 1 |
| SplittingStressTest.cs:63:9:64:13 | if (...) ... | 1 |
| SplittingStressTest.cs:63:13:63:15 | access to parameter b30 | 1 |
| SplittingStressTest.cs:64:13:64:13 | ; | 1 |
| SplittingStressTest.cs:65:9:66:13 | if (...) ... | 1 |
| SplittingStressTest.cs:65:13:65:15 | access to parameter b31 | 1 |
| SplittingStressTest.cs:66:13:66:13 | ; | 1 |
| SplittingStressTest.cs:67:9:68:13 | if (...) ... | 1 |
| SplittingStressTest.cs:67:13:67:15 | access to parameter b32 | 1 |
| SplittingStressTest.cs:68:13:68:13 | ; | 1 |
| SplittingStressTest.cs:69:9:70:13 | if (...) ... | 1 |
| SplittingStressTest.cs:69:13:69:15 | access to parameter b33 | 1 |
| SplittingStressTest.cs:70:13:70:13 | ; | 1 |
| SplittingStressTest.cs:71:9:72:13 | if (...) ... | 1 |
| SplittingStressTest.cs:71:13:71:15 | access to parameter b34 | 1 |
| SplittingStressTest.cs:72:13:72:13 | ; | 1 |
| SplittingStressTest.cs:73:9:74:13 | if (...) ... | 1 |
| SplittingStressTest.cs:73:13:73:15 | access to parameter b35 | 1 |
| SplittingStressTest.cs:74:13:74:13 | ; | 1 |
| SplittingStressTest.cs:75:9:76:13 | if (...) ... | 1 |
| SplittingStressTest.cs:75:13:75:15 | access to parameter b36 | 1 |
| SplittingStressTest.cs:76:13:76:13 | ; | 1 |
| SplittingStressTest.cs:77:9:78:13 | if (...) ... | 1 |
| SplittingStressTest.cs:77:13:77:15 | access to parameter b37 | 1 |
| SplittingStressTest.cs:78:13:78:13 | ; | 1 |
| SplittingStressTest.cs:79:9:80:13 | if (...) ... | 1 |
| SplittingStressTest.cs:79:13:79:15 | access to parameter b38 | 1 |
| SplittingStressTest.cs:80:13:80:13 | ; | 1 |
| SplittingStressTest.cs:81:9:82:13 | if (...) ... | 1 |
| SplittingStressTest.cs:81:13:81:15 | access to parameter b39 | 1 |
| SplittingStressTest.cs:82:13:82:13 | ; | 1 |
| SplittingStressTest.cs:83:9:84:13 | if (...) ... | 1 |
| SplittingStressTest.cs:83:13:83:15 | access to parameter b40 | 1 |
| SplittingStressTest.cs:84:13:84:13 | ; | 1 |
| SplittingStressTest.cs:85:9:85:9 | ; | 1 |
| SplittingStressTest.cs:87:9:88:13 | if (...) ... | 1 |
| SplittingStressTest.cs:87:13:87:14 | access to parameter b1 | 1 |
| SplittingStressTest.cs:88:13:88:13 | ; | 1 |
| SplittingStressTest.cs:89:9:90:13 | if (...) ... | 1 |
| SplittingStressTest.cs:89:13:89:14 | access to parameter b2 | 1 |
| SplittingStressTest.cs:90:13:90:13 | ; | 1 |
| SplittingStressTest.cs:91:9:92:13 | if (...) ... | 1 |
| SplittingStressTest.cs:91:13:91:14 | access to parameter b3 | 1 |
| SplittingStressTest.cs:92:13:92:13 | ; | 1 |
| SplittingStressTest.cs:93:9:94:13 | if (...) ... | 1 |
| SplittingStressTest.cs:93:13:93:14 | access to parameter b4 | 1 |
| SplittingStressTest.cs:94:13:94:13 | ; | 1 |
| SplittingStressTest.cs:95:9:96:13 | if (...) ... | 1 |
| SplittingStressTest.cs:95:13:95:14 | access to parameter b5 | 1 |
| SplittingStressTest.cs:96:13:96:13 | ; | 1 |
| SplittingStressTest.cs:97:9:98:13 | if (...) ... | 1 |
| SplittingStressTest.cs:97:13:97:14 | access to parameter b6 | 1 |
| SplittingStressTest.cs:98:13:98:13 | ; | 1 |
| SplittingStressTest.cs:99:9:100:13 | if (...) ... | 1 |
| SplittingStressTest.cs:99:13:99:14 | access to parameter b7 | 1 |
| SplittingStressTest.cs:100:13:100:13 | ; | 1 |
| SplittingStressTest.cs:101:9:102:13 | if (...) ... | 1 |
| SplittingStressTest.cs:101:13:101:14 | access to parameter b8 | 1 |
| SplittingStressTest.cs:102:13:102:13 | ; | 1 |
| SplittingStressTest.cs:103:9:104:13 | if (...) ... | 1 |
| SplittingStressTest.cs:103:13:103:14 | access to parameter b9 | 1 |
| SplittingStressTest.cs:104:13:104:13 | ; | 1 |
| SplittingStressTest.cs:105:9:106:13 | if (...) ... | 1 |
| SplittingStressTest.cs:105:13:105:15 | access to parameter b10 | 1 |
| SplittingStressTest.cs:106:13:106:13 | ; | 1 |
| SplittingStressTest.cs:107:9:108:13 | if (...) ... | 1 |
| SplittingStressTest.cs:107:13:107:15 | access to parameter b11 | 1 |
| SplittingStressTest.cs:108:13:108:13 | ; | 1 |
| SplittingStressTest.cs:109:9:110:13 | if (...) ... | 1 |
| SplittingStressTest.cs:109:13:109:15 | access to parameter b12 | 1 |
| SplittingStressTest.cs:110:13:110:13 | ; | 1 |
| SplittingStressTest.cs:111:9:112:13 | if (...) ... | 1 |
| SplittingStressTest.cs:111:13:111:15 | access to parameter b13 | 1 |
| SplittingStressTest.cs:112:13:112:13 | ; | 1 |
| SplittingStressTest.cs:113:9:114:13 | if (...) ... | 1 |
| SplittingStressTest.cs:113:13:113:15 | access to parameter b14 | 1 |
| SplittingStressTest.cs:114:13:114:13 | ; | 1 |
| SplittingStressTest.cs:115:9:116:13 | if (...) ... | 1 |
| SplittingStressTest.cs:115:13:115:15 | access to parameter b15 | 1 |
| SplittingStressTest.cs:116:13:116:13 | ; | 1 |
| SplittingStressTest.cs:117:9:118:13 | if (...) ... | 1 |
| SplittingStressTest.cs:117:13:117:15 | access to parameter b16 | 1 |
| SplittingStressTest.cs:118:13:118:13 | ; | 1 |
| SplittingStressTest.cs:119:9:120:13 | if (...) ... | 1 |
| SplittingStressTest.cs:119:13:119:15 | access to parameter b17 | 1 |
| SplittingStressTest.cs:120:13:120:13 | ; | 1 |
| SplittingStressTest.cs:121:9:122:13 | if (...) ... | 1 |
| SplittingStressTest.cs:121:13:121:15 | access to parameter b18 | 1 |
| SplittingStressTest.cs:122:13:122:13 | ; | 1 |
| SplittingStressTest.cs:123:9:124:13 | if (...) ... | 1 |
| SplittingStressTest.cs:123:13:123:15 | access to parameter b19 | 1 |
| SplittingStressTest.cs:124:13:124:13 | ; | 1 |
| SplittingStressTest.cs:125:9:126:13 | if (...) ... | 1 |
| SplittingStressTest.cs:125:13:125:15 | access to parameter b20 | 1 |
| SplittingStressTest.cs:126:13:126:13 | ; | 1 |
| SplittingStressTest.cs:127:9:128:13 | if (...) ... | 1 |
| SplittingStressTest.cs:127:13:127:15 | access to parameter b21 | 1 |
| SplittingStressTest.cs:128:13:128:13 | ; | 1 |
| SplittingStressTest.cs:129:9:130:13 | if (...) ... | 1 |
| SplittingStressTest.cs:129:13:129:15 | access to parameter b22 | 1 |
| SplittingStressTest.cs:130:13:130:13 | ; | 1 |
| SplittingStressTest.cs:131:9:132:13 | if (...) ... | 1 |
| SplittingStressTest.cs:131:13:131:15 | access to parameter b23 | 1 |
| SplittingStressTest.cs:132:13:132:13 | ; | 1 |
| SplittingStressTest.cs:133:9:134:13 | if (...) ... | 1 |
| SplittingStressTest.cs:133:13:133:15 | access to parameter b24 | 1 |
| SplittingStressTest.cs:134:13:134:13 | ; | 1 |
| SplittingStressTest.cs:135:9:136:13 | if (...) ... | 1 |
| SplittingStressTest.cs:135:13:135:15 | access to parameter b25 | 1 |
| SplittingStressTest.cs:136:13:136:13 | ; | 1 |
| SplittingStressTest.cs:137:9:138:13 | if (...) ... | 1 |
| SplittingStressTest.cs:137:13:137:15 | access to parameter b26 | 1 |
| SplittingStressTest.cs:138:13:138:13 | ; | 1 |
| SplittingStressTest.cs:139:9:140:13 | if (...) ... | 1 |
| SplittingStressTest.cs:139:13:139:15 | access to parameter b27 | 1 |
| SplittingStressTest.cs:140:13:140:13 | ; | 1 |
| SplittingStressTest.cs:141:9:142:13 | if (...) ... | 1 |
| SplittingStressTest.cs:141:13:141:15 | access to parameter b28 | 1 |
| SplittingStressTest.cs:142:13:142:13 | ; | 1 |
| SplittingStressTest.cs:143:9:144:13 | if (...) ... | 1 |
| SplittingStressTest.cs:143:13:143:15 | access to parameter b29 | 1 |
| SplittingStressTest.cs:144:13:144:13 | ; | 1 |
| SplittingStressTest.cs:145:9:146:13 | if (...) ... | 1 |
| SplittingStressTest.cs:145:13:145:15 | access to parameter b30 | 1 |
| SplittingStressTest.cs:146:13:146:13 | ; | 1 |
| SplittingStressTest.cs:147:9:148:13 | if (...) ... | 1 |
| SplittingStressTest.cs:147:13:147:15 | access to parameter b31 | 1 |
| SplittingStressTest.cs:148:13:148:13 | ; | 1 |
| SplittingStressTest.cs:149:9:150:13 | if (...) ... | 1 |
| SplittingStressTest.cs:149:13:149:15 | access to parameter b32 | 1 |
| SplittingStressTest.cs:150:13:150:13 | ; | 1 |
| SplittingStressTest.cs:151:9:152:13 | if (...) ... | 1 |
| SplittingStressTest.cs:151:13:151:15 | access to parameter b33 | 1 |
| SplittingStressTest.cs:152:13:152:13 | ; | 1 |
| SplittingStressTest.cs:153:9:154:13 | if (...) ... | 1 |
| SplittingStressTest.cs:153:13:153:15 | access to parameter b34 | 1 |
| SplittingStressTest.cs:154:13:154:13 | ; | 1 |
| SplittingStressTest.cs:155:9:156:13 | if (...) ... | 1 |
| SplittingStressTest.cs:155:13:155:15 | access to parameter b35 | 1 |
| SplittingStressTest.cs:156:13:156:13 | ; | 1 |
| SplittingStressTest.cs:157:9:158:13 | if (...) ... | 1 |
| SplittingStressTest.cs:157:13:157:15 | access to parameter b36 | 1 |
| SplittingStressTest.cs:158:13:158:13 | ; | 1 |
| SplittingStressTest.cs:159:9:160:13 | if (...) ... | 1 |
| SplittingStressTest.cs:159:13:159:15 | access to parameter b37 | 1 |
| SplittingStressTest.cs:160:13:160:13 | ; | 1 |
| SplittingStressTest.cs:161:9:162:13 | if (...) ... | 1 |
| SplittingStressTest.cs:161:13:161:15 | access to parameter b38 | 1 |
| SplittingStressTest.cs:162:13:162:13 | ; | 1 |
| SplittingStressTest.cs:163:9:164:13 | if (...) ... | 1 |
| SplittingStressTest.cs:163:13:163:15 | access to parameter b39 | 1 |
| SplittingStressTest.cs:164:13:164:13 | ; | 1 |
| SplittingStressTest.cs:165:9:166:13 | if (...) ... | 1 |
| SplittingStressTest.cs:165:13:165:15 | access to parameter b40 | 1 |
| SplittingStressTest.cs:166:13:166:13 | ; | 1 |
| SplittingStressTest.cs:167:9:167:9 | ; | 1 |
| SplittingStressTest.cs:171:5:320:5 | {...} | 1 |
| SplittingStressTest.cs:172:9:319:9 | while (...) ... | 1 |
| SplittingStressTest.cs:172:16:172:16 | access to parameter i | 1 |
| SplittingStressTest.cs:172:16:172:18 | ...-- | 1 |
| SplittingStressTest.cs:172:16:172:22 | ... > ... | 1 |
| SplittingStressTest.cs:172:22:172:22 | 0 | 1 |
| SplittingStressTest.cs:173:9:319:9 | {...} | 1 |
| SplittingStressTest.cs:174:13:178:13 | if (...) ... | 1 |
| SplittingStressTest.cs:174:17:174:17 | access to parameter i | 1 |
| SplittingStressTest.cs:174:17:174:22 | ... == ... | 1 |
| SplittingStressTest.cs:174:22:174:22 | 1 | 1 |
| SplittingStressTest.cs:175:13:178:13 | {...} | 1 |
| SplittingStressTest.cs:176:17:177:21 | if (...) ... | 1 |
| SplittingStressTest.cs:176:21:176:22 | access to parameter b1 | 1 |
| SplittingStressTest.cs:177:21:177:21 | ; | 1 |
| SplittingStressTest.cs:179:13:183:13 | if (...) ... | 1 |
| SplittingStressTest.cs:179:17:179:17 | access to parameter i | 1 |
| SplittingStressTest.cs:179:17:179:22 | ... == ... | 1 |
| SplittingStressTest.cs:179:22:179:22 | 2 | 1 |
| SplittingStressTest.cs:180:13:183:13 | {...} | 1 |
| SplittingStressTest.cs:181:17:182:21 | if (...) ... | 1 |
| SplittingStressTest.cs:181:21:181:22 | access to parameter b2 | 1 |
| SplittingStressTest.cs:182:21:182:21 | ; | 1 |
| SplittingStressTest.cs:184:13:188:13 | if (...) ... | 1 |
| SplittingStressTest.cs:184:17:184:17 | access to parameter i | 1 |
| SplittingStressTest.cs:184:17:184:22 | ... == ... | 1 |
| SplittingStressTest.cs:184:22:184:22 | 3 | 1 |
| SplittingStressTest.cs:185:13:188:13 | {...} | 1 |
| SplittingStressTest.cs:186:17:187:21 | if (...) ... | 1 |
| SplittingStressTest.cs:186:21:186:22 | access to parameter b3 | 1 |
| SplittingStressTest.cs:187:21:187:21 | ; | 1 |
| SplittingStressTest.cs:189:13:193:13 | if (...) ... | 1 |
| SplittingStressTest.cs:189:17:189:17 | access to parameter i | 1 |
| SplittingStressTest.cs:189:17:189:22 | ... == ... | 1 |
| SplittingStressTest.cs:189:22:189:22 | 4 | 1 |
| SplittingStressTest.cs:190:13:193:13 | {...} | 1 |
| SplittingStressTest.cs:191:17:192:21 | if (...) ... | 1 |
| SplittingStressTest.cs:191:21:191:22 | access to parameter b4 | 1 |
| SplittingStressTest.cs:192:21:192:21 | ; | 1 |
| SplittingStressTest.cs:194:13:198:13 | if (...) ... | 1 |
| SplittingStressTest.cs:194:17:194:17 | access to parameter i | 1 |
| SplittingStressTest.cs:194:17:194:22 | ... == ... | 1 |
| SplittingStressTest.cs:194:22:194:22 | 5 | 1 |
| SplittingStressTest.cs:195:13:198:13 | {...} | 1 |
| SplittingStressTest.cs:196:17:197:21 | if (...) ... | 1 |
| SplittingStressTest.cs:196:21:196:22 | access to parameter b5 | 1 |
| SplittingStressTest.cs:197:21:197:21 | ; | 1 |
| SplittingStressTest.cs:199:13:203:13 | if (...) ... | 1 |
| SplittingStressTest.cs:199:17:199:17 | access to parameter i | 1 |
| SplittingStressTest.cs:199:17:199:22 | ... == ... | 1 |
| SplittingStressTest.cs:199:22:199:22 | 6 | 1 |
| SplittingStressTest.cs:200:13:203:13 | {...} | 1 |
| SplittingStressTest.cs:201:17:202:21 | if (...) ... | 1 |
| SplittingStressTest.cs:201:21:201:22 | access to parameter b6 | 1 |
| SplittingStressTest.cs:202:21:202:21 | ; | 1 |
| SplittingStressTest.cs:204:13:208:13 | if (...) ... | 1 |
| SplittingStressTest.cs:204:17:204:17 | access to parameter i | 1 |
| SplittingStressTest.cs:204:17:204:22 | ... == ... | 1 |
| SplittingStressTest.cs:204:22:204:22 | 7 | 1 |
| SplittingStressTest.cs:205:13:208:13 | {...} | 1 |
| SplittingStressTest.cs:206:17:207:21 | if (...) ... | 1 |
| SplittingStressTest.cs:206:21:206:22 | access to parameter b7 | 1 |
| SplittingStressTest.cs:207:21:207:21 | ; | 1 |
| SplittingStressTest.cs:209:13:213:13 | if (...) ... | 1 |
| SplittingStressTest.cs:209:17:209:17 | access to parameter i | 1 |
| SplittingStressTest.cs:209:17:209:22 | ... == ... | 1 |
| SplittingStressTest.cs:209:22:209:22 | 8 | 1 |
| SplittingStressTest.cs:210:13:213:13 | {...} | 1 |
| SplittingStressTest.cs:211:17:212:21 | if (...) ... | 1 |
| SplittingStressTest.cs:211:21:211:22 | access to parameter b8 | 1 |
| SplittingStressTest.cs:212:21:212:21 | ; | 1 |
| SplittingStressTest.cs:214:13:218:13 | if (...) ... | 1 |
| SplittingStressTest.cs:214:17:214:17 | access to parameter i | 1 |
| SplittingStressTest.cs:214:17:214:22 | ... == ... | 1 |
| SplittingStressTest.cs:214:22:214:22 | 9 | 1 |
| SplittingStressTest.cs:215:13:218:13 | {...} | 1 |
| SplittingStressTest.cs:216:17:217:21 | if (...) ... | 1 |
| SplittingStressTest.cs:216:21:216:22 | access to parameter b9 | 1 |
| SplittingStressTest.cs:217:21:217:21 | ; | 1 |
| SplittingStressTest.cs:219:13:223:13 | if (...) ... | 1 |
| SplittingStressTest.cs:219:17:219:17 | access to parameter i | 1 |
| SplittingStressTest.cs:219:17:219:23 | ... == ... | 1 |
| SplittingStressTest.cs:219:22:219:23 | 10 | 1 |
| SplittingStressTest.cs:220:13:223:13 | {...} | 1 |
| SplittingStressTest.cs:221:17:222:21 | if (...) ... | 1 |
| SplittingStressTest.cs:221:21:221:23 | access to parameter b10 | 1 |
| SplittingStressTest.cs:222:21:222:21 | ; | 1 |
| SplittingStressTest.cs:224:13:228:13 | if (...) ... | 1 |
| SplittingStressTest.cs:224:17:224:17 | access to parameter i | 1 |
| SplittingStressTest.cs:224:17:224:23 | ... == ... | 1 |
| SplittingStressTest.cs:224:22:224:23 | 11 | 1 |
| SplittingStressTest.cs:225:13:228:13 | {...} | 1 |
| SplittingStressTest.cs:226:17:227:21 | if (...) ... | 1 |
| SplittingStressTest.cs:226:21:226:23 | access to parameter b11 | 1 |
| SplittingStressTest.cs:227:21:227:21 | ; | 1 |
| SplittingStressTest.cs:229:13:233:13 | if (...) ... | 1 |
| SplittingStressTest.cs:229:17:229:17 | access to parameter i | 1 |
| SplittingStressTest.cs:229:17:229:23 | ... == ... | 1 |
| SplittingStressTest.cs:229:22:229:23 | 12 | 1 |
| SplittingStressTest.cs:230:13:233:13 | {...} | 1 |
| SplittingStressTest.cs:231:17:232:21 | if (...) ... | 1 |
| SplittingStressTest.cs:231:21:231:23 | access to parameter b12 | 1 |
| SplittingStressTest.cs:232:21:232:21 | ; | 1 |
| SplittingStressTest.cs:234:13:238:13 | if (...) ... | 1 |
| SplittingStressTest.cs:234:17:234:17 | access to parameter i | 1 |
| SplittingStressTest.cs:234:17:234:23 | ... == ... | 1 |
| SplittingStressTest.cs:234:22:234:23 | 13 | 1 |
| SplittingStressTest.cs:235:13:238:13 | {...} | 1 |
| SplittingStressTest.cs:236:17:237:21 | if (...) ... | 1 |
| SplittingStressTest.cs:236:21:236:23 | access to parameter b13 | 1 |
| SplittingStressTest.cs:237:21:237:21 | ; | 1 |
| SplittingStressTest.cs:239:13:243:13 | if (...) ... | 1 |
| SplittingStressTest.cs:239:17:239:17 | access to parameter i | 1 |
| SplittingStressTest.cs:239:17:239:23 | ... == ... | 1 |
| SplittingStressTest.cs:239:22:239:23 | 14 | 1 |
| SplittingStressTest.cs:240:13:243:13 | {...} | 1 |
| SplittingStressTest.cs:241:17:242:21 | if (...) ... | 1 |
| SplittingStressTest.cs:241:21:241:23 | access to parameter b14 | 1 |
| SplittingStressTest.cs:242:21:242:21 | ; | 1 |
| SplittingStressTest.cs:244:13:248:13 | if (...) ... | 1 |
| SplittingStressTest.cs:244:17:244:17 | access to parameter i | 1 |
| SplittingStressTest.cs:244:17:244:23 | ... == ... | 1 |
| SplittingStressTest.cs:244:22:244:23 | 15 | 1 |
| SplittingStressTest.cs:245:13:248:13 | {...} | 1 |
| SplittingStressTest.cs:246:17:247:21 | if (...) ... | 1 |
| SplittingStressTest.cs:246:21:246:23 | access to parameter b15 | 1 |
| SplittingStressTest.cs:247:21:247:21 | ; | 1 |
| SplittingStressTest.cs:249:13:253:13 | if (...) ... | 1 |
| SplittingStressTest.cs:249:17:249:17 | access to parameter i | 1 |
| SplittingStressTest.cs:249:17:249:23 | ... == ... | 1 |
| SplittingStressTest.cs:249:22:249:23 | 16 | 1 |
| SplittingStressTest.cs:250:13:253:13 | {...} | 1 |
| SplittingStressTest.cs:251:17:252:21 | if (...) ... | 1 |
| SplittingStressTest.cs:251:21:251:23 | access to parameter b16 | 1 |
| SplittingStressTest.cs:252:21:252:21 | ; | 1 |
| SplittingStressTest.cs:254:13:258:13 | if (...) ... | 1 |
| SplittingStressTest.cs:254:17:254:17 | access to parameter i | 1 |
| SplittingStressTest.cs:254:17:254:23 | ... == ... | 1 |
| SplittingStressTest.cs:254:22:254:23 | 17 | 1 |
| SplittingStressTest.cs:255:13:258:13 | {...} | 1 |
| SplittingStressTest.cs:256:17:257:21 | if (...) ... | 1 |
| SplittingStressTest.cs:256:21:256:23 | access to parameter b17 | 1 |
| SplittingStressTest.cs:257:21:257:21 | ; | 1 |
| SplittingStressTest.cs:259:13:263:13 | if (...) ... | 1 |
| SplittingStressTest.cs:259:17:259:17 | access to parameter i | 1 |
| SplittingStressTest.cs:259:17:259:23 | ... == ... | 1 |
| SplittingStressTest.cs:259:22:259:23 | 18 | 1 |
| SplittingStressTest.cs:260:13:263:13 | {...} | 1 |
| SplittingStressTest.cs:261:17:262:21 | if (...) ... | 1 |
| SplittingStressTest.cs:261:21:261:23 | access to parameter b18 | 1 |
| SplittingStressTest.cs:262:21:262:21 | ; | 1 |
| SplittingStressTest.cs:264:13:268:13 | if (...) ... | 1 |
| SplittingStressTest.cs:264:17:264:17 | access to parameter i | 1 |
| SplittingStressTest.cs:264:17:264:23 | ... == ... | 1 |
| SplittingStressTest.cs:264:22:264:23 | 19 | 1 |
| SplittingStressTest.cs:265:13:268:13 | {...} | 1 |
| SplittingStressTest.cs:266:17:267:21 | if (...) ... | 1 |
| SplittingStressTest.cs:266:21:266:23 | access to parameter b19 | 1 |
| SplittingStressTest.cs:267:21:267:21 | ; | 1 |
| SplittingStressTest.cs:269:13:273:13 | if (...) ... | 1 |
| SplittingStressTest.cs:269:17:269:17 | access to parameter i | 1 |
| SplittingStressTest.cs:269:17:269:23 | ... == ... | 1 |
| SplittingStressTest.cs:269:22:269:23 | 20 | 1 |
| SplittingStressTest.cs:270:13:273:13 | {...} | 1 |
| SplittingStressTest.cs:271:17:272:21 | if (...) ... | 1 |
| SplittingStressTest.cs:271:21:271:23 | access to parameter b20 | 1 |
| SplittingStressTest.cs:272:21:272:21 | ; | 1 |
| SplittingStressTest.cs:274:13:278:13 | if (...) ... | 1 |
| SplittingStressTest.cs:274:17:274:17 | access to parameter i | 1 |
| SplittingStressTest.cs:274:17:274:23 | ... == ... | 1 |
| SplittingStressTest.cs:274:22:274:23 | 21 | 1 |
| SplittingStressTest.cs:275:13:278:13 | {...} | 1 |
| SplittingStressTest.cs:276:17:277:21 | if (...) ... | 1 |
| SplittingStressTest.cs:276:21:276:23 | access to parameter b21 | 1 |
| SplittingStressTest.cs:277:21:277:21 | ; | 1 |
| SplittingStressTest.cs:279:13:283:13 | if (...) ... | 1 |
| SplittingStressTest.cs:279:17:279:17 | access to parameter i | 1 |
| SplittingStressTest.cs:279:17:279:23 | ... == ... | 1 |
| SplittingStressTest.cs:279:22:279:23 | 22 | 1 |
| SplittingStressTest.cs:280:13:283:13 | {...} | 1 |
| SplittingStressTest.cs:281:17:282:21 | if (...) ... | 1 |
| SplittingStressTest.cs:281:21:281:23 | access to parameter b22 | 1 |
| SplittingStressTest.cs:282:21:282:21 | ; | 1 |
| SplittingStressTest.cs:284:13:288:13 | if (...) ... | 1 |
| SplittingStressTest.cs:284:17:284:17 | access to parameter i | 1 |
| SplittingStressTest.cs:284:17:284:23 | ... == ... | 1 |
| SplittingStressTest.cs:284:22:284:23 | 23 | 1 |
| SplittingStressTest.cs:285:13:288:13 | {...} | 1 |
| SplittingStressTest.cs:286:17:287:21 | if (...) ... | 1 |
| SplittingStressTest.cs:286:21:286:23 | access to parameter b23 | 1 |
| SplittingStressTest.cs:287:21:287:21 | ; | 1 |
| SplittingStressTest.cs:289:13:293:13 | if (...) ... | 1 |
| SplittingStressTest.cs:289:17:289:17 | access to parameter i | 1 |
| SplittingStressTest.cs:289:17:289:23 | ... == ... | 1 |
| SplittingStressTest.cs:289:22:289:23 | 24 | 1 |
| SplittingStressTest.cs:290:13:293:13 | {...} | 1 |
| SplittingStressTest.cs:291:17:292:21 | if (...) ... | 1 |
| SplittingStressTest.cs:291:21:291:23 | access to parameter b24 | 1 |
| SplittingStressTest.cs:292:21:292:21 | ; | 1 |
| SplittingStressTest.cs:294:13:298:13 | if (...) ... | 1 |
| SplittingStressTest.cs:294:17:294:17 | access to parameter i | 1 |
| SplittingStressTest.cs:294:17:294:23 | ... == ... | 1 |
| SplittingStressTest.cs:294:22:294:23 | 25 | 1 |
| SplittingStressTest.cs:295:13:298:13 | {...} | 1 |
| SplittingStressTest.cs:296:17:297:21 | if (...) ... | 1 |
| SplittingStressTest.cs:296:21:296:23 | access to parameter b25 | 1 |
| SplittingStressTest.cs:297:21:297:21 | ; | 1 |
| SplittingStressTest.cs:299:13:303:13 | if (...) ... | 1 |
| SplittingStressTest.cs:299:17:299:17 | access to parameter i | 1 |
| SplittingStressTest.cs:299:17:299:23 | ... == ... | 1 |
| SplittingStressTest.cs:299:22:299:23 | 26 | 1 |
| SplittingStressTest.cs:300:13:303:13 | {...} | 1 |
| SplittingStressTest.cs:301:17:302:21 | if (...) ... | 1 |
| SplittingStressTest.cs:301:21:301:23 | access to parameter b26 | 1 |
| SplittingStressTest.cs:302:21:302:21 | ; | 1 |
| SplittingStressTest.cs:304:13:308:13 | if (...) ... | 1 |
| SplittingStressTest.cs:304:17:304:17 | access to parameter i | 1 |
| SplittingStressTest.cs:304:17:304:23 | ... == ... | 1 |
| SplittingStressTest.cs:304:22:304:23 | 27 | 1 |
| SplittingStressTest.cs:305:13:308:13 | {...} | 1 |
| SplittingStressTest.cs:306:17:307:21 | if (...) ... | 1 |
| SplittingStressTest.cs:306:21:306:23 | access to parameter b27 | 1 |
| SplittingStressTest.cs:307:21:307:21 | ; | 1 |
| SplittingStressTest.cs:309:13:313:13 | if (...) ... | 1 |
| SplittingStressTest.cs:309:17:309:17 | access to parameter i | 1 |
| SplittingStressTest.cs:309:17:309:23 | ... == ... | 1 |
| SplittingStressTest.cs:309:22:309:23 | 28 | 1 |
| SplittingStressTest.cs:310:13:313:13 | {...} | 1 |
| SplittingStressTest.cs:311:17:312:21 | if (...) ... | 1 |
| SplittingStressTest.cs:311:21:311:23 | access to parameter b28 | 1 |
| SplittingStressTest.cs:312:21:312:21 | ; | 1 |
| SplittingStressTest.cs:314:13:318:13 | if (...) ... | 1 |
| SplittingStressTest.cs:314:17:314:17 | access to parameter i | 1 |
| SplittingStressTest.cs:314:17:314:23 | ... == ... | 1 |
| SplittingStressTest.cs:314:22:314:23 | 29 | 1 |
| SplittingStressTest.cs:315:13:318:13 | {...} | 1 |
| SplittingStressTest.cs:316:17:317:21 | if (...) ... | 1 |
| SplittingStressTest.cs:316:21:316:23 | access to parameter b29 | 1 |
| SplittingStressTest.cs:317:21:317:21 | ; | 1 |
ssaDef
| SplittingStressTest.cs:3:18:3:19 | SSA param(b1) |
| SplittingStressTest.cs:3:27:3:28 | SSA param(b2) |
| SplittingStressTest.cs:3:36:3:37 | SSA param(b3) |
| SplittingStressTest.cs:3:45:3:46 | SSA param(b4) |
| SplittingStressTest.cs:3:54:3:55 | SSA param(b5) |
| SplittingStressTest.cs:3:63:3:64 | SSA param(b6) |
| SplittingStressTest.cs:3:72:3:73 | SSA param(b7) |
| SplittingStressTest.cs:3:81:3:82 | SSA param(b8) |
| SplittingStressTest.cs:3:90:3:91 | SSA param(b9) |
| SplittingStressTest.cs:3:99:3:101 | SSA param(b10) |
| SplittingStressTest.cs:3:109:3:111 | SSA param(b11) |
| SplittingStressTest.cs:3:119:3:121 | SSA param(b12) |
| SplittingStressTest.cs:3:129:3:131 | SSA param(b13) |
| SplittingStressTest.cs:3:139:3:141 | SSA param(b14) |
| SplittingStressTest.cs:3:149:3:151 | SSA param(b15) |
| SplittingStressTest.cs:3:159:3:161 | SSA param(b16) |
| SplittingStressTest.cs:3:169:3:171 | SSA param(b17) |
| SplittingStressTest.cs:3:179:3:181 | SSA param(b18) |
| SplittingStressTest.cs:3:189:3:191 | SSA param(b19) |
| SplittingStressTest.cs:3:199:3:201 | SSA param(b20) |
| SplittingStressTest.cs:3:209:3:211 | SSA param(b21) |
| SplittingStressTest.cs:3:219:3:221 | SSA param(b22) |
| SplittingStressTest.cs:3:229:3:231 | SSA param(b23) |
| SplittingStressTest.cs:3:239:3:241 | SSA param(b24) |
| SplittingStressTest.cs:3:249:3:251 | SSA param(b25) |
| SplittingStressTest.cs:3:259:3:261 | SSA param(b26) |
| SplittingStressTest.cs:3:269:3:271 | SSA param(b27) |
| SplittingStressTest.cs:3:279:3:281 | SSA param(b28) |
| SplittingStressTest.cs:3:289:3:291 | SSA param(b29) |
| SplittingStressTest.cs:3:299:3:301 | SSA param(b30) |
| SplittingStressTest.cs:3:309:3:311 | SSA param(b31) |
| SplittingStressTest.cs:3:319:3:321 | SSA param(b32) |
| SplittingStressTest.cs:3:329:3:331 | SSA param(b33) |
| SplittingStressTest.cs:3:339:3:341 | SSA param(b34) |
| SplittingStressTest.cs:3:349:3:351 | SSA param(b35) |
| SplittingStressTest.cs:3:359:3:361 | SSA param(b36) |
| SplittingStressTest.cs:3:369:3:371 | SSA param(b37) |
| SplittingStressTest.cs:3:379:3:381 | SSA param(b38) |
| SplittingStressTest.cs:3:389:3:391 | SSA param(b39) |
| SplittingStressTest.cs:3:399:3:401 | SSA param(b40) |
| SplittingStressTest.cs:170:17:170:17 | SSA param(i) |
| SplittingStressTest.cs:170:25:170:26 | SSA param(b1) |
| SplittingStressTest.cs:170:34:170:35 | SSA param(b2) |
| SplittingStressTest.cs:170:43:170:44 | SSA param(b3) |
| SplittingStressTest.cs:170:52:170:53 | SSA param(b4) |
| SplittingStressTest.cs:170:61:170:62 | SSA param(b5) |
| SplittingStressTest.cs:170:70:170:71 | SSA param(b6) |
| SplittingStressTest.cs:170:79:170:80 | SSA param(b7) |
| SplittingStressTest.cs:170:88:170:89 | SSA param(b8) |
| SplittingStressTest.cs:170:97:170:98 | SSA param(b9) |
| SplittingStressTest.cs:170:106:170:108 | SSA param(b10) |
| SplittingStressTest.cs:170:116:170:118 | SSA param(b11) |
| SplittingStressTest.cs:170:126:170:128 | SSA param(b12) |
| SplittingStressTest.cs:170:136:170:138 | SSA param(b13) |
| SplittingStressTest.cs:170:146:170:148 | SSA param(b14) |
| SplittingStressTest.cs:170:156:170:158 | SSA param(b15) |
| SplittingStressTest.cs:170:166:170:168 | SSA param(b16) |
| SplittingStressTest.cs:170:176:170:178 | SSA param(b17) |
| SplittingStressTest.cs:170:186:170:188 | SSA param(b18) |
| SplittingStressTest.cs:170:196:170:198 | SSA param(b19) |
| SplittingStressTest.cs:170:206:170:208 | SSA param(b20) |
| SplittingStressTest.cs:170:216:170:218 | SSA param(b21) |
| SplittingStressTest.cs:170:226:170:228 | SSA param(b22) |
| SplittingStressTest.cs:170:236:170:238 | SSA param(b23) |
| SplittingStressTest.cs:170:246:170:248 | SSA param(b24) |
| SplittingStressTest.cs:170:256:170:258 | SSA param(b25) |
| SplittingStressTest.cs:170:266:170:268 | SSA param(b26) |
| SplittingStressTest.cs:170:276:170:278 | SSA param(b27) |
| SplittingStressTest.cs:170:286:170:288 | SSA param(b28) |
| SplittingStressTest.cs:170:296:170:298 | SSA param(b29) |
| SplittingStressTest.cs:172:16:172:16 | SSA phi(i) |
| SplittingStressTest.cs:172:16:172:18 | SSA def(i) |

8
csharp/ql/test/library-tests/controlflow/splits/SplittingStressTest.ql
View File

@@ -1,8 +0,0 @@
import csharp
query predicate countSplits(ControlFlowElement cfe, int i) {
not cfe.fromLibrary() and
i = strictcount(ControlFlow::Nodes::ElementNode n | n.getAstNode() = cfe)
}
query predicate ssaDef(Ssa::Definition def) { any() }

7
csharp/ql/test/library-tests/dataflow/ssa/DefAdjacentRead.expected
View File

@@ -119,13 +119,6 @@
| Properties.cs:74:23:74:23 | a | Properties.cs:74:23:74:54 | Action a = ... | Properties.cs:77:9:77:9 | access to local variable a |
| Properties.cs:75:23:75:23 | b | Properties.cs:75:23:75:35 | Action b = ... | Properties.cs:80:9:80:9 | access to local variable b |
| Properties.cs:106:37:106:37 | p | Properties.cs:106:37:106:37 | p | Properties.cs:106:42:106:42 | access to parameter p |
| Splitting.cs:3:18:3:18 | b | Splitting.cs:3:18:3:18 | b | Splitting.cs:6:13:6:13 | access to parameter b |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:10:13:10:19 | ... = ... | Splitting.cs:11:13:11:13 | access to local variable x |
| Splitting.cs:22:18:22:18 | b | Splitting.cs:22:18:22:18 | b | Splitting.cs:25:13:25:13 | access to parameter b |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:29:13:29:19 | ... = ... | Splitting.cs:30:13:30:13 | access to local variable x |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:32:9:32:15 | ... = ... | Splitting.cs:33:9:33:9 | access to local variable x |
| Splitting.cs:42:18:42:18 | b | Splitting.cs:42:18:42:18 | b | Splitting.cs:45:13:45:13 | access to parameter b |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:49:13:49:19 | ... = ... | Splitting.cs:50:13:50:13 | access to local variable x |
| Test.cs:3:9:3:13 | field | Test.cs:57:9:57:17 | ... = ... | Test.cs:58:13:58:17 | access to field field |
| Test.cs:5:15:5:20 | param1 | Test.cs:5:15:5:20 | param1 | Test.cs:11:13:11:18 | access to parameter param1 |
| Test.cs:5:67:5:72 | param2 | Test.cs:5:67:5:72 | param2 | Test.cs:39:27:39:32 | access to parameter param2 |

8
csharp/ql/test/library-tests/dataflow/ssa/ReadAdjacentRead.expected
View File

@@ -94,14 +94,6 @@
| Properties.cs:104:16:104:20 | Props | Properties.cs:114:20:114:35 | access to field Props | Properties.cs:115:21:115:36 | access to field Props |
| Properties.cs:104:16:104:20 | Props | Properties.cs:115:21:115:30 | access to field Props | Properties.cs:116:17:116:26 | access to field Props |
| Properties.cs:104:16:104:20 | Props | Properties.cs:115:21:115:36 | access to field Props | Properties.cs:116:17:116:32 | access to field Props |
| Splitting.cs:3:18:3:18 | b | Splitting.cs:6:13:6:13 | access to parameter b | Splitting.cs:15:13:15:13 | access to parameter b |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:9 | access to local variable x | Splitting.cs:14:9:14:9 | access to local variable x |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:14:9:14:9 | access to local variable x | Splitting.cs:17:13:17:13 | access to local variable x |
| Splitting.cs:22:18:22:18 | b | Splitting.cs:25:13:25:13 | access to parameter b | Splitting.cs:35:13:35:13 | access to parameter b |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:33:9:33:9 | access to local variable x | Splitting.cs:34:9:34:9 | access to local variable x |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:34:9:34:9 | access to local variable x | Splitting.cs:37:13:37:13 | access to local variable x |
| Splitting.cs:42:18:42:18 | b | Splitting.cs:45:13:45:13 | access to parameter b | Splitting.cs:52:13:52:13 | access to parameter b |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:54:9:54:9 | access to local variable x | Splitting.cs:55:9:55:9 | access to local variable x |
| Test.cs:8:13:8:13 | x | Test.cs:25:16:25:16 | access to local variable x | Test.cs:25:16:25:16 | access to local variable x |
| Test.cs:9:13:9:13 | y | Test.cs:25:20:25:20 | access to local variable y | Test.cs:31:13:31:13 | access to local variable y |
| Test.cs:9:13:9:13 | y | Test.cs:25:20:25:20 | access to local variable y | Test.cs:43:20:43:20 | access to local variable y |

4
csharp/ql/test/library-tests/dataflow/ssa/SSAPhi.expected
View File

@@ -33,10 +33,6 @@
| Properties.cs:33:19:33:22 | Properties.stat | Properties.cs:50:9:50:17 | SSA phi(Properties.stat) | Properties.cs:49:17:49:32 | SSA call def(Properties.stat) |
| Properties.cs:61:23:61:23 | i | Properties.cs:63:16:63:16 | SSA phi(i) | Properties.cs:61:23:61:23 | SSA param(i) |
| Properties.cs:61:23:61:23 | i | Properties.cs:63:16:63:16 | SSA phi(i) | Properties.cs:63:16:63:18 | SSA def(i) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:7:13:7:19 | SSA def(x) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:10:13:10:19 | SSA def(x) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:52:9:53:22 | SSA phi(x) | Splitting.cs:46:13:46:19 | SSA def(x) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:52:9:53:22 | SSA phi(x) | Splitting.cs:49:13:49:19 | SSA def(x) |
| Test.cs:5:15:5:20 | param1 | Test.cs:25:16:25:16 | SSA phi(param1) | Test.cs:5:15:5:20 | SSA param(param1) |
| Test.cs:5:15:5:20 | param1 | Test.cs:25:16:25:16 | SSA phi(param1) | Test.cs:27:17:27:24 | SSA def(param1) |
| Test.cs:5:15:5:20 | param1 | Test.cs:33:9:33:19 | SSA phi(param1) | Test.cs:25:16:25:16 | SSA phi(param1) |

57
csharp/ql/test/library-tests/dataflow/ssa/Splitting.cs
View File

@@ -1,57 +0,0 @@
class Splitting
{
void M1(bool b)
{
var x = "";
if (b)
x = "a";
else
{
x = "b";
x.ToString();
}
x.ToString();
x.ToString();
if (b)
{
x.ToString();
x = "c";
}
}
void M2(bool b)
{
var x = "";
if (b)
x = "a";
else
{
x = "b";
x.ToString();
}
x = "c";
x.ToString();
x.ToString();
if (b)
{
x.ToString();
x = "d";
}
}
void M3(bool b)
{
var x = "";
if (b)
x = "a";
else
{
x = "b";
x.ToString();
}
if (b)
b = false;
x.ToString();
x.ToString();
}
}

11
csharp/ql/test/library-tests/dataflow/ssa/SsaDef.expected
View File

@@ -241,17 +241,6 @@
| Properties.cs:114:20:114:35 | this.Props.Props | Properties.cs:113:9:113:22 | SSA call def(this.Props.Props) |
| Properties.cs:115:21:115:39 | this.Props.Props.xs | Properties.cs:108:10:108:10 | SSA qualifier def(this.Props.Props.xs) |
| Properties.cs:115:21:115:39 | this.Props.Props.xs | Properties.cs:113:9:113:22 | SSA qualifier def(this.Props.Props.xs) |
| Splitting.cs:3:18:3:18 | b | Splitting.cs:3:18:3:18 | SSA param(b) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:7:13:7:19 | SSA def(x) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:10:13:10:19 | SSA def(x) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) |
| Splitting.cs:22:18:22:18 | b | Splitting.cs:22:18:22:18 | SSA param(b) |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:29:13:29:19 | SSA def(x) |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:32:9:32:15 | SSA def(x) |
| Splitting.cs:42:18:42:18 | b | Splitting.cs:42:18:42:18 | SSA param(b) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:46:13:46:19 | SSA def(x) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:49:13:49:19 | SSA def(x) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:52:9:53:22 | SSA phi(x) |
| Test.cs:5:15:5:20 | param1 | Test.cs:5:15:5:20 | SSA param(param1) |
| Test.cs:5:15:5:20 | param1 | Test.cs:25:16:25:16 | SSA phi(param1) |
| Test.cs:5:15:5:20 | param1 | Test.cs:27:17:27:24 | SSA def(param1) |

11
csharp/ql/test/library-tests/dataflow/ssa/SsaDefElement.expected
View File

@@ -236,17 +236,6 @@
| Properties.cs:113:9:113:22 | SSA call def(this.Props) | Properties.cs:113:9:113:22 | call to method SetProps |
| Properties.cs:113:9:113:22 | SSA call def(this.Props.Props) | Properties.cs:113:9:113:22 | call to method SetProps |
| Properties.cs:113:9:113:22 | SSA qualifier def(this.Props.Props.xs) | Properties.cs:113:9:113:22 | call to method SetProps |
| Splitting.cs:3:18:3:18 | SSA param(b) | Splitting.cs:3:18:3:18 | b |
| Splitting.cs:7:13:7:19 | SSA def(x) | Splitting.cs:7:13:7:19 | ... = ... |
| Splitting.cs:10:13:10:19 | SSA def(x) | Splitting.cs:10:13:10:19 | ... = ... |
| Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:13:9:13:21 | ...; |
| Splitting.cs:22:18:22:18 | SSA param(b) | Splitting.cs:22:18:22:18 | b |
| Splitting.cs:29:13:29:19 | SSA def(x) | Splitting.cs:29:13:29:19 | ... = ... |
| Splitting.cs:32:9:32:15 | SSA def(x) | Splitting.cs:32:9:32:15 | ... = ... |
| Splitting.cs:42:18:42:18 | SSA param(b) | Splitting.cs:42:18:42:18 | b |
| Splitting.cs:46:13:46:19 | SSA def(x) | Splitting.cs:46:13:46:19 | ... = ... |
| Splitting.cs:49:13:49:19 | SSA def(x) | Splitting.cs:49:13:49:19 | ... = ... |
| Splitting.cs:52:9:53:22 | SSA phi(x) | Splitting.cs:52:9:53:22 | if (...) ... |
| Test.cs:5:15:5:20 | SSA param(param1) | Test.cs:5:15:5:20 | param1 |
| Test.cs:5:67:5:72 | SSA param(param2) | Test.cs:5:67:5:72 | param2 |
| Test.cs:7:9:7:17 | SSA def(this.field) | Test.cs:7:9:7:17 | ... = ... |

6
csharp/ql/test/library-tests/dataflow/ssa/SsaExplicitDef.expected
View File

@@ -116,12 +116,6 @@
| Properties.cs:76:9:76:12 | f.xs | Properties.cs:84:9:84:25 | SSA def(f.xs) | Properties.cs:84:9:84:25 | ... = ... |
| Properties.cs:78:9:78:15 | this.xs | Properties.cs:81:9:81:22 | SSA def(this.xs) | Properties.cs:81:9:81:22 | ... = ... |
| Properties.cs:78:9:78:15 | this.xs | Properties.cs:83:9:83:22 | SSA def(this.xs) | Properties.cs:83:9:83:22 | ... = ... |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:7:13:7:19 | SSA def(x) | Splitting.cs:7:13:7:19 | ... = ... |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:10:13:10:19 | SSA def(x) | Splitting.cs:10:13:10:19 | ... = ... |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:29:13:29:19 | SSA def(x) | Splitting.cs:29:13:29:19 | ... = ... |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:32:9:32:15 | SSA def(x) | Splitting.cs:32:9:32:15 | ... = ... |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:46:13:46:19 | SSA def(x) | Splitting.cs:46:13:46:19 | ... = ... |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:49:13:49:19 | SSA def(x) | Splitting.cs:49:13:49:19 | ... = ... |
| Test.cs:5:15:5:20 | param1 | Test.cs:27:17:27:24 | SSA def(param1) | Test.cs:27:17:27:24 | ...++ |
| Test.cs:5:15:5:20 | param1 | Test.cs:41:13:41:23 | SSA def(param1) | Test.cs:41:13:41:23 | ... = ... |
| Test.cs:7:9:7:13 | this.field | Test.cs:7:9:7:17 | SSA def(this.field) | Test.cs:7:9:7:17 | ... = ... |

3
csharp/ql/test/library-tests/dataflow/ssa/SsaImplicitParameterDef.expected
View File

@@ -28,9 +28,6 @@
| OutRef.cs:39:35:39:35 | j | OutRef.cs:39:35:39:35 | SSA param(j) | OutRef.cs:39:35:39:35 | j |
| Properties.cs:61:23:61:23 | i | Properties.cs:61:23:61:23 | SSA param(i) | Properties.cs:61:23:61:23 | i |
| Properties.cs:106:37:106:37 | p | Properties.cs:106:37:106:37 | SSA param(p) | Properties.cs:106:37:106:37 | p |
| Splitting.cs:3:18:3:18 | b | Splitting.cs:3:18:3:18 | SSA param(b) | Splitting.cs:3:18:3:18 | b |
| Splitting.cs:22:18:22:18 | b | Splitting.cs:22:18:22:18 | SSA param(b) | Splitting.cs:22:18:22:18 | b |
| Splitting.cs:42:18:42:18 | b | Splitting.cs:42:18:42:18 | SSA param(b) | Splitting.cs:42:18:42:18 | b |
| Test.cs:5:15:5:20 | param1 | Test.cs:5:15:5:20 | SSA param(param1) | Test.cs:5:15:5:20 | param1 |
| Test.cs:5:67:5:72 | param2 | Test.cs:5:67:5:72 | SSA param(param2) | Test.cs:5:67:5:72 | param2 |
| Test.cs:46:16:46:18 | in | Test.cs:46:16:46:18 | SSA param(in) | Test.cs:46:16:46:18 | in |

17
csharp/ql/test/library-tests/dataflow/ssa/SsaRead.expected
View File

@@ -287,23 +287,6 @@
| Properties.cs:114:20:114:35 | this.Props.Props | Properties.cs:113:9:113:22 | SSA call def(this.Props.Props) | Properties.cs:116:17:116:32 | access to field Props |
| Properties.cs:115:21:115:39 | this.Props.Props.xs | Properties.cs:113:9:113:22 | SSA qualifier def(this.Props.Props.xs) | Properties.cs:115:21:115:39 | access to property xs |
| Properties.cs:115:21:115:39 | this.Props.Props.xs | Properties.cs:113:9:113:22 | SSA qualifier def(this.Props.Props.xs) | Properties.cs:116:17:116:35 | access to property xs |
| Splitting.cs:3:18:3:18 | b | Splitting.cs:3:18:3:18 | SSA param(b) | Splitting.cs:6:13:6:13 | access to parameter b |
| Splitting.cs:3:18:3:18 | b | Splitting.cs:3:18:3:18 | SSA param(b) | Splitting.cs:15:13:15:13 | access to parameter b |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:10:13:10:19 | SSA def(x) | Splitting.cs:11:13:11:13 | access to local variable x |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:13:9:13:9 | access to local variable x |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:14:9:14:9 | access to local variable x |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:17:13:17:13 | access to local variable x |
| Splitting.cs:22:18:22:18 | b | Splitting.cs:22:18:22:18 | SSA param(b) | Splitting.cs:25:13:25:13 | access to parameter b |
| Splitting.cs:22:18:22:18 | b | Splitting.cs:22:18:22:18 | SSA param(b) | Splitting.cs:35:13:35:13 | access to parameter b |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:29:13:29:19 | SSA def(x) | Splitting.cs:30:13:30:13 | access to local variable x |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:32:9:32:15 | SSA def(x) | Splitting.cs:33:9:33:9 | access to local variable x |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:32:9:32:15 | SSA def(x) | Splitting.cs:34:9:34:9 | access to local variable x |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:32:9:32:15 | SSA def(x) | Splitting.cs:37:13:37:13 | access to local variable x |
| Splitting.cs:42:18:42:18 | b | Splitting.cs:42:18:42:18 | SSA param(b) | Splitting.cs:45:13:45:13 | access to parameter b |
| Splitting.cs:42:18:42:18 | b | Splitting.cs:42:18:42:18 | SSA param(b) | Splitting.cs:52:13:52:13 | access to parameter b |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:49:13:49:19 | SSA def(x) | Splitting.cs:50:13:50:13 | access to local variable x |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:52:9:53:22 | SSA phi(x) | Splitting.cs:54:9:54:9 | access to local variable x |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:52:9:53:22 | SSA phi(x) | Splitting.cs:55:9:55:9 | access to local variable x |
| Test.cs:5:15:5:20 | param1 | Test.cs:5:15:5:20 | SSA param(param1) | Test.cs:11:13:11:18 | access to parameter param1 |
| Test.cs:5:15:5:20 | param1 | Test.cs:25:16:25:16 | SSA phi(param1) | Test.cs:27:17:27:22 | access to parameter param1 |
| Test.cs:5:15:5:20 | param1 | Test.cs:39:9:42:9 | SSA phi(param1) | Test.cs:41:13:41:18 | access to parameter param1 |

13
csharp/ql/test/library-tests/dataflow/ssa/SsaUltimateDef.expected
View File

@@ -328,19 +328,6 @@
| Properties.cs:115:21:115:39 | this.Props.Props.xs | Properties.cs:108:10:108:10 | SSA qualifier def(this.Props.Props.xs) | Properties.cs:108:10:108:10 | SSA qualifier def(this.Props.Props.xs) |
| Properties.cs:115:21:115:39 | this.Props.Props.xs | Properties.cs:113:9:113:22 | SSA qualifier def(this.Props.Props.xs) | Properties.cs:108:10:108:10 | SSA qualifier def(this.Props.Props.xs) |
| Properties.cs:115:21:115:39 | this.Props.Props.xs | Properties.cs:113:9:113:22 | SSA qualifier def(this.Props.Props.xs) | Properties.cs:113:9:113:22 | SSA qualifier def(this.Props.Props.xs) |
| Splitting.cs:3:18:3:18 | b | Splitting.cs:3:18:3:18 | SSA param(b) | Splitting.cs:3:18:3:18 | SSA param(b) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:7:13:7:19 | SSA def(x) | Splitting.cs:7:13:7:19 | SSA def(x) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:10:13:10:19 | SSA def(x) | Splitting.cs:10:13:10:19 | SSA def(x) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:7:13:7:19 | SSA def(x) |
| Splitting.cs:5:13:5:13 | x | Splitting.cs:13:9:13:21 | SSA phi(x) | Splitting.cs:10:13:10:19 | SSA def(x) |
| Splitting.cs:22:18:22:18 | b | Splitting.cs:22:18:22:18 | SSA param(b) | Splitting.cs:22:18:22:18 | SSA param(b) |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:29:13:29:19 | SSA def(x) | Splitting.cs:29:13:29:19 | SSA def(x) |
| Splitting.cs:24:13:24:13 | x | Splitting.cs:32:9:32:15 | SSA def(x) | Splitting.cs:32:9:32:15 | SSA def(x) |
| Splitting.cs:42:18:42:18 | b | Splitting.cs:42:18:42:18 | SSA param(b) | Splitting.cs:42:18:42:18 | SSA param(b) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:46:13:46:19 | SSA def(x) | Splitting.cs:46:13:46:19 | SSA def(x) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:49:13:49:19 | SSA def(x) | Splitting.cs:49:13:49:19 | SSA def(x) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:52:9:53:22 | SSA phi(x) | Splitting.cs:46:13:46:19 | SSA def(x) |
| Splitting.cs:44:13:44:13 | x | Splitting.cs:52:9:53:22 | SSA phi(x) | Splitting.cs:49:13:49:19 | SSA def(x) |
| Test.cs:5:15:5:20 | param1 | Test.cs:5:15:5:20 | SSA param(param1) | Test.cs:5:15:5:20 | SSA param(param1) |
| Test.cs:5:15:5:20 | param1 | Test.cs:25:16:25:16 | SSA phi(param1) | Test.cs:5:15:5:20 | SSA param(param1) |
| Test.cs:5:15:5:20 | param1 | Test.cs:25:16:25:16 | SSA phi(param1) | Test.cs:27:17:27:24 | SSA def(param1) |