Hi,
Here is a patch to disable propagation of bounded values.
Thanks,
Ilya
--
2013-11-13 Ilya Enkovich <ilya.enkov...@intel.com>
* ipa-prop.c: Include tree-chkp.h.
(ipa_compute_jump_functions_for_edge): Do not propagate bounded args.
diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c
index eb464e4..81e1237 100644
--- a/gcc/ipa-prop.c
+++ b/gcc/ipa-prop.c
@@ -48,6 +48,7 @@ along with GCC; see the file COPYING3. If not see
#include "tree-streamer.h"
#include "params.h"
#include "ipa-utils.h"
+#include "tree-chkp.h"
/* Intermediate information about a parameter that is only useful during the
run of ipa_analyze_node and is not kept afterwards. */
@@ -1558,6 +1559,7 @@ ipa_compute_jump_functions_for_edge (struct
param_analysis_info *parms_ainfo,
struct ipa_node_params *info = IPA_NODE_REF (cs->caller);
struct ipa_edge_args *args = IPA_EDGE_REF (cs);
gimple call = cs->call_stmt;
+ tree fndecl = gimple_call_fndecl (call);
int n, arg_num = gimple_call_num_args (call);
if (arg_num == 0 || args->jump_functions)
@@ -1575,7 +1577,13 @@ ipa_compute_jump_functions_for_edge (struct
param_analysis_info *parms_ainfo,
tree arg = gimple_call_arg (call, n);
tree param_type = ipa_get_callee_param_type (cs, n);
- if (is_gimple_ip_invariant (arg))
+ /* No optimization for bounded types yet implemented. */
+ if ((gimple_call_with_bounds_p (call)
+ || (fndecl && chkp_function_instrumented_p (fndecl)))
+ && ((param_type && chkp_type_has_pointer (param_type))
+ || (!param_type && chkp_type_has_pointer (TREE_TYPE (arg)))))
+ continue;
+ else if (is_gimple_ip_invariant (arg))
ipa_set_jf_constant (jfunc, arg, cs);
else if (!is_gimple_reg_type (TREE_TYPE (arg))
&& TREE_CODE (arg) == PARM_DECL)
