[PATCH] Make strlen range computations more conservative

[Bernd Edlinger]

Hi,

this is an update (v5) of my patch:

As discussed earlier, this version does no longer enable
-fassume-zero-terminated-char-arrays with -Ofast.

I am ready to remove the -fassume-zero-terminated-char-arrays altogether if we decide what
to do with the code-gen test cases that still use it (xfail or remove).


Bootstrapped and reg-tested on x86_64-pc-linux-gnu.
Is it OK for trunk?


Thanks
Bernd.
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: changelog-range-strlen-v5.txt
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20180822/d39778dd/attachment.txt>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-range-strlen-v5.diff
Type: text/x-patch
Size: 25524 bytes
Desc: patch-range-strlen-v5.diff
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20180822/d39778dd/attachment.bin>