Hi Dorit, What shall we do with gcc.dg/vect/vect-11.c? After I fixed PR tree-optimization/25125, gcc.dg/vect/vect-11.c started failing on some targets but not on x86_pc-linux-gnu. If we XFAIL it, we would get XPASS on x86_pc-linux-gnu. I am pretty sure that adding -fwrapv will fix the problem, but that means we are changing the test case. Shall we add something like gcc.dg/vect/fwrapv-vect-11.c, remove vect-11.c, and file a missed optimization PR for vect-11.c?
Any thoughts? Kazu Hirata
