¿La memoria asignada con alloca se libera al final de la función o al final del alcance?

Question

Si tengo una función como esta:

void bla(int size) { 
    while(b){ 
     char tmp[size]; 
     ...... 
    } 
} 

tmp se liberó en cada iteración del bucle while, ¿verdad?

Si escribo esta función:

void bla(int size) { 
    while(b){ 
     char* tmp = alloca(size); 
     ...... 
    } 
} 

tmp se liberó al final del alcance o al final de la función?

Answer 1

Se liberará al final de la función, pero como llama al alloca() dentro del bucle, es probable que se desborde la pila. Si size no cambia dentro de la función, debe llamar al alloca() antes del ciclo.

Answer 2

alloca asigna en la pila y no tiene conocimiento sobre los ámbitos, por lo que se libera después de salir del marco de pila (= después de abandonar la función).

Answer 3

La memoria asignada con alloca() se desasigna cuando la función finaliza. Ver por ejemplo el manual page para más información.

En cuanto al primer caso, de solo una autovariable en el alcance, no estoy seguro de cómo definiría que se "libera". No se puede referenciar fuera del alcance que lo define, y si tuviera un inicializador, se reinicializaría en cada iteración.