fastc 0.1.0

A safe C-like language that compiles to C11
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

//! Unsafe tracking for safety checks

/// Tracks whether we're in an unsafe context
#[derive(Debug, Default)]
pub struct SafetyContext {
    /// Stack of unsafe contexts (true = in unsafe)
    unsafe_stack: Vec<bool>,
}

impl SafetyContext {
    pub fn new() -> Self {
        Self {
            unsafe_stack: vec![false], // Start in safe context
        }
    }

    /// Enter an unsafe block or function
    pub fn enter_unsafe(&mut self) {
        self.unsafe_stack.push(true);
    }

    /// Exit the current unsafe context
    pub fn exit_unsafe(&mut self) {
        self.unsafe_stack.pop();
    }

    /// Check if we're currently in an unsafe context
    pub fn is_unsafe(&self) -> bool {
        self.unsafe_stack.last().copied().unwrap_or(false)
    }
}