Method is_bottom

src/analysis/memory/symbolic_value.rs:941–943

True if the set of concrete values that correspond to this domain is empty.

(&self)

    /// True if the set of concrete values that correspond to this domain is empty.
    fn is_bottom(&self) -> bool {
        matches!(&self.expression, Expression::Bottom)
    }

    /// True if this value is a compile time constant.
    fn is_compile_time_constant(&self) -> bool {