File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
go/ql/test/library-tests/semmle/go/dataflow/ExternalFlowInheritance Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -19,13 +19,13 @@ func TestI2(t test.I2) {
1919func TestS1 (t test.S1 ) {
2020 x := t .Source ()
2121 y := t .Step (x )
22- t .Sink (y ) // $ I1[t] S1[f] S1[t] ql_S1 SPURIOUS: IEmbedI1[t] SEmbedI1[t]
22+ t .Sink (y ) // $ I1[t] S1[f] S1[t] ql_S1 SPURIOUS: IEmbedI1[t] SEmbedI1[t] SEmbedS1[t]
2323}
2424
2525func TestS2 (t test.S2 ) {
2626 x := t .Source ()
2727 y := t .Step (x )
28- t .Sink (y ) // $ I1[t] I2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t]
28+ t .Sink (y ) // $ I1[t] I2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t] SEmbedS2[t]
2929}
3030
3131func TestSEmbedI1 (t test.SEmbedI1 ) {
@@ -67,13 +67,13 @@ func TestSImplEmbedI2(t test.SImplEmbedI2) {
6767func TestSEmbedS1 (t test.SEmbedS1 ) {
6868 x := t .Source ()
6969 y := t .Step (x )
70- t .Sink (y ) // $ I1[t] S1[t] ql_S1 SPURIOUS: IEmbedI1[t] S1[f] SEmbedI1[t]
70+ t .Sink (y ) // $ I1[t] S1[t] SEmbedS1[t] ql_S1 SPURIOUS: IEmbedI1[t] S1[f] SEmbedI1[t]
7171}
7272
7373func TestSEmbedS2 (t test.SEmbedS2 ) {
7474 x := t .Source ()
7575 y := t .Step (x )
76- t .Sink (y ) // $ I1[t] I2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t]
76+ t .Sink (y ) // $ I1[t] I2[t] SEmbedS2[t] SPURIOUS: IEmbedI1[t] IEmbedI2[t] SEmbedI1[t] SEmbedI2[t]
7777}
7878
7979func TestSImplEmbedS1 (t test.SImplEmbedS1 ) {
You can’t perform that action at this time.
0 commit comments