Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-24 Thread Ilya Enkovich
2014-09-23 23:55 GMT+04:00 Jeff Law l...@redhat.com: On 08/18/14 09:35, Ilya Enkovich wrote: Here is an updated version. Thanks, Ilya -- 2014-08-15 Ilya Enkovich ilya.enkov...@intel.com * ipa-inline.c (early_inliner): Check edge has summary allocated. * tree-inline.c:

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-24 Thread Jeff Law
On 09/24/14 01:28, Ilya Enkovich wrote: I'm a bit curious why you removed the original RETBND statement in value-prof, only to reinsert it. Is there some reason you needed to do that? After call transformation we have smth like that: if (confition) new_lhs = direct_call (...); else

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-23 Thread Jeff Law
On 08/18/14 09:35, Ilya Enkovich wrote: Here is an updated version. Thanks, Ilya -- 2014-08-15 Ilya Enkovich ilya.enkov...@intel.com * ipa-inline.c (early_inliner): Check edge has summary allocated. * tree-inline.c: Include tree-chkp.h. (declare_return_variable): Add

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-15 Thread Ilya Enkovich
Ping 2014-08-18 19:35 GMT+04:00 Ilya Enkovich enkovich@gmail.com: On 06 Jun 11:59, Ilya Enkovich wrote: 2014-06-03 13:07 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich enkovich@gmail.com wrote: + + /* If indirect call has

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-08-18 Thread Ilya Enkovich
On 06 Jun 11:59, Ilya Enkovich wrote: 2014-06-03 13:07 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich enkovich@gmail.com wrote: + + /* If indirect call has following BUILT_IN_CHKP_BNDRET +call then we need to make

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-06-06 Thread Ilya Enkovich
2014-06-03 13:07 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch adds support for inlining instrumented calls. Changes are mostly to support returned bounds. Also generated mem-to-mem

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-06-03 Thread Richard Biener
On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch adds support for inlining instrumented calls. Changes are mostly to support returned bounds. Also generated mem-to-mem assignments are registered to be later instrumented with appropriate bounds

[PATCH, Pointer Bounds Checker 22/x] Inline

2014-06-02 Thread Ilya Enkovich
Hi, This patch adds support for inlining instrumented calls. Changes are mostly to support returned bounds. Also generated mem-to-mem assignments are registered to be later instrumented with appropriate bounds copy. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-02