On Tue, 26 Feb 2019, Jakub Jelinek wrote:
> On Mon, Feb 25, 2019 at 04:55:56PM -0700, Martin Sebor wrote:
> > Storing the strnlen result is intentional when it equals strlen.
>
> For the *si update, you never want to do that for strnlen.
> And for the strlen_to_stridx, while I don't think it is t
On Mon, Feb 25, 2019 at 04:55:56PM -0700, Martin Sebor wrote:
> Storing the strnlen result is intentional when it equals strlen.
For the *si update, you never want to do that for strnlen.
And for the strlen_to_stridx, while I don't think it is that important,
here is an updated patch that handles
On 2/25/19 4:12 PM, Jakub Jelinek wrote:
Hi!
The following testcase ICEs, because rhs (previously known string length)
is SSA_NAME (return value from the earlier strlen), but bound is 0 and so
MIN_EXPR yields also size_zero_node. The noncst_bound initialization
checks if new_rhs is INTEGER_CST
Hi!
The following testcase ICEs, because rhs (previously known string length)
is SSA_NAME (return value from the earlier strlen), but bound is 0 and so
MIN_EXPR yields also size_zero_node. The noncst_bound initialization
checks if new_rhs is INTEGER_CST and if it is, assumes rhs must be too
and u
