Parse-specifier-qualifier-list
Parse a list of one or more specifiers and qualifiers.
- Signature
(parse-specifier-qualifier-list tyspec-seenp parstate)
→
(mv erp specquals span new-parstate)
- Arguments
- tyspec-seenp — Guard (booleanp tyspec-seenp).
- parstate — Guard (parstatep parstate).
- Returns
- specquals — Type (spec/qual-listp specquals).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).
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.