> This is important in practice because of the xalanc benchmark in SPEC > CPU2006. No, it would be important in practice for really used legacy (i.e. unfixable) code relying on this undefined behaviour. It's important for gaming the system if it occurs in SPEC. Cheers. Tim.