Re: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2016-01-08 Thread Richard Biener
On Sat, 19 Dec 2015, Yuri Gribov wrote: > On Fri, Dec 18, 2015 at 11:20 PM, Yury Gribov wrote: > > On 12/17/2015 03:51 PM, Richard Biener wrote: > >> > >> On Thu, 17 Dec 2015, Yury Gribov wrote: > >> > >>> On 12/17/2015 02:57 PM, Richard Biener wrote: > > On Thu, 17 Dec 2015, Yury Gribo

Re: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2015-12-25 Thread Yury Gribov
On 12/19/2015 01:30 AM, Yuri Gribov wrote: On Fri, Dec 18, 2015 at 11:20 PM, Yury Gribov wrote: On 12/17/2015 03:51 PM, Richard Biener wrote: On Thu, 17 Dec 2015, Yury Gribov wrote: On 12/17/2015 02:57 PM, Richard Biener wrote: On Thu, 17 Dec 2015, Yury Gribov wrote: That's an interesti

Re: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2015-12-18 Thread Yuri Gribov
On Fri, Dec 18, 2015 at 11:20 PM, Yury Gribov wrote: > On 12/17/2015 03:51 PM, Richard Biener wrote: >> >> On Thu, 17 Dec 2015, Yury Gribov wrote: >> >>> On 12/17/2015 02:57 PM, Richard Biener wrote: On Thu, 17 Dec 2015, Yury Gribov wrote: > That's an interesting one. The origin

Re: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2015-12-18 Thread Yury Gribov
On 12/17/2015 03:51 PM, Richard Biener wrote: On Thu, 17 Dec 2015, Yury Gribov wrote: On 12/17/2015 02:57 PM, Richard Biener wrote: On Thu, 17 Dec 2015, Yury Gribov wrote: That's an interesting one. The original comparison function assumes that operand_equal_p(a,b) is true iff compare_tree(a

Re: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2015-12-17 Thread Richard Biener
On Thu, 17 Dec 2015, Yury Gribov wrote: > On 12/17/2015 02:57 PM, Richard Biener wrote: > > On Thu, 17 Dec 2015, Yury Gribov wrote: > > > > > That's an interesting one. The original comparison function assumes that > > > operand_equal_p(a,b) is true iff compare_tree(a, b) == 0. > > > Unfortunatel

Re: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2015-12-17 Thread Yury Gribov
On 12/17/2015 02:57 PM, Richard Biener wrote: On Thu, 17 Dec 2015, Yury Gribov wrote: That's an interesting one. The original comparison function assumes that operand_equal_p(a,b) is true iff compare_tree(a, b) == 0. Unfortunately that's not true (functions are written by different authors). T

Re: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2015-12-17 Thread Richard Biener
On Thu, 17 Dec 2015, Yury Gribov wrote: > That's an interesting one. The original comparison function assumes that > operand_equal_p(a,b) is true iff compare_tree(a, b) == 0. > Unfortunately that's not true (functions are written by different authors). > > This causes subtle violation of transiti

[PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp

2015-12-17 Thread Yury Gribov
un, 13 Dec 2015 01:30:22 +0300 Subject: [PATCH 5/5] Fix intransitive comparison in dr_group_sort_cmp. 2012-12-17 Yury Gribov * tree-vect-data-refs.c (dr_group_sort_cmp): Make transitive. Error message: Dec 10 22:28:59 yugr-ubuntu1404 : cc1plus[23983]: qsort: comparison function is not