Looking at 855d0985 it looks like a bit was missing. The padding variable is used further down by the KMP_ALLOCA() function.