This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH, MPX, 2/X] Pointers Checker [17/25] IPA SRA
- From: Ilya Enkovich <enkovich dot gnu at gmail dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Mon, 18 Nov 2013 14:45:50 +0400
- Subject: [PATCH, MPX, 2/X] Pointers Checker [17/25] IPA SRA
- Authentication-results: sourceware.org; auth=none
Hi,
Here is a patch remove bounded params from candidates for reduction.
Thanks,
Ilya
--
2013-11-15 Ilya Enkovich <ilya.enkovich@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))