スタック・ポインタには，4の倍数のアドレスが設定されます。

スタック・ポインタが指すアドレスは，4の倍数ですが，スタックに格納するデータをすべて 4バイト境界に整合する必要があるわけではありません。各データのアライメントに応じて，スタック内に格納される位置が決まります。たとえば，char型データであれば，データのアライメント数は1なので，スタック内でも1バイト境界に配置できます。