src/c-types-impl.lisp, src/c-types-parse.lisp: Support C11 `_Alignas'.

[sod] / doc / syntax.tex

diff --git a/doc/syntax.tex b/doc/syntax.tex
index 560dc47334a417ece602f842aff8f147a623384b..b8ae7977792376c4751e0ef297901076e734b124 100644 (file)
--- a/doc/syntax.tex
+++ b/doc/syntax.tex
@@ -451,6 +451,7 @@ recognized.
 \alt "bool" | "_Bool"
 \alt "imaginary" | "_Imaginary" | "complex" | "_Complex"
 \alt <qualifier>
 \alt "bool" | "_Bool"
 \alt "imaginary" | "_Imaginary" | "complex" | "_Complex"
 \alt <qualifier>

+\alt <storage-specifier>

 \alt <atomic-type>
 
 <qualifier> ::= <atomic> | "const" | "volatile" | "restrict"
 \alt <atomic-type>
 
 <qualifier> ::= <atomic> | "const" | "volatile" | "restrict"


@@ -460,6 +461,10 @@ recognized.
 
 <atomic> ::= "atomic" | "_Atomic"
 
 
 <atomic> ::= "atomic" | "_Atomic"
 

+<storage-specifier> ::= <alignas> "(" <c-fragment> ")"
+
+<alignas> ::= "alignas" "_Alignas"
+

 <type-name> ::= <identifier>
 \end{grammar}
 
 <type-name> ::= <identifier>
 \end{grammar}
 


@@ -475,7 +480,8 @@ defined in the built-in module.
 
 Declaration specifiers may appear in any order.  However, not all
 combinations are permitted.  A declaration specifier must consist of zero or
 
 Declaration specifiers may appear in any order.  However, not all
 combinations are permitted.  A declaration specifier must consist of zero or

-more @<qualifier>s, and one of the following, up to reordering.
+more @<qualifier>s, zero or more @<storage-specifier>s, and one of the
+following, up to reordering.

 \begin{itemize}
 \item @<type-name>
 \item @<atomic-type>
 \begin{itemize}
 \item @<type-name>
 \item @<atomic-type>