Method is_zero

src/analysis/memory/expression.rs:312–317

Determines if the given expression is the compile time constant 0u128.

(&self)

    /// Determines if the given expression is the compile time constant 0u128.
    pub fn is_zero(&self) -> bool {
        if let Expression::CompileTimeConstant(ConstantValue::Int(val)) = self {
            return *val == 0;
        }
        false
    }

    /// Adds any heap blocks found in the associated expression to the given set.
    pub fn record_heap_blocks(&self, result: &mut HashSet<Rc<SymbolicValue>>) {