Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-12-09 Thread Jeff Law
On 12/09/14 01:27, Ilya Enkovich wrote: 2014-12-09 Ilya Enkovich * config/i386/linux-common.h (LIBMPX_WRAPPERSSPEC): New. (CHKP_SPEC): Add wrappers library. * c-family/c.opt (static-libmpxwrappers): New. libmpx/ 2014-12-09 Ilya Enkovich * Makefile.am (SU

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-12-09 Thread Ilya Enkovich
On 05 Dec 15:52, Jeff Law wrote: > On 12/03/14 07:28, Ilya Enkovich wrote: > >>> #ifndef MPX_SPEC > >>> #define MPX_SPEC "\ > >>>-%{!nostdlib:%{!nodefaultlibs:" LIBMPX_SPEC "}}" > >>>+%{!nostdlib:%{!nodefaultlibs:" LIBMPX_SPEC LIBMPXWRAPPERS_SPEC "}}" > >>> #endif > >> > >>Ugh. Somehow I mis

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-12-05 Thread Jeff Law
On 12/03/14 07:28, Ilya Enkovich wrote: #ifndef MPX_SPEC #define MPX_SPEC "\ -%{!nostdlib:%{!nodefaultlibs:" LIBMPX_SPEC "}}" +%{!nostdlib:%{!nodefaultlibs:" LIBMPX_SPEC LIBMPXWRAPPERS_SPEC "}}" #endif Ugh. Somehow I missed that MPX_SPEC was in gcc.c along with the uses of LIBMPX_SPEC

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-12-03 Thread Jeff Law
On 12/01/14 16:45, Joseph Myers wrote: On Mon, 1 Dec 2014, Jeff Law wrote: diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt index 8f5d76c..283c632 100644 --- a/gcc/c-family/c.opt +++ b/gcc/c-family/c.opt @@ -1043,6 +1043,9 @@ Instrument only functions marked with bnd_instrument attribute.

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-12-03 Thread Ilya Enkovich
2014-12-02 0:16 GMT+03:00 Jeff Law : > On 11/24/14 07:06, Ilya Enkovich wrote: >>> >>> Normally GCC target libraries assigned to the FSF would use GPL+exception >>> rather than LGPL (especially if the library might be linked in >>> statically), to keep predictable what requirements are imposed by l

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-12-01 Thread Joseph Myers
On Mon, 1 Dec 2014, Jeff Law wrote: > > diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt > > index 8f5d76c..283c632 100644 > > --- a/gcc/c-family/c.opt > > +++ b/gcc/c-family/c.opt > > @@ -1043,6 +1043,9 @@ Instrument only functions marked with bnd_instrument > > attribute. > > static-libmpx

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-12-01 Thread Jeff Law
On 11/24/14 07:06, Ilya Enkovich wrote: Normally GCC target libraries assigned to the FSF would use GPL+exception rather than LGPL (especially if the library might be linked in statically), to keep predictable what requirements are imposed by linking your program with GCC. libquadmath is an exce

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-24 Thread Ilya Enkovich
On 21 Nov 23:32, Joseph Myers wrote: > On Fri, 21 Nov 2014, Ilya Enkovich wrote: > > > * c-family/c.opt (static-libmpxwrappers): New. > > New options need documenting in invoke.texi. This includes driver > options. > I'll include it into patch with all checker options documented bacause of

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-21 Thread Joseph Myers
On Fri, 21 Nov 2014, Ilya Enkovich wrote: > * c-family/c.opt (static-libmpxwrappers): New. New options need documenting in invoke.texi. This includes driver options. > diff --git a/libmpx/mpxwrap/mpx_wrappers.c b/libmpx/mpxwrap/mpx_wrappers.c > new file mode 100644 > index 000..bcff8

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-21 Thread Ilya Enkovich
On 18 Nov 14:15, Jeff Law wrote: > On 11/18/14 09:48, Ilya Enkovich wrote: > >On 15 Nov 00:10, Jeff Law wrote: > >>On 11/14/14 10:26, Ilya Enkovich wrote: > >>>Hi, > >>> > >>>This patch introduces a simple library with several wrappers to be used > >>>with MPX and Pointer Bounds Checker. Wrappers

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-18 Thread Jeff Law
On 11/18/14 09:48, Ilya Enkovich wrote: On 15 Nov 00:10, Jeff Law wrote: On 11/14/14 10:26, Ilya Enkovich wrote: Hi, This patch introduces a simple library with several wrappers to be used with MPX and Pointer Bounds Checker. Wrappers allow to obtain, copy and just keep alive bounds whrough

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-18 Thread Ilya Enkovich
On 15 Nov 00:10, Jeff Law wrote: > On 11/14/14 10:26, Ilya Enkovich wrote: > >Hi, > > > >This patch introduces a simple library with several wrappers to be used with > >MPX and Pointer Bounds Checker. Wrappers allow to obtain, copy and just > >keep alive bounds whrough widely use library calls.

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-14 Thread Jeff Law
On 11/14/14 10:26, Ilya Enkovich wrote: Hi, This patch introduces a simple library with several wrappers to be used with MPX and Pointer Bounds Checker. Wrappers allow to obtain, copy and just keep alive bounds whrough widely use library calls. It significantly increases checking quality.

Re: [PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-14 Thread Joseph Myers
On Fri, 14 Nov 2014, Ilya Enkovich wrote: > Hi, > > This patch introduces a simple library with several wrappers to be used > with MPX and Pointer Bounds Checker. Wrappers allow to obtain, copy and > just keep alive bounds whrough widely use library calls. It > significantly increases checki

[PATCH, MPX wrappers 1/3] Add MPX wrappers library

2014-11-14 Thread Ilya Enkovich
Hi, This patch introduces a simple library with several wrappers to be used with MPX and Pointer Bounds Checker. Wrappers allow to obtain, copy and just keep alive bounds whrough widely use library calls. It significantly increases checking quality. Thanks, Ilya -- gcc/ 2014-11-14 Ilya En