分配了alloca的内存在函数结束时或范围结束时被释放？

Question

If I have a function like this:

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

tmp gets freed at each iteration of the while loop, right?

If I write this function:

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

tmp gets freed at end of scope or at end of function?

Answer 1

It will be freed at end of function, but since you call alloca() inside the loop you'll likely get stack overflow. If size doesn't change within the function you should call alloca() before the loop.

Answer 2

alloca在堆栈上分配并且不知道作用域，所以它在离开堆栈帧后离开（=离开函数后）。

Answer 3

Memory allocated with alloca() is deallocated when the function exits. See for instance the manual page for more information.

Regarding the former case, of just an auto-variable in the scope, I'm not sure how you would define that it gets "freed". You can't reference it outside of the scope that defines it, and if it had an initializer it would get re-initialized on each iteration.