alloca внутри составного оператора

Question

Можно ли использовать alloca внутри составной инструкции? Пример:

typedef struct 
{ 
    size_t len; 
    char* data; 
} string_t; 

#define str_to_cstr(str) \ 
({ \ 
    char* v = alloca(str.len + 1); \ 
    v[len] = 0; \ 
    memcpy(v, str.data, str.len); \ 
}) 

// ... and somewhere in deep space 
int main() 
{ 
    string_t s = {4, "test"}; 
    printf("%s\n", str_to_cstr(s)); 
    return 0; 
} 

Из моего опыта это работает хорошо, но я не уверен, что это безопасно. Кстати, он скомпилирован с GCC 4.8.4

Answer 1

Не безопасным в вашем примере здесь:

printf("%s\n", str_to_cstr(s)); 

От Glibc documentation из ALLOCA:

Не используйте ALLOCA внутри аргументов функции вызов - вы получите непредсказуемые результаты, потому что пространство стека для alloca появится в стеке в середине пространства для аргументов функции. Примером того, чего следует избегать, является foo (x, alloca (4), y).

({}) Обратите внимание, что это не Составной оператор но GNU C statement expression.