Skip to content

Commit e18bf16

Browse files
committed
Rust: Accept result de-regression.
1 parent 6b08297 commit e18bf16

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

rust/ql/test/library-tests/dataflow/sources/net/InlineFlow.expected

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -562,8 +562,6 @@ nodes
562562
| test.rs:501:19:501:24 | buffer | semmle.label | buffer |
563563
subpaths
564564
testFailures
565-
| test.rs:400:18:400:40 | &... | Fixed missing result: hasTaintFlow=url |
566-
| test.rs:405:18:405:40 | &... | Fixed missing result: hasTaintFlow=url |
567565
#select
568566
| test.rs:12:10:12:23 | remote_string1 | test.rs:11:26:11:47 | ...::get | test.rs:12:10:12:23 | remote_string1 | $@ | test.rs:11:26:11:47 | ...::get | ...::get |
569567
| test.rs:15:10:15:23 | remote_string2 | test.rs:14:26:14:47 | ...::get | test.rs:15:10:15:23 | remote_string2 | $@ | test.rs:14:26:14:47 | ...::get | ...::get |

rust/ql/test/library-tests/dataflow/sources/net/test.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -397,12 +397,12 @@ mod futures_rustls {
397397
// using the `AsyncReadExt::read` extension method (higher-level)
398398
let mut buffer1 = [0u8; 64];
399399
let bytes_read1 = futures::io::AsyncReadExt::read(&mut reader, &mut buffer1).await?;
400-
sink(&buffer1[..bytes_read1]); // $ MISSING: hasTaintFlow=url
400+
sink(&buffer1[..bytes_read1]); // $ hasTaintFlow=url
401401

402402
let mut buffer2 = [0u8; 64];
403403
let bytes_read2 = reader.read(&mut buffer2).await?;
404404

405-
sink(&buffer2[..bytes_read2]); // $ MISSING: hasTaintFlow=url
405+
sink(&buffer2[..bytes_read2]); // $ hasTaintFlow=url
406406
}
407407

408408
let mut reader2 = futures::io::BufReader::new(reader);

0 commit comments

Comments
 (0)