diff mbox

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

Message ID 20131118104550.GK21297@msticlxl57.ims.intel.com
State New
Headers show

Commit Message

Ilya Enkovich Nov. 18, 2013, 10:45 a.m. UTC 
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.

Comments

Jeff Law Nov. 19, 2013, 7:38 p.m. UTC | #1 
On 11/18/13 03:45, Ilya Enkovich wrote:
> 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.
OK.
jeff
diff mbox

Patch

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))