Method is_bottom

src/analysis/abstract_domain.rs:51–53

A bottom domain means the basic block is unreachable

(&self)

{
    // A bottom domain means the basic block is unreachable
    pub fn is_bottom(&self) -> bool {
        self.numerical_domain.is_bottom()
    }

    pub fn is_top(&self) -> bool {
        self.numerical_domain.is_top() && self.nullness_domain.is_empty()