Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-11-05 Thread Eric Botcazou
> IMHO it does. That or introducing a new store_expr_with_bounds (with the > new argument) and letting store_expr be a wrapper for that, passing the > NULL. Basically anything that avoids adding a new parameter for most of > the existing calls to store_expr. That looks so C-ish though... Can't

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-10-03 Thread Jeff Law
On 10/02/14 08:03, Ilya Enkovich wrote: Here is an updated version. Thanks, Ilya -- 2014-10-02 Ilya Enkovich * calls.c: Include tree-chkp.h, rtl-chkp.h, bitmap.h. (arg_data): Add fields special_slot, pointer_arg and pointer_offset. (store_bounds): New.

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-10-02 Thread Ilya Enkovich
On 24 Sep 12:29, Ilya Enkovich wrote: > 2014-09-24 0:58 GMT+04:00 Jeff Law : > > On 06/05/14 08:46, Ilya Enkovich wrote: > >> > >> 2014-06-05 Ilya Enkovich > >> > >> * calls.c: Include tree-chkp.h, rtl-chkp.h, bitmap.h. > >> (arg_data): Add fields special_slot, pointer_arg and >

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-09-24 Thread Ilya Enkovich
2014-09-24 0:58 GMT+04:00 Jeff Law : > On 06/05/14 08:46, Ilya Enkovich wrote: >> >> 2014-06-05 Ilya Enkovich >> >> * calls.c: Include tree-chkp.h, rtl-chkp.h, bitmap.h. >> (arg_data): Add fields special_slot, pointer_arg and >> pointer_offset. >> (store_bounds):

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-09-23 Thread Jeff Law
On 06/05/14 08:46, Ilya Enkovich wrote: 2014-06-05 Ilya Enkovich * calls.c: Include tree-chkp.h, rtl-chkp.h, bitmap.h. (arg_data): Add fields special_slot, pointer_arg and pointer_offset. (store_bounds): New. (emit_call_1): Propagate instrumentation fla

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-05 18:46 GMT+04:00 Ilya Enkovich : > On 04 Jun 16:36, Michael Matz wrote: >> Hi, >> >> On Mon, 2 Jun 2014, Ilya Enkovich wrote: >> >> > > There is exactly one place (except for the self-recursive ones) where >> > > you call the new store_expr with a non-null argument for bounds >> > >

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-06-05 Thread Ilya Enkovich
On 04 Jun 16:36, Michael Matz wrote: > Hi, > > On Mon, 2 Jun 2014, Ilya Enkovich wrote: > > > > There is exactly one place (except for the self-recursive ones) where > > > you call the new store_expr with a non-null argument for bounds > > > target, and it seems to be only necessary for when so

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-06-04 Thread Michael Matz
Hi, On Mon, 2 Jun 2014, Ilya Enkovich wrote: > > There is exactly one place (except for the self-recursive ones) where > > you call the new store_expr with a non-null argument for bounds > > target, and it seems to be only necessary for when some sub-expression > > of the RHS is a call. Can y

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-06-02 Thread Ilya Enkovich
2014-06-02 19:28 GMT+04:00 Michael Matz : > Hi, > > On Mon, 2 Jun 2014, Ilya Enkovich wrote: > >> This patch adds support for input bounds, call bounds args and returned >> bounds in expand pass. >> >> * expr.h (store_expr): Add param for bounds target. > > There is exactly one place (except

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-06-02 Thread Michael Matz
Hi, On Mon, 2 Jun 2014, Ilya Enkovich wrote: > This patch adds support for input bounds, call bounds args and returned > bounds in expand pass. > > * expr.h (store_expr): Add param for bounds target. There is exactly one place (except for the self-recursive ones) where you call the new

[PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-06-02 Thread Ilya Enkovich
Hi, This patch adds support for input bounds, call bounds args and returned bounds in expand pass. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-02 Ilya Enkovich * calls.c: Include tree-chkp.h, rtl-chkp.h. (arg_data): Add fields special_slot, pointer