Merge pull request #19848 from github/redsun82/rust-regenerate-models

Rust: regenerate models after rust-analyzer update

Author: redsun82

rust/ql/lib/ext/generated/actix-web.model.yml

@@ -82,6 +82,7 @@ extensions:
       - ["<hyper::client::conn::http1::Builder>::allow_obsolete_multiline_headers_in_responses", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::allow_spaces_after_header_name_in_responses", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::handshake", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
+      - ["<hyper::client::conn::http1::Builder>::handshake", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::http09_responses", "Argument[0]", "Argument[self].Field[hyper::client::conn::http1::Builder::h09_responses]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::http09_responses", "Argument[0]", "ReturnValue.Field[hyper::client::conn::http1::Builder::h09_responses]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::http09_responses", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -114,6 +115,7 @@ extensions:
       - ["<hyper::client::conn::http2::Builder>::adaptive_window", "Argument[0]", "ReturnValue.Field[hyper::client::conn::http2::Builder::h2_builder].Field[hyper::proto::h2::client::Config::adaptive_window]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::adaptive_window", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::handshake", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
+      - ["<hyper::client::conn::http2::Builder>::handshake", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::header_table_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::initial_connection_window_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::initial_max_send_streams", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -137,9 +139,7 @@ extensions:
       - ["<hyper::client::conn::http2::Builder>::max_send_buf_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::new", "Argument[0]", "ReturnValue.Field[hyper::client::conn::http2::Builder::exec]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::timer", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
-      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::conn::http2::SendRequest::dispatch].Field[hyper::client::dispatch::UnboundedSender::inner]", "ReturnValue.Field[hyper::client::conn::http2::SendRequest::dispatch].Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
-      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::conn::http2::SendRequest::dispatch].Reference", "ReturnValue.Field[hyper::client::conn::http2::SendRequest::dispatch]", "value", "dfc-generated"]
-      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::conn::http2::SendRequest::dispatch]", "ReturnValue.Field[hyper::client::conn::http2::SendRequest::dispatch]", "value", "dfc-generated"]
+      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<hyper::client::dispatch::SendWhen>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::client::dispatch::SendWhen::call_back]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::SendWhen>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::client::dispatch::SendWhen::when]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::SendWhen>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::client::dispatch::SendWhen::call_back]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
@@ -148,9 +148,7 @@ extensions:
       - ["<hyper::client::dispatch::Sender>::try_send", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::Sender>::unbound", "Argument[self].Field[hyper::client::dispatch::Sender::inner]", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::TrySendError>::into_error", "Argument[self].Field[hyper::client::dispatch::TrySendError::error]", "ReturnValue", "value", "dfc-generated"]
-      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::dispatch::UnboundedSender::inner].Field[tokio::sync::mpsc::unbounded::UnboundedSender::chan]", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner].Field[tokio::sync::mpsc::unbounded::UnboundedSender::chan]", "value", "dfc-generated"]
-      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::dispatch::UnboundedSender::inner].Reference", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
-      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::dispatch::UnboundedSender::inner]", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
+      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<hyper::common::buf::BufList>::bufs_cnt", "Argument[self].Field[hyper::common::buf::BufList::bufs].Field[alloc::collections::vec_deque::VecDeque::len]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::common::io::compat::Compat>::new", "Argument[0]", "ReturnValue.Field[hyper::common::io::compat::Compat(0)]", "value", "dfc-generated"]
       - ["<hyper::common::io::rewind::Rewind>::into_inner", "Argument[self].Field[hyper::common::io::rewind::Rewind::inner]", "ReturnValue.Field[0]", "value", "dfc-generated"]
