On Thu, Oct 15 2020, Martin Liška wrote:
> Hello.
>
> As mentioned in the PR, since 74ca1c01d02e548f32aa26f9a887dcc0730703fb we
> wrongly
> merge a pair of VRP ranges with a different TREE_TYPE (in the PR one is char
> and second
> one is short). Then we merge 2 ranges and make an anti-range and
On October 15, 2020 5:04:11 PM GMT+02:00, "Martin Liška" wrote:
>Hello.
>
>As mentioned in the PR, since 74ca1c01d02e548f32aa26f9a887dcc0730703fb
>we wrongly
>merge a pair of VRP ranges with a different TREE_TYPE (in the PR one is
>char and second
>one is short). Then we merge 2 ranges and make an