# Changeset 692afbb

Ignore:
Timestamp:
Mar 14, 2018, 6:36:44 PM (4 years ago)
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, with_gc
Children:
13f5a70
Parents:
7c2a7b6
Message:

update description of fallthrough

File:
1 edited

### Legend:

Unmodified
 r7c2a7b6 \author[1]{Robert Schluntz} \author[1]{Peter A. Buhr*} \authormark{Aaron Moss \textsc{et al}} \address[1]{\orgdiv{David R. Cheriton School of Computer Science}, \orgname{University of Waterloo}, \orgaddress{\state{Ontario}, \country{Canada}}} Love it or hate it, C is extremely popular, highly used, and one of the few systems languages. In many cases, \CC is often used solely as a better C. Nonetheless, C, first standardized over thirty years ago, lacks many features that make programming in more modern languages safer and more productive. Nevertheless, C, first standardized over thirty years ago, lacks many features that make programming in more modern languages safer and more productive. \CFA (pronounced C-for-all'', and written \CFA or Cforall) is an evolutionary extension of the C programming language that aims to add modern language features to C while maintaining both source compatibility with C and a familiar programming model for programmers. \lstMakeShortInline@% \end{cquote} for a contiguous list:\footnote{gcc has the same mechanism but awkward syntax, \lstinline@2 ...42@, because a space is required after a number, otherwise the period is a decimal point.} for a contiguous list:\footnote{gcc has the same mechanism but awkward syntax, \lstinline@2 ...42@, as a space is required after a number, otherwise the first period is a decimal point.} \begin{cquote} \lstDeleteShortInline@% Finally, Figure~\ref{f:FallthroughStatement} shows @fallthrough@ may appear in contexts other than terminating a @case@ clause, and have an explicit transfer label allowing separate cases but common final-code for a set of cases. The target label must be below the @fallthrough@, \ie @fallthrough@ cannot form a loop, and the label may not be nested in a control structure, \ie it must be at the same level as the @case@ clauses; the target label may be case @default@. The target label must be below the @fallthrough@ and may not be nested in a control structure, \ie @fallthrough@ cannot form a loop, and the target label must be at the same or higher level as the containing @case@ clause and located at the same level as a @case@ clause; the target label may be case @default@, but only associated with the current @switch@/@choose@ statement. \begin{figure} \label{f:FallthroughStatement} \end{figure} Collectively, these control-structure enhancements reduce programmer burden and increase readability and safety. } \end{cfa} Collectively, these control-structure enhancements reduce programmer burden and increase readability and safety.