This is to address bug48712.
The solution in this patch is that when we want to merge two variable a into the storage frame of variable b only if the alignment of a is multiple of b.
There may be other strategies. But now I think they are hard to handle and benefit little. Or we can implement them in the future.