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 [14/25] Function splitting
- From: Ilya Enkovich <enkovich dot gnu at gmail dot com>
- To: Jeff Law <law at redhat dot com>
- Cc: gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 18 Nov 2013 22:17:15 +0400
- Subject: Re: [PATCH, MPX, 2/X] Pointers Checker [14/25] Function splitting
- Authentication-results: sourceware.org; auth=none
- References: <20131118102208 dot GH21297 at msticlxl57 dot ims dot intel dot com> <528A57AD dot 3070909 at redhat dot com>
2013/11/18 Jeff Law <law@redhat.com>:
> On 11/18/13 03:22, Ilya Enkovich wrote:
>>
>> Hi,
>>
>> Here is a patch to disable splitting when bounds transfer is required for
>> splitted function.
>>
>> Thanks,
>> Ilya
>> --
>> 2013-11-13 Ilya Enkovich <ilya.enkovich@intel.com>
>>
>> * ipa-split.c: Include tree-chkp.h.
>> (consider_split): Do not split when splitted
>> part needs bounds transfer.
>
> ?!? Is there some fundamental reason why this shouldn't "just work"? I
> think more explanation is needed so we can evaluate this patch.
>
> jeff
>
Fundamental reason here is that we do not pass standalone bounds to
functions. Bounds are always passed in addition to pointer.
Ilya