[PATCH, MPX, 2/X] Pointers Checker [17/25] IPA SRA

[Ilya Enkovich]

Hi,

Here is a patch remove bounded params from candidates for reduction.

Thanks,
Ilya
--
2013-11-15  Ilya Enkovich  <ilya.enkov...@intel.com>

        * tree-sra.c: Include tree-chkp.h.
        (find_param_candidates): Bounded param is not
        a candidate.


diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index d97af13..eec2b6b 100644
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -102,6 +102,7 @@ along with GCC; see the file COPYING3.  If not see
 #include "gimple-pretty-print.h"
 #include "ipa-inline.h"
 #include "ipa-utils.h"
+#include "tree-chkp.h"
 
 /* Enumeration of all aggregate reductions we can do.  */
 enum sra_mode { SRA_MODE_EARLY_IPA,   /* early call regularization */
@@ -3667,7 +3668,9 @@ find_param_candidates (void)
 
       if (TREE_THIS_VOLATILE (parm)
          || TREE_ADDRESSABLE (parm)
-         || (!is_gimple_reg_type (type) && is_va_list_type (type)))
+         || (!is_gimple_reg_type (type) && is_va_list_type (type))
+         || (chkp_function_instrumented_p (current_function_decl)
+             && chkp_type_has_pointer (type)))
        continue;
 
       if (is_unused_scalar_param (parm))