Diapositiva PPT
2.3. Un ejemplo con el TDA conjunto.
- Un compilador realiza un análisis de flujo, sobre un diagrama de flujo, para realizar optimizaciones y buscar posibles errores en el código.
- Un programa es dividido en bloques Bi, dentro de los cuales la ejecución es secuencial.
- Queremos saber, dentro de cada bloque, el último lugar donde una variable pudo haber recibido un valor nuevo (instrucción de asignación).
- Ej.: Si en un bloque se usa una variable x que no ha sido inicializada en ninguna instrucción, entonces el programa puede tener un error al usar un valor indefinido.
- Ej.: Si se usa una variable x, definida con una instrucción de asignación constante (p.ej. x:= 10), entonces se puede sustituir la referencia a la variable por un valor constante (para optimizar el programa).