aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-chkp.c3
2 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8302882..6f9096b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
2014-12-08 Ilya Enkovich <ilya.enkovich@intel.com>
+ * tree-chkp.c (chkp_build_returned_bound): Don't predict
+ return bounds for strchr calls.
+
+2014-12-08 Ilya Enkovich <ilya.enkovich@intel.com>
+
* tree-chkp.c (chkp_call_returns_bounds_p): New.
(chkp_build_returned_bound): Use zero bounds as
returned by calls not returning bounds.
diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c
index 1ea4f24..c24aa35 100644
--- a/gcc/tree-chkp.c
+++ b/gcc/tree-chkp.c
@@ -2165,8 +2165,7 @@ chkp_build_returned_bound (gcall *call)
}
/* Do not use retbnd when returned bounds are equal to some
of passed bounds. */
- else if ((gimple_call_return_flags (call) & ERF_RETURNS_ARG)
- || gimple_call_builtin_p (call, BUILT_IN_STRCHR))
+ else if (gimple_call_return_flags (call) & ERF_RETURNS_ARG)
{
gimple_stmt_iterator iter = gsi_for_stmt (call);
unsigned int retarg = 0, argno;