Parse-specifier-qualifier-list
Parse a list of one or more specifiers and qualifiers.
- Signature
(parse-specifier-qualifier-list tyspec-seenp pstate)
→
(mv erp specquals span new-pstate)
- Arguments
- tyspec-seenp — Guard (booleanp tyspec-seenp).
- pstate — Guard (parstatep pstate).
- Returns
- specquals — Type (spec/qual-listp specquals).
- span — Type (spanp span).
- new-pstate — Type (parstatep new-pstate).
The tyspec-seenp flag has the same purpose
as in parse-declaration-specifiers:
see that function's documentation.
Lists of specifiers and qualifiers have the same restrictions
as lists of declaration specifiers with respect to
type specifiers, which we use to resolve identifier ambiguities.