Да, компилятор почему-то не проводит проверки Спецально устанавливал маленький стек, в CALL GRAPH компилятор рассчитывает размер в несколько раз больше указанного, но мочит как партизан.
Может быть это связано с тем что рассчет делается для наихудшего случая. В моем примере (чуть ниже по ветке) для 3 не вложенных прерываний рассчитан общий размер стека как будто они могут быть вложены, хотя такого использования никогда не будет.