Changeset 6171841


Ignore:
Timestamp:
Mar 12, 2018, 9:18:20 AM (6 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
0f9e6b20, 68f9c43, 8573729
Parents:
53dece1
Message:

additional corrections

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/papers/general/Paper.tex

    r53dece1 r6171841  
    10091009\begin{cquote}
    10101010\lstDeleteShortInline@%
    1011 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{}}
    1012 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c}{\textbf{C}}        \\
     1011\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{}}
     1012\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c}{\textbf{C}}        \\
    10131013\begin{cfa}
    10141014case 2, 10, 34, 42:
     
    10241024\begin{cquote}
    10251025\lstDeleteShortInline@%
    1026 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{}}
    1027 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c}{\textbf{C}}        \\
     1026\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{}}
     1027\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c}{\textbf{C}}        \\
    10281028\begin{cfa}
    10291029case 2~42:
     
    10411041\end{cfa}
    10421042
    1043 C allows placement of @case@ clauses \emph{within} statements nested in the @switch@ body (see Duff's device~\cite{Duff83});
     1043C allows placement of @case@ clauses \emph{within} statements nested in the @switch@ body (called Duff's device~\cite{Duff83});
    10441044\begin{cfa}
    10451045switch ( i ) {
     
    10521052}
    10531053\end{cfa}
    1054 \CFA precludes this form of transfer into a control structure because it causes undefined behaviour, especially with respect to missed initialization, and provides very limited functionality.
     1054\CFA precludes this form of transfer \emph{into} a control structure because it causes undefined behaviour, especially with respect to missed initialization, and provides very limited functionality.
    10551055
    10561056C allows placement of declaration within the @switch@ body and unreachable code at the start, resulting in undefined behaviour:
     
    15681568\begin{cquote}
    15691569\lstDeleteShortInline@%
    1570 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{\hspace{\parindentlnth}}l@{}}
    1571 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c}{\textbf{C}}        \\
     1570\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{\hspace{2\parindentlnth}}l@{}}
     1571\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c}{\textbf{C}}        \\
    15721572\begin{cfa}
    15731573`[5] *` int x1;
     
    15961596\begin{cquote}
    15971597\lstDeleteShortInline@%
    1598 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{}}
    1599 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c}{\textbf{C}}        \\
     1598\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{}}
     1599\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c}{\textbf{C}}        \\
    16001600\begin{cfa}
    16011601`*` int x, y;
     
    16161616\begin{cquote}
    16171617\lstDeleteShortInline@%
    1618 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{\hspace{\parindentlnth}}l@{}}
    1619 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{C}}      \\
     1618\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{\hspace{2\parindentlnth}}l@{}}
     1619\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{C}}     \\
    16201620\begin{cfa}
    16211621[ 5 ] int z;
     
    16581658\begin{cquote}
    16591659\lstDeleteShortInline@%
    1660 \begin{tabular}{@{}l@{\hspace{1em}}l@{\hspace{1em}}l@{}}
    1661 \multicolumn{1}{c@{\hspace{1em}}}{\textbf{\CFA}}        & \multicolumn{1}{c@{\hspace{1em}}}{\textbf{C}} \\
     1660\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{\hspace{2\parindentlnth}}l@{}}
     1661\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{C}}     \\
    16621662\begin{cfa}
    16631663extern const * const int x;
     
    16831683\begin{cquote}
    16841684\lstDeleteShortInline@%
    1685 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{}}
    1686 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c}{\textbf{C}}        \\
     1685\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{}}
     1686\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c}{\textbf{C}}        \\
    16871687\begin{cfa}
    16881688y = (* int)x;
     
    17111711\begin{cquote}
    17121712\lstDeleteShortInline@%
    1713 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{}}
    1714 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c}{\textbf{C}}        \\
     1713\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{}}
     1714\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c}{\textbf{C}}        \\
    17151715\begin{cfa}
    17161716[double] foo(), foo( int ), foo( double ) {...}
     
    20382038\begin{cquote}
    20392039\lstDeleteShortInline@%
    2040 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{\hspace{\parindentlnth}}l@{}}
     2040\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{\hspace{2\parindentlnth}}l@{}}
    20412041\begin{cfa}
    2042204220_`hh`     // signed char
     
    24302430\begin{cquote}
    24312431\lstDeleteShortInline@%
    2432 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}l@{}}
    2433 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{c}{\textbf{\CC}}      \\
     2432\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}l@{}}
     2433\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{c}{\textbf{\CC}}      \\
    24342434\begin{cfa}
    24352435int x = 1, y = 2, z = 3;
     
    25192519\centering
    25202520\lstDeleteShortInline@%
    2521 \begin{tabular}{@{}l@{\hspace{\parindentlnth}}@{\hspace{\parindentlnth}}l@{}}
    2522 \multicolumn{1}{c@{\hspace{\parindentlnth}}}{\textbf{\CFA}}     & \multicolumn{1}{@{\hspace{\parindentlnth}}c}{\textbf{C}}      \\
     2521\begin{tabular}{@{}l@{\hspace{2\parindentlnth}}@{\hspace{2\parindentlnth}}l@{}}
     2522\multicolumn{1}{c@{\hspace{2\parindentlnth}}}{\textbf{\CFA}}    & \multicolumn{1}{@{\hspace{2\parindentlnth}}c}{\textbf{C}}     \\
    25232523\begin{cfa}
    25242524#include <gmp>
Note: See TracChangeset for help on using the changeset viewer.