Function is_null_ptr

src/program/infer/static_infer.rs:526–538

(arg: &Node, visitor: &Visitor)

    }

    pub fn is_null_ptr(arg: &Node, visitor: &Visitor) -> bool {
        let arg = strip_prefix(arg);
        if let Clang::CXXNullPtrLiteralExpr(_) = &arg.kind {
            return true;
        } else if let Clang::GNUNullExpr(_) = &arg.kind {
            return true;
        } else if let Clang::DeclRefExpr(dre) = &arg.kind {
            if let Some(init) = dre.get_var_init(visitor) {
                return is_null_ptr(init, visitor);
            }
        }
        false
    }

    /// Whehter this arg is a macro literal
    pub fn is_macro_literal(arg: &Node, visitor: &Visitor) -> bool {