On 12/02/14 06:40, Ilya Enkovich wrote:
Hi,For strchr calls bounds of the first argument are considered as returned which is wrong because NULL may be returned. This patch fixes that. Bootstrapped and tested on x86_64-unknown-linux-gnu. OK for trunk? Thanks, Ilya -- 2014-12-02 Ilya Enkovich <ilya.enkov...@intel.com> * tree-chkp.c (chkp_build_returned_bound): Don't predict return bounds for strchr calls.
OK. Do you have a testcase you could add to the suite? Jeff