2014-12-06 1:55 GMT+03:00 Jeff Law <l...@redhat.com>: > 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?
I cannot add a nice test for bounds returned by strchr for NULL until it is wrapped (which will happen eventually). Thanks, Ilya > > Jeff >
