		Search-engine friendly clone of the ACL2 documentation.

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. The declared identifier is added to the disambiguation table, with the appropriate kind, after the declarator and before disambiguation of the initializer [C17:6.2.1/7]. The kind comes from the preceding declaration specifiers, and is passed to this function.

We pass nil as the fundefp flag to dimb-declor, because an initializer declarator is not the declarator of a defined function.