bpf/program_array: use never type, add unsafe flag, and document safety

pull/149/head
William Findlay 3 years ago
parent ff14493751
commit df26fd94a7
No known key found for this signature in database
GPG Key ID: 7162B44E9E560373

@ -1,3 +1,4 @@
#![feature(never_type)]
#![allow(clippy::missing_safety_doc)] #![allow(clippy::missing_safety_doc)]
#![no_std] #![no_std]

@ -24,9 +24,11 @@ use crate::{
/// # unsafe fn try_test(ctx: &LsmContext) -> Result<(), c_long> { /// # unsafe fn try_test(ctx: &LsmContext) -> Result<(), c_long> {
/// let index: u32 = 13; /// let index: u32 = 13;
/// ///
/// let res = JUMP_TABLE.tail_call(ctx, index); /// if let Err(e) = JUMP_TABLE.tail_call(ctx, index) {
/// return Err(e);
/// }
/// ///
/// # res /// # Err(-1)
/// } /// }
/// ``` /// ```
#[repr(transparent)] #[repr(transparent)]
@ -65,16 +67,23 @@ impl ProgramArray {
/// Perform a tail call into a program indexed by this map. /// Perform a tail call into a program indexed by this map.
/// ///
/// # Safety
///
/// This function is inherently unsafe, since it causes control flow to jump into
/// another eBPF program. This can have side effects, such as drop methods not being
/// called. Note that tail calling into an eBPF program is not the same thing as
/// a function call -- control flow never returns to the caller.
///
/// # Return Value /// # Return Value
/// ///
/// On success, this function **does not return** into the original program. /// On success, this function **does not return** into the original program.
/// On failure, a negative error is returned, wrapped in `Err()`. /// On failure, a negative error is returned, wrapped in `Err()`.
pub fn tail_call<C: BpfContext>(&mut self, ctx: &C, index: u32) -> Result<(), c_long> { pub unsafe fn tail_call<C: BpfContext>(&mut self, ctx: &C, index: u32) -> Result<!, c_long> {
let res = unsafe { bpf_tail_call(ctx.as_ptr(), &mut self.def as *mut _ as *mut _, index) }; let res = bpf_tail_call(ctx.as_ptr(), &mut self.def as *mut _ as *mut _, index);
if res != 0 { if res != 0 {
Err(res) Err(res)
} else { } else {
unsafe { unreachable_unchecked() } unreachable_unchecked()
} }
} }
} }

Loading…
Cancel
Save