byte-compile-check-variable

byte-compile-check-variable is a compiled Lisp function in `bytecomp.el'.

(byte-compile-check-variable VAR ACCESS-TYPE)

Do various error checks before a use of the variable VAR.