[tcb] Fix various aliasing and verification problems

[Diego Novillo]

Devang Patel wrote:

> I get the same ICE (after verify_ssa failure) with and without this patch.
> 
OK.  Probably unrelated then.


Thanks.  Diego.