On 2/28/2013 2:16 PM, Timon Gehr wrote: > // expression simplification > // (eg. trivial peephole for x!=a && x==b case sufficient) Hmm, I hadn't thought of that. Some checking shows that VC and DMC do not do it, gcc and clang do.