Здравствуйте, wobist, Вы писали:

W>Если под лок. переменные (POD) не хватает памяти функция генерит bad_alloc?
W>void function(void) {int A[10000]; return;}

W>Тогда и функция void function(void) {int a; return;} не может быть объявлена как не генерирующая throw()?

АФАИК, в С++ нет понятия "стек", соотв. нет понятия "не хватает стека", соотв. поведение полностью зависит от реализации.