Re: [PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-09 Thread Richard Biener
On Wed, Nov 8, 2017 at 1:25 PM, Bin.Cheng wrote: > On Wed, Nov 8, 2017 at 11:55 AM, Richard Biener > wrote: >> On Tue, Nov 7, 2017 at 1:44 PM, Bin.Cheng wrote: >>> On Tue, Nov 7, 2017 at 12:23 PM, Richard Biener >>> wrote: On Tue, Nov 7, 2017 at 1:17 PM, Bin.Cheng wrote: > On Tue, Nov

Re: [PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-08 Thread Bin.Cheng
On Wed, Nov 8, 2017 at 11:55 AM, Richard Biener wrote: > On Tue, Nov 7, 2017 at 1:44 PM, Bin.Cheng wrote: >> On Tue, Nov 7, 2017 at 12:23 PM, Richard Biener >> wrote: >>> On Tue, Nov 7, 2017 at 1:17 PM, Bin.Cheng wrote: On Tue, Nov 7, 2017 at 10:44 AM, Richard Biener wrote: > On

Re: [PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-08 Thread Richard Biener
On Tue, Nov 7, 2017 at 1:44 PM, Bin.Cheng wrote: > On Tue, Nov 7, 2017 at 12:23 PM, Richard Biener > wrote: >> On Tue, Nov 7, 2017 at 1:17 PM, Bin.Cheng wrote: >>> On Tue, Nov 7, 2017 at 10:44 AM, Richard Biener >>> wrote: On Fri, Nov 3, 2017 at 1:35 PM, Bin Cheng wrote: > Hi, > T

Re: [PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-07 Thread Bin.Cheng
On Tue, Nov 7, 2017 at 12:23 PM, Richard Biener wrote: > On Tue, Nov 7, 2017 at 1:17 PM, Bin.Cheng wrote: >> On Tue, Nov 7, 2017 at 10:44 AM, Richard Biener >> wrote: >>> On Fri, Nov 3, 2017 at 1:35 PM, Bin Cheng wrote: Hi, This is a simple patch exploiting more undefined pointer over

Re: [PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-07 Thread Richard Biener
On Tue, Nov 7, 2017 at 1:17 PM, Bin.Cheng wrote: > On Tue, Nov 7, 2017 at 10:44 AM, Richard Biener > wrote: >> On Fri, Nov 3, 2017 at 1:35 PM, Bin Cheng wrote: >>> Hi, >>> This is a simple patch exploiting more undefined pointer overflow behavior >>> in >>> loop niter analysis. Originally, it

Re: [PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-07 Thread Bin.Cheng
On Tue, Nov 7, 2017 at 10:44 AM, Richard Biener wrote: > On Fri, Nov 3, 2017 at 1:35 PM, Bin Cheng wrote: >> Hi, >> This is a simple patch exploiting more undefined pointer overflow behavior in >> loop niter analysis. Originally, it only supports POINTER_PLUS_EXPR if the >> offset part is IV. T

Re: [PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-07 Thread Richard Biener
On Fri, Nov 3, 2017 at 1:35 PM, Bin Cheng wrote: > Hi, > This is a simple patch exploiting more undefined pointer overflow behavior in > loop niter analysis. Originally, it only supports POINTER_PLUS_EXPR if the > offset part is IV. This patch also handles the case if pointer is IV. With > this

[PATCH PR82776]Exploit more undefined pointer overflow behavior in loop niter analysis

2017-11-03 Thread Bin Cheng
Hi, This is a simple patch exploiting more undefined pointer overflow behavior in loop niter analysis. Originally, it only supports POINTER_PLUS_EXPR if the offset part is IV. This patch also handles the case if pointer is IV. With this patch, the while(true) loop in test can be removed by cddce