Parse-static-assert-declaration
Parse a static assert declaration.
- Signature
(parse-static-assert-declaration first-span parstate)
→
(mv erp statassert span new-parstate)
- Arguments
- first-span — Guard (spanp first-span).
- parstate — Guard (parstatep parstate).
- Returns
- statassert — Type (statassertp statassert).
- span — Type (spanp span).
- new-parstate — Type (parstatep new-parstate), given (parstatep parstate).
This is called when we expect a static assert declaration,
after having read the _Static_assert keyword.
We pass the span of that keyword to this function,
so that we can calculate a span for
the whole static assert declaration.
We read the remaining components of the grammar rule,
one after the other.
There are no alternatives.