Re: [PATCH] strlen: Handle vector CONSTRUCTORs [PR117057]

2024-11-30 Thread Richard Biener
> Am 30.11.2024 um 10:53 schrieb Jakub Jelinek : > > Hi! > > The following patch handles VECTOR_TYPE_P CONSTRUCTORs in > count_nonzero_bytes, including handling them if they have some elements > non-constant. > If there are still some constant elements before it (in the range queried), > we d

[PATCH] strlen: Handle vector CONSTRUCTORs [PR117057]

2024-11-30 Thread Jakub Jelinek
Hi! The following patch handles VECTOR_TYPE_P CONSTRUCTORs in count_nonzero_bytes, including handling them if they have some elements non-constant. If there are still some constant elements before it (in the range queried), we derive info at least from those bytes and consider the rest as unknown.