Valid-init-declor-list
Validate a list of initializer declarators.
- Signature
(valid-init-declor-list initdeclors type storspecs table ienv)
→
(mv erp new-initdeclors return-types new-table)
- Arguments
- initdeclors — Guard (init-declor-listp initdeclors).
- type — Guard (typep type).
- storspecs — Guard (stor-spec-listp storspecs).
- table — Guard (valid-tablep table).
- ienv — Guard (ienvp ienv).
- Returns
- erp — Type (maybe-msgp erp).
- new-initdeclors — Type (init-declor-listp new-initdeclors).
- return-types — Type (type-setp return-types).
- new-table — Type (valid-tablep new-table).
The type and storage class specifiers come from
the declaration specifiers that precede the initializer declarators.
We validate each in turn.
