Re: [PATCH] Handle POINTER_DIFF_EXPR in chkp

2017-12-01 Thread Richard Biener
On December 2, 2017 1:14:03 AM GMT+01:00, Jakub Jelinek wrote: >Hi! > >The following testcase shows that chkp_compute_bounds_for_assignment >should know about POINTER_DIFF_EXPR and handle it like it used >to handle MINUS_EXPR of 2 pointers in the past. > >Bootstrapped/regtested on x86_64-linux an

[PATCH] Handle POINTER_DIFF_EXPR in chkp

2017-12-01 Thread Jakub Jelinek
Hi! The following testcase shows that chkp_compute_bounds_for_assignment should know about POINTER_DIFF_EXPR and handle it like it used to handle MINUS_EXPR of 2 pointers in the past. Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? 2017-12-01 Jakub Jelinek * tree