[1][2] Esta forma restringida hace que un bloque básico sea altamente susceptible de análisis.
[3] Los compiladores generalmente descomponen los programas en sus bloques básicos como primer paso en el proceso de análisis.
El código en un bloque básico tiene: En estas circunstancias, cada vez que se ejecuta la primera instrucción en un bloque básico, el resto de las instrucciones se ejecutan necesariamente exactamente una vez, en orden.
Luego, el listado simplemente se "corta" en cada uno de estos puntos, y quedan bloques básicos.
Los líderes son instrucciones que se incluyen en cualquiera de las siguientes 3 categorías: Paso 2.