Dimb-initdeclor
Disambiguate an initializer declarator.
- Signature
(dimb-initdeclor ideclor kind table)
→
(mv erp new-ideclor new-table)
- Arguments
- ideclor — Guard (initdeclorp ideclor).
- kind — Guard (dimb-kindp kind).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-ideclor — Type (initdeclorp new-ideclor).
- new-table — Type (dimb-tablep new-table).
An initializer declarator is part of a declaration.
At the end of the initializer declarator,
the declared identifier is added to the disambiguation table,
with the appropriate kind,
which comes from the preceding declaration specifiers,
and is passed to this function.
We pass nil as the fundef-params-p flag
to dimb-declor,
because an initializer declarator is not
the declarator of a defined function.