This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH, MPX, 2/X] Pointers Checker [14/25] Function splitting

On 11/18/13 11:17, Ilya Enkovich wrote:

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.
Right, but isn't all that information available to both the caller and callee in this case? 

jeff
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]