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

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