On Sat, Jul 15, 2017 at 10:01 PM, Alexander Monakov <amona...@ispras.ru> wrote: > On Fri, 14 Jul 2017, Yuri Gribov wrote: >> I've also detect transitiveness violation compare_assert_loc >> (tree-vrp.c), will send fix once tests are done. > > There are more issues still, see the thread starting at > https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00899.html
Nice! I've also reproduced some of these bugs (tree-vrp.c and gimple-ssa-store-merging.c). But these are transitiveness errors whereas this thread is mainly about unstable sorts so I didn't report them here. -Y
