I needed to cover both types of padding to be complete. So I mentioned both types. For structure and union fields padding/alignment, the implementation must do

I needed to cover both types of padding to be complete. So I mentioned both types. For structure and union fields padding/alignment, the implementation must document that padding/alignment somewhere. So you would be able to look it up from the manual ahead of time. It's not undefined behavior.