Vl-stmt-cblock-pathcheck1
Check that a single variable is assigned to in all branches of this
statement.
- Signature
(vl-stmt-cblock-pathcheck1 varname x) → okp
- Arguments
- varname — Guard (stringp varname).
- x — Guard (vl-stmt-p x).
- Returns
- okp — Type (booleanp okp).
