On 10/08/14 13:06, Ilya Enkovich wrote:
Hi,

This patch adds bounds initialization for address taken input arguments.

Thanks,
Ilya
--
2014-10-08  Ilya Enkovich  <ilya.enkov...@intel.com>

        * tree-chkp.c (chkp_instrument_function): Store bounds for
        address taken args.


diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c
index 6bbceb0..5443950 100644
--- a/gcc/tree-chkp.c
+++ b/gcc/tree-chkp.c
@@ -3758,6 +3758,51 @@ chkp_instrument_function (void)
        bb = next;
      }
    while (bb);
+
+  /* Some input params may have bounds and be address taken.  In this case
+     we should store incomping bounds into bounds table.  */
s/incomping/incoming/

With that nit fixed this is OK.

jeff

Reply via email to