From e11a17b40805b93e1e2ae80129c9d235b6d6119b Mon Sep 17 00:00:00 2001 From: Dale Weiler Date: Mon, 4 Feb 2013 02:48:36 -0500 Subject: [PATCH] Update doc/specification.tex --- doc/specification.tex | 33 ++++++++++++++++++++++++++++----- 1 file changed, 28 insertions(+), 5 deletions(-) diff --git a/doc/specification.tex b/doc/specification.tex index 46c6440..0c41619 100644 --- a/doc/specification.tex +++ b/doc/specification.tex @@ -278,7 +278,7 @@ An enumeration comprises a set of named integer constant values. Each enumerati \subsubsection*{s-char} \begin{tabular} { l } - any member of the source character set except the double-quote, backslash, or new-line character \\ + any member of the source character set except double-quote, backslash, or new-line characters \\ escape-sequence \\ \end{tabular} @@ -333,15 +333,38 @@ a = b/**//c; // same as a = b / c; TODO \section{Constant Expressions} -TODO +\subsection{Description} +A constant expression can be evaluated during translation rather than runtime, and accordingly can be used in any place that a constant may be. +\subsection{Constraints} +Constant expressions shall not contain assignment, increment, decrement, function-call, or comma operators, except when they're contained within a subexpression that is not evaluated. + +Each constant expression shall evaluate to a constant that is in the range of representable values for it's designated type. +\subsection{Semantics} +An expression that evaluates to a constant is required in several contexts. If a floating expression is evaluated in the translation environment, the arithmetic precision and range shall be at least as great as if they expression were being evaluated in the execution environment. + +An integer constant expression shall have integral type, and shall only have operands that are integer constants, enumeration constants, character constants, and floating constants that are the immediate operands of casts. +The semantic rules for the evaluation of a constant expression are the same as for nonconstant expressions. + +An implementation may accept other forms of constant expressions \section{Declarations} -TODO +\subsection{Constraints} +All declarations shall declare at least a declarator (other than the parameters of a function), a tag, or members of an enumeration. + +All declarations in the same scope that refer to the same object or function shall specify compatible types. +\subsection{Semantics} +A declaration specifies the interpretation and attributes of a set of identifiers. A definition of an identifier is a declaration for that identifier that: +\begin{enumerate} + \item for an object, causes storage to be reversed for that object; + \item for a function, includes the function body; + \item for an enumeration constant or typedef name, is the (only) declaration of the identifier. +\end{enumerate} + \section{Statement and blocks} -TODO +A statement specifies a specific action to be preformed. Execpt as indicated, statements are executed in sequence. \section{Preprocessing directives} TODO -\end{document} \ No newline at end of file +\end{document} -- 2.39.2