|
|
@@ -10504,7 +10504,8 @@ The output language of \code{explicate\_control} is \LangCLoop{}
|
|
|
(Figure~\ref{fig:c7-syntax}), which is nearly identical to
|
|
|
\LangCIf{}. The only syntactic difference is that
|
|
|
\code{read} may also appear as a statement. The most significant
|
|
|
-difference between programs in \LangCIf{} and programs in \LangCLoop{}
|
|
|
+difference between programs in \LangCIf{} and programs in \LangCLoop{},
|
|
|
+generated by the passes of the compiler,
|
|
|
is that the control-flow graphs of the later may contain cycles.
|
|
|
|
|
|
\begin{figure}[tp]
|
Konstantin Romanov