@@ -170,6 +168,8 @@ extensions:
       - ["<hyper::ext::h1_reason_phrase::ReasonPhrase>::as_bytes", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<hyper::ext::h1_reason_phrase::ReasonPhrase>::as_bytes", "Argument[self].Field[hyper::ext::h1_reason_phrase::ReasonPhrase(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<hyper::ffi::http_types::hyper_response>::wrap", "Argument[0]", "ReturnValue.Field[hyper::ffi::http_types::hyper_response(0)]", "value", "dfc-generated"]
+      - ["<hyper::ffi::task::hyper_executor>::downgrade", "Argument[0].Field[alloc::sync::Arc::alloc].Reference", "ReturnValue.Field[hyper::ffi::task::WeakExec(0)].Field[alloc::sync::Weak::alloc]", "value", "dfc-generated"]
+      - ["<hyper::ffi::task::hyper_executor>::downgrade", "Argument[0].Field[alloc::sync::Arc::alloc]", "ReturnValue.Field[hyper::ffi::task::WeakExec(0)].Field[alloc::sync::Weak::alloc]", "value", "dfc-generated"]
       - ["<hyper::ffi::task::hyper_executor>::downgrade", "Argument[0].Field[alloc::sync::Arc::ptr]", "ReturnValue.Field[hyper::ffi::task::WeakExec(0)].Field[alloc::sync::Weak::ptr]", "value", "dfc-generated"]
       - ["<hyper::ffi::task::hyper_task>::boxed", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<hyper::proto::h1::conn::Conn>::into_inner", "Argument[self].Field[hyper::proto::h1::conn::Conn::io].Field[hyper::proto::h1::io::Buffered::io]", "ReturnValue.Field[0]", "value", "dfc-generated"]
@@ -324,6 +324,8 @@ extensions:
       - ["<hyper::server::conn::http2::Builder>::max_send_buf_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Builder>::new", "Argument[0]", "ReturnValue.Field[hyper::server::conn::http2::Builder::exec]", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Builder>::serve_connection", "Argument[1]", "ReturnValue.Field[hyper::server::conn::http2::Connection::conn].Field[hyper::proto::h2::server::Server::service]", "value", "dfc-generated"]
+      - ["<hyper::server::conn::http2::Builder>::serve_connection", "Argument[self].Field[hyper::server::conn::http2::Builder::timer].Reference", "ReturnValue.Field[hyper::server::conn::http2::Connection::conn].Field[hyper::proto::h2::server::Server::timer]", "value", "dfc-generated"]
+      - ["<hyper::server::conn::http2::Builder>::serve_connection", "Argument[self].Field[hyper::server::conn::http2::Builder::timer]", "ReturnValue.Field[hyper::server::conn::http2::Connection::conn].Field[hyper::proto::h2::server::Server::timer]", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Builder>::timer", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Connection>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::server::conn::http2::Connection::conn]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Connection>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::server::conn::http2::Connection::conn]", "ReturnValue", "value", "dfc-generated"]

rust/ql/lib/ext/generated/clap.model.yml

@@ -4,8 +4,18 @@ extensions:
       pack: codeql/rust-all
       extensible: summaryModel
     data:
+      - ["<libc::unix::linux_like::linux::__c_anonymous_ifc_ifcu as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::__c_anonymous_ifr_ifru as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::__c_anonymous_iwreq as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_1 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_2 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_can_addr as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::__c_anonymous_xsk_tx_metadata_union as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<libc::unix::linux_like::linux::gnu::sifields_sigchld as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::iwreq_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::tpacket_bd_header_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<libc::unix::linux_like::linux::tpacket_req_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<style::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
       - ["<style::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path].Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
       - ["<style_tests::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]

rust/ql/lib/ext/generated/hyper.model.yml

@@ -11,6 +11,8 @@ extensions:
       - ["<log::LevelFilter as core::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<log::Metadata>::level", "Argument[self].Field[log::Metadata::level]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::Metadata>::target", "Argument[self].Field[log::Metadata::target]", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::MetadataBuilder>::build", "Argument[self].Field[log::MetadataBuilder::metadata].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::MetadataBuilder>::build", "Argument[self].Field[log::MetadataBuilder::metadata]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::MetadataBuilder>::level", "Argument[0]", "Argument[self].Field[log::MetadataBuilder::metadata].Field[log::Metadata::level]", "value", "dfc-generated"]
       - ["<log::MetadataBuilder>::level", "Argument[0]", "ReturnValue.Field[log::MetadataBuilder::metadata].Field[log::Metadata::level]", "value", "dfc-generated"]
       - ["<log::MetadataBuilder>::level", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -30,6 +32,8 @@ extensions:
       - ["<log::RecordBuilder>::args", "Argument[0]", "Argument[self].Field[log::RecordBuilder::record].Field[log::Record::args]", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::args", "Argument[0]", "ReturnValue.Field[log::RecordBuilder::record].Field[log::Record::args]", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::args", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::RecordBuilder>::build", "Argument[self].Field[log::RecordBuilder::record].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::RecordBuilder>::build", "Argument[self].Field[log::RecordBuilder::record]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::file", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::file_static", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::key_values", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -55,6 +59,8 @@ extensions:
       - ["<log::kv::key::Key>::as_str", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::kv::key::Key>::from_str", "Argument[0]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
       - ["<log::kv::key::Key>::to_borrowed_str", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<log::kv::value::Value as log::kv::value::ToValue>::to_value", "Argument[self].Field[log::kv::value::Value::inner].Reference", "ReturnValue.Field[log::kv::value::Value::inner]", "value", "dfc-generated"]
+      - ["<log::kv::value::Value as log::kv::value::ToValue>::to_value", "Argument[self].Field[log::kv::value::Value::inner]", "ReturnValue.Field[log::kv::value::Value::inner]", "value", "dfc-generated"]
   - addsTo:
       pack: codeql/rust-all
       extensible: sinkModel