[Bug tree-optimization/84238] [8 Regression] ICE tree check: expected integer_cst, have plus_expr in to_wide, at tree.h:5527

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84238

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Thu Feb  8 16:18:04 2018
New Revision: 257497

URL: https://gcc.gnu.org/viewcvs?rev=257497&root=gcc&view=rev
Log:
        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.

Added:
    trunk/gcc/testsuite/gcc.dg/Wstringop-overflow-3.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-strlen.c