Function: comp--emit-call-cstr

comp--emit-call-cstr is a byte-compiled function defined in comp.el.gz.

Signature

(comp--emit-call-cstr MVAR CALL-CELL CSTR)

Documentation

Emit a constraint CSTR for MVAR after CALL-CELL.

Source Code

;; Defined in /usr/src/emacs/lisp/emacs-lisp/comp.el.gz
(defun comp--emit-call-cstr (mvar call-cell cstr)
  "Emit a constraint CSTR for MVAR after CALL-CELL."
  (let* ((new-mvar (make--comp-mvar :slot (comp-mvar-slot mvar)))
         ;; Have new-mvar as LHS *and* RHS to ensure monotonicity and
         ;; fwprop convergence!!
         (insn `(assume ,new-mvar (and ,new-mvar ,mvar ,cstr))))
    (comp--insert-insn insn call-cell)))