Method visit_assert

src/analysis/mir_visitor/block_visitor.rs:1538–1569

(
        &mut self,
        cond: &mir::Operand<'tcx>,
        expected: bool,
        _msg: &mir::AssertMessage<'tcx>,
        target: mir::BasicBlock,
        _unwind: mir::UnwindAction,
    )

    }

    fn visit_assert(
        &mut self,
        cond: &mir::Operand<'tcx>,
        expected: bool,
        _msg: &mir::AssertMessage<'tcx>,
        target: mir::BasicBlock,
        _unwind: mir::UnwindAction,
    ) {
        let cond_value = if let Some(place) = cond.place() {
            self.body_visitor
                .place_to_abstract_value
                .get(&place)
                .cloned()
                .unwrap_or_else(|| self.visit_operand(cond))
        } else {
            self.visit_operand(cond)
        };
        if let Some(place) = cond.place() {
            self.body_visitor
                .place_to_abstract_value
                .insert(place, cond_value.clone());
        }
        let exit_condition = if expected {
            cond_value
        } else {
            cond_value.logical_not()
        };
        self.body_visitor
            .state
            .exit_conditions
            .insert(target, exit_condition);
    }

    // fn visit_inline_asm(&mut self) {
    //     let span = self.body_visitor.current_span;