(vl-ctxexprlist-arith-compare-check-nrev x nrev) → nrev
Function:
(defun vl-ctxexprlist-arith-compare-check-nrev (x nrev) (declare (xargs :stobjs (nrev))) (declare (xargs :guard (vl-ctxexprlist-p x))) (let ((__function__ 'vl-ctxexprlist-arith-compare-check-nrev)) (declare (ignorable __function__)) (b* (((when (atom x)) (nrev-fix nrev)) (nrev (nrev-append (b* (((vl-ctxexpr x) (car x))) (vl-warninglist-add-ctx (vl-expr-arith-compare-check x.expr x.ss) x.ctx)) nrev))) (vl-ctxexprlist-arith-compare-check-nrev (cdr x) nrev))))