Method logical_not

src/analysis/memory/constant_value.rs:330–344

Returns a constant that is "!self" where self is a bool.

(&self)

    /// Returns a constant that is "!self" where self is a bool.
    pub fn logical_not(&self) -> Self {
        match self {
            ConstantValue::Int(val) => {
                if *val == 1 {
                    ConstantValue::Int(Integer::from(0))
                } else if *val == 0 {
                    ConstantValue::Int(Integer::from(1))
                } else {
                    ConstantValue::Bottom
                }
            }
            ConstantValue::Top => ConstantValue::Top,
            _ => ConstantValue::Bottom,
        }
    }

    /// Returns a constant that is "self % other".
    pub fn rem(&self, other: &Self) -> Self {