Well then it seems I need to update my gcc hehe. Thanks Marc and all Agustin 2014-04-24 13:42 GMT-03:00 Jeff Law <law@xxxxxxxxxx>: > On 04/24/14 10:09, Marc Glisse wrote: >>>> >>>> Anyway, I think its pretty much what I was looking for. >>> >>> Feel free to file a bug report for this one. VRP doesn't have a >>> nonzero/zero bits tracking lattice, but it's something I can see being >>> added at some point and having examples like this in the BZ database >>> is often helpful when doing that kind of optimization work. >> >> >> gcc-4.9 (CCP3) already optimizes this testcase ;-) > > Ah, wasn't aware of that. Excellent. > > jeff