Report error if static-analysed stack is too small