This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Jeff Law <law at redhat dot com>, Ilya Enkovich <enkovich dot gnu at gmail dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 8 Nov 2013 11:07:47 +0100
- Subject: Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification
- Authentication-results: sourceware.org; auth=none
- References: <20131031092436 dot GF54327 at msticlxl57 dot ims dot intel dot com> <CAFiYyc0uNbo8xPRQYy6mt+tAe0qH8VZs0=FcGSH2cPr+EmYw0w at mail dot gmail dot com> <CAMbmDYZv=OKdqq0nzpmRw4nCWGJd=d1cYLgZVVBBNoFTCwc_0Q at mail dot gmail dot com> <20131107115019 dot GJ54327 at msticlxl57 dot ims dot intel dot com> <527BE22A dot 8060404 at redhat dot com> <CAFiYyc3Jra0d4XAm=CWLW8ysU7VkLUr6-ZYVAfSM_ObqVFKosg at mail dot gmail dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Fri, Nov 08, 2013 at 10:43:26AM +0100, Richard Biener wrote:
> >> Here is an updated patch version.
> >
> > I think this needs to hold until we have a consensus on what the parameter
> > passing looks like for bounded pointers.
>
> I still think the best thing to do on GIMPLE is
>
> arg_2 = __builtin_ia32_bnd_arg (arg_1(D));
> foo (arg_2);
Well, in that case it would likely have to be an internal builtin fn,
because it needs to be a pass through for random argument types, so
return long for long argument, or double for double argument, etc.
Or is that only done for pointer arguments? Then it could be
like __builtin_assume_aligned, which takes void * and returns void *.
Jakub
- References:
- Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification
- Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification
- Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification
- Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification
- Re: [PATCH, MPX, 2/X] Pointers Checker [10/25] Calls copy and verification