Skip to content

Commit 5d95fad

Browse files
committed
Rust: Changes suggested by Copilot (with effect on tests).
1 parent 397563d commit 5d95fad

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

rust/ql/test/library-tests/dataflow/sources/TaintSources.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,7 @@
100100
| test.rs:942:22:942:30 | query_map | Flow source 'DatabaseSource' of type database (DEFAULT). |
101101
| test.rs:951:26:951:35 | query_fold | Flow source 'DatabaseSource' of type database (DEFAULT). |
102102
| test.rs:957:22:957:31 | query_fold | Flow source 'DatabaseSource' of type database (DEFAULT). |
103-
| test.rs:989:47:989:51 | query | Flow source 'DatabaseSource' of type database (DEFAULT). |
103+
| test.rs:989:53:989:57 | query | Flow source 'DatabaseSource' of type database (DEFAULT). |
104104
| test.rs:992:28:992:30 | get | Flow source 'DatabaseSource' of type database (DEFAULT). |
105105
| test.rs:995:28:995:34 | get_opt | Flow source 'DatabaseSource' of type database (DEFAULT). |
106106
| test.rs:998:28:998:31 | take | Flow source 'DatabaseSource' of type database (DEFAULT). |

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -986,7 +986,7 @@ mod test_mysql_async {
986986
let mut pool = mysql_async::Pool::new("");
987987
let mut conn = pool.get_conn().await?;
988988

989-
let mut rows : Vec<mysql::Row> = conn.query("SELECT id, name, age FROM person").await?; // $ Alert[rust/summary/taint-sources]
989+
let mut rows : Vec<mysql_async::Row> = conn.query("SELECT id, name, age FROM person").await?; // $ Alert[rust/summary/taint-sources]
990990
let mut row = &mut rows[0];
991991

992992
let v1 : i64 = row.get(0).unwrap(); // $ Alert[rust/summary/taint-sources]
@@ -1002,9 +1002,9 @@ mod test_mysql_async {
10021002
sink(v4); // $ hasTaintFlow=0
10031003

10041004
let value5 = row.as_ref(0).unwrap(); // $ Alert[rust/summary/taint-sources]
1005-
if let mysql::Value::Int(v) = value5 {
1005+
if let mysql_async::Value::Int(v) = value5 {
10061006
sink(v); // $ MISSING: hasTaintFlow=0
1007-
} else if let mysql::Value::Bytes(v) = value5 {
1007+
} else if let mysql_async::Value::Bytes(v) = value5 {
10081008
sink(v); // $ MISSING: hasTaintFlow=0
10091009
}
10101010

0 commit comments

Comments
 (0)