If an empty struct is passed as a function argument, the caller function passes 0 in a register but the called function ignores the argument. This results in the subsequent argument being allocated to a different register than the one the caller used. Now, both caller and callee functions ignore zero-sized struct arguments.