On 07/28/2015 04:40 PM, Paulo Matos wrote: > The block skips the test for ((unsigned int) xx << 1 == 0 && yy == -1), should we skip it if they're both zero as well? Yes. It's undefined behaviour. If we don't want to invoke nasal daemons we shouldn't do this. Andrew.