Jakub Jelinek writes:
> On Tue, May 16, 2017 at 09:02:08AM +0100, Richard Sandiford wrote:
>> 2017-05-16 Richard Sandiford
>>
>> gcc/
>> PR tree-optimization/80769
>> * tree-ssa-strlen.c (strinfo): Document that "stmt" is also used
>> for malloc and calloc. Document the new inv
On Tue, May 16, 2017 at 09:02:08AM +0100, Richard Sandiford wrote:
> 2017-05-16 Richard Sandiford
>
> gcc/
> PR tree-optimization/80769
> * tree-ssa-strlen.c (strinfo): Document that "stmt" is also used
> for malloc and calloc. Document the new invariant that all related
>
Ping*3
Richard Sandiford writes:
> Ping*2
>
> Richard Sandiford writes:
>> In this testcase, we (correctly) record after:
>>
>> strcpy (p1, "abcde");
>> char *p2 = strchr (p1, '\0');
>> strcpy (p2, q);
>>
>> that the length of p1 and p2 can be calculated by converting the
>> second strcpy
Ping*2
Richard Sandiford writes:
> In this testcase, we (correctly) record after:
>
> strcpy (p1, "abcde");
> char *p2 = strchr (p1, '\0');
> strcpy (p2, q);
>
> that the length of p1 and p2 can be calculated by converting the
> second strcpy to:
>
> tmp = stpcpy (p2, q)
>
> and then doin
Ping
Richard Sandiford writes:
> In this testcase, we (correctly) record after:
>
> strcpy (p1, "abcde");
> char *p2 = strchr (p1, '\0');
> strcpy (p2, q);
>
> that the length of p1 and p2 can be calculated by converting the
> second strcpy to:
>
> tmp = stpcpy (p2, q)
>
> and then doing
In this testcase, we (correctly) record after:
strcpy (p1, "abcde");
char *p2 = strchr (p1, '\0');
strcpy (p2, q);
that the length of p1 and p2 can be calculated by converting the
second strcpy to:
tmp = stpcpy (p2, q)
and then doing tmp - p1 for p1 and tmp - p2 for p2. This is delayed
