Skip to content

Commit cda0947

Browse files
michaelnebelmichaelnebel
committed
C# Update expected test output and remove false positive.
1 parent 63c06b7 commit cda0947

File tree

1 file changed

+3
-9
lines changed

1 file changed

+3
-9
lines changed

‎csharp/ql/test/library-tests/dataflow/collections/CollectionFlow.expected

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -242,12 +242,10 @@ edges
242242
| CollectionFlow.cs:435:22:435:22 | access to local variable a : A | CollectionFlow.cs:435:21:435:23 | [...] : List<A> [element] : A |
243243
| CollectionFlow.cs:436:14:436:14 | access to local variable l : List<A> [element] : A | CollectionFlow.cs:436:14:436:17 | access to indexer |
244244
| CollectionFlow.cs:447:17:447:23 | object creation of type A : A | CollectionFlow.cs:448:21:448:21 | access to local variable a : A |
245-
| CollectionFlow.cs:448:20:448:22 | [...] : A[] [element] : A | CollectionFlow.cs:450:14:450:18 | access to local variable array : A[] [element] : A |
245+
| CollectionFlow.cs:448:20:448:22 | [...] : A[] [element] : A | CollectionFlow.cs:449:22:449:28 | .. access to local variable temp : A[] [element] : A |
246246
| CollectionFlow.cs:448:21:448:21 | access to local variable a : A | CollectionFlow.cs:448:20:448:22 | [...] : A[] [element] : A |
247+
| CollectionFlow.cs:449:22:449:28 | .. access to local variable temp : A[] [element] : A | CollectionFlow.cs:450:14:450:18 | access to local variable array : A[] [element] : A |
247248
| CollectionFlow.cs:450:14:450:18 | access to local variable array : A[] [element] : A | CollectionFlow.cs:450:14:450:21 | access to array element |
248-
| CollectionFlow.cs:480:9:480:11 | [post] access to local variable ic0 : IntegerCollection [property Payload] : A | CollectionFlow.cs:482:14:482:16 | access to local variable ic1 : IntegerCollection [property Payload] : A |
249-
| CollectionFlow.cs:480:23:480:29 | object creation of type A : A | CollectionFlow.cs:480:9:480:11 | [post] access to local variable ic0 : IntegerCollection [property Payload] : A |
250-
| CollectionFlow.cs:482:14:482:16 | access to local variable ic1 : IntegerCollection [property Payload] : A | CollectionFlow.cs:482:14:482:24 | access to property Payload |
251249
nodes
252250
| CollectionFlow.cs:14:40:14:41 | ts : A[] [element] : A | semmle.label | ts : A[] [element] : A |
253251
| CollectionFlow.cs:14:40:14:41 | ts : null [element] : A | semmle.label | ts : null [element] : A |
@@ -496,12 +494,9 @@ nodes
496494
| CollectionFlow.cs:447:17:447:23 | object creation of type A : A | semmle.label | object creation of type A : A |
497495
| CollectionFlow.cs:448:20:448:22 | [...] : A[] [element] : A | semmle.label | [...] : A[] [element] : A |
498496
| CollectionFlow.cs:448:21:448:21 | access to local variable a : A | semmle.label | access to local variable a : A |
497+
| CollectionFlow.cs:449:22:449:28 | .. access to local variable temp : A[] [element] : A | semmle.label | .. access to local variable temp : A[] [element] : A |
499498
| CollectionFlow.cs:450:14:450:18 | access to local variable array : A[] [element] : A | semmle.label | access to local variable array : A[] [element] : A |
500499
| CollectionFlow.cs:450:14:450:21 | access to array element | semmle.label | access to array element |
501-
| CollectionFlow.cs:480:9:480:11 | [post] access to local variable ic0 : IntegerCollection [property Payload] : A | semmle.label | [post] access to local variable ic0 : IntegerCollection [property Payload] : A |
502-
| CollectionFlow.cs:480:23:480:29 | object creation of type A : A | semmle.label | object creation of type A : A |
503-
| CollectionFlow.cs:482:14:482:16 | access to local variable ic1 : IntegerCollection [property Payload] : A | semmle.label | access to local variable ic1 : IntegerCollection [property Payload] : A |
504-
| CollectionFlow.cs:482:14:482:24 | access to property Payload | semmle.label | access to property Payload |
505500
subpaths
506501
| CollectionFlow.cs:44:20:44:22 | access to local variable as : null [element] : A | CollectionFlow.cs:22:34:22:35 | ts : null [element] : A | CollectionFlow.cs:22:41:22:45 | access to array element : A | CollectionFlow.cs:44:14:44:23 | call to method First<A> |
507502
| CollectionFlow.cs:62:20:62:23 | access to field As : A[] [element] : A | CollectionFlow.cs:22:34:22:35 | ts : A[] [element] : A | CollectionFlow.cs:22:41:22:45 | access to array element : A | CollectionFlow.cs:62:14:62:24 | call to method First<A> |
@@ -586,4 +581,3 @@ subpaths
586581
| CollectionFlow.cs:427:17:427:23 | object creation of type A : A | CollectionFlow.cs:427:17:427:23 | object creation of type A : A | CollectionFlow.cs:429:14:429:21 | access to array element | $@ | CollectionFlow.cs:429:14:429:21 | access to array element | access to array element |
587582
| CollectionFlow.cs:434:17:434:23 | object creation of type A : A | CollectionFlow.cs:434:17:434:23 | object creation of type A : A | CollectionFlow.cs:436:14:436:17 | access to indexer | $@ | CollectionFlow.cs:436:14:436:17 | access to indexer | access to indexer |
588583
| CollectionFlow.cs:447:17:447:23 | object creation of type A : A | CollectionFlow.cs:447:17:447:23 | object creation of type A : A | CollectionFlow.cs:450:14:450:21 | access to array element | $@ | CollectionFlow.cs:450:14:450:21 | access to array element | access to array element |
589-
| CollectionFlow.cs:480:23:480:29 | object creation of type A : A | CollectionFlow.cs:480:23:480:29 | object creation of type A : A | CollectionFlow.cs:482:14:482:24 | access to property Payload | $@ | CollectionFlow.cs:482:14:482:24 | access to property Payload | access to property Payload |

0 commit comments

Comments
 (0)