Const-prop-init-declor-list
Propagate a constant through a c$::init-declor-list.
- Signature
(const-prop-init-declor-list initdeclors env)
→
(mv new-initdeclors idents new-env)
- Arguments
- initdeclors — Guard (init-declor-listp initdeclors).
- env — Guard (envp env).
- Returns
- new-initdeclors — Type (init-declor-listp new-initdeclors).
- idents — Type (env-blockp idents).
- new-env — Type (envp new-env).
