* tree-chkp.c (chkp_build_returned_bound): Don't predict
authorienkovich <ienkovich@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 8 Dec 2014 10:10:00 +0000 (10:10 +0000)
committerienkovich <ienkovich@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 8 Dec 2014 10:10:00 +0000 (10:10 +0000)
return bounds for strchr calls.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@218479 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/tree-chkp.c

index 8302882..6f9096b 100644 (file)
@@ -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.
index 1ea4f24..c24aa35 100644 (file)
@@ -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;