Method visit_literal

src/analysis/mir_visitor/block_visitor.rs:2140–2152

(&mut self, literal: &mir::Const<'tcx>)

    }

    pub fn visit_literal(&mut self, literal: &mir::Const<'tcx>) -> Rc<SymbolicValue> {
        info!("visit_literal {:?}", literal);
        match literal {
            // This constant came from the type system
            mir::Const::Ty(_ty, c) => self.visit_constant(c),
            // An unevaluated mir constant which is not part of the type system.
            // mir::Const::Unevaluated(c, ty) => self.visit_unevaluated_const(c, *ty),
            // // This constant contains something the type system cannot handle (e.g. pointers).
            mir::Const::Val(v, ty) => self.visit_const_value(*v, *ty),
            // mir::Const::Val(v, ty) => self.
            _ => symbolic_value::BOTTOM.into(),
        }
    }

    fn visit_const_value(&mut self, val: ConstValue<'tcx>, lty: Ty<'tcx>) -> Rc<SymbolicValue> {
        match val {