On Tue, Feb 06, 2018 at 05:14:16PM +0100, Marek Polacek wrote:
> Here we ICE because get_range_strlen's result might not be an array of
> two integer constants -- for a VLA the array might contain a non-constant.
> So beef up the check before converting to wide_int.
>
> Bootstrapped/regtested on x86_64-linux, ok for trunk?
>
> 2018-02-06 Marek Polacek <pola...@redhat.com>
>
> PR tree-optimization/84238
> * tree-ssa-strlen.c (maybe_diag_stxncpy_trunc): Verify the result of
> get_range_strlen.
>
> * gcc.dg/Wstringop-overflow-3.c: New test.
Ok, thanks.
Jakub
