File tree Expand file tree Collapse file tree
csharp/ql/test/library-tests/dataflow/patterns Expand file tree Collapse file tree Original file line number Diff line number Diff line change 33nodes
44subpaths
55testFailures
6+ | Patterns.cs:15:22:15:40 | // ... | Missing result: hasValueFlow=1 |
7+ | Patterns.cs:26:26:26:44 | // ... | Missing result: hasValueFlow=2 |
8+ | Patterns.cs:37:22:37:40 | // ... | Missing result: hasValueFlow=3 |
9+ | Patterns.cs:47:22:47:40 | // ... | Missing result: hasValueFlow=4 |
610#select
Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ private void M1()
1212 var r = new RecordClass2 ( o ) ;
1313 if ( r is RecordClass2 { Prop : object p } )
1414 {
15- Sink ( p ) ; // $ MISSING: hasValueFlow=1
15+ Sink ( p ) ; // $ hasValueFlow=1
1616 }
1717 }
1818
@@ -23,7 +23,7 @@ private void M2()
2323 switch ( r )
2424 {
2525 case RecordClass2 { Prop : object p } :
26- Sink ( p ) ; // $ MISSING: hasValueFlow=2
26+ Sink ( p ) ; // $ hasValueFlow=2
2727 break ;
2828 }
2929 }
@@ -34,7 +34,7 @@ private void M3()
3434 var s = new Nested ( new RecordClass2 ( o ) ) ;
3535 if ( s is Nested { Record : { Prop : object p } } )
3636 {
37- Sink ( p ) ; // $ MISSING: hasValueFlow=3
37+ Sink ( p ) ; // $ hasValueFlow=3
3838 }
3939 }
4040
@@ -44,7 +44,7 @@ private void M4()
4444 var s = new Nested ( new RecordClass2 ( o ) ) ;
4545 if ( s is Nested { Record . Prop : object p } )
4646 {
47- Sink ( p ) ; // $ MISSING: hasValueFlow=4
47+ Sink ( p ) ; // $ hasValueFlow=4
4848 }
4949 }
5050
You can’t perform that action at this time.
0 commit comments