[PATCH 0/2] rust: list: fix incomplete SAFETY comments in list implementation

Christian Benton posted 2 patches 2 months, 1 week ago
rust/kernel/list.rs                    |  4 +++-
rust/kernel/list/impl_list_item_mod.rs | 17 ++++++++++++++---
2 files changed, 17 insertions(+), 4 deletions(-)
[PATCH 0/2] rust: list: fix incomplete SAFETY comments in list implementation
Posted by Christian Benton 2 months, 1 week ago
Four SAFETY comments in the linked list implementation were left as
TODO. This series fills them in with proper safety proofs explaining
why each unsafe operation is sound.

Christian Benton (2):
  rust: list: fix SAFETY comment in List::remove
  rust: list: fix SAFETY comments in impl_list_item_mod

 rust/kernel/list.rs                    |  4 +++-
 rust/kernel/list/impl_list_item_mod.rs | 17 ++++++++++++++---
 2 files changed, 17 insertions(+), 4 deletions(-)

-- 
2.53.0