\begin{slide}{Aliasing}
\dots erschwert Programmanalyse
(für Menschen und optimierende Compiler)


\begin{verbatim}
f.c:
void f (int * p) {
  *p = 9;
}
------------------
g.c:  
void f (int * p);
void g () {
  int x = 8;
  int *p = &x;
  f (p);
  printf ("%d\n", x);
}
\end{verbatim}
Übung: was wird besser durch \verb|const|? Wo?

\end{slide}
