Apostila antiga - The Cyan Programming Language

CHAPTER 5. OTIMIZAÇÃO DE CÓDIGO 72
Isto significa que um ponteiro pode referenciar variáveis e áreas de memória de qualquer tipo.
Deste modo, uma atribuição
*p = 0;
pode, potencialmente, alterar qualquer variável, vetor ou objeto, dificultando a realização de
otimizações como eliminação de subexpressões comuns, propagação de variáveis e movimentação
de expressões constantes para fora de laços.
No exemplo
void m( int *p, int i )
{
int a = i, b, c;
if ( i > 0 ) p = &a;
c = 3*a;
*p = 5;
b = 3*a;
...
}
A subexpressão 3*a não pode ser calculada uma única vez porque o valor de a pode ser alterado
entre as atribuições “c = 3*a” e “b = 3*a”. Se o endereço de uma variável for tomado, como
em “p = &a”, deve-se admitir que o seu conteúdo pode ser modificado indiretamente. Observe
que o uso de ponteiros não impede sempre o compilador de fazer otimizações, mas torna a análise
do que é constante em um certo trecho de código muito difícil.
Se a função m fosse definida como
void m( int *p, int i )
{
int a = i, b, c;
c = 3*a;
b = 3*a;
if ( i > 0 ) p = &a;
*p = 5;
...
}
a expressão 3*a poderia ser calculada uma única vez porque as atribuições a b e c precedem, no
grafo de fluxo de execução desta função, à tomada de endereço de a.
Se houver mais de um vetor como parâmetro, como em
void q( int v[], int w[], int n )
{
int i = 0;
v[0] = 3*w[0];
a = 3*w[0];
...
}