Como resultado, seudonimizar hace que sea particularmente difícil comprender, analizar y optimizar los programas.
Dado que C no tiene límites, es posible verificar, indexar y direccionar fuera de la matriz.
El estándar C generalmente no especifica cómo se distribuirán los datos en la memoria.
Esto permite que ciertas estructuras de datos se modifiquen directamente con menos código.
Los optimizadores a menudo tienen que hacer suposiciones conservadoras sobre las variables cuando es posible crear seudonimizaciones.
Sin embargo, el compilador no puede usar esta información después de una asignación a otra variable (por ejemplo, en C, *y = 10 ) porque podría ser que *y sea un alias de x .
Este podría ser el caso después de una asignación como y = &x .
Otra optimización afectada por la creación de seudonimizaciones es el reordenamiento del código.
El kernel de Linux hace esto porque la seudonimización estricta causa problemas con la optimización del código en línea.