[Bug tree-optimization/83444] [5/6/7/8 Regression] missing strlen optimization on a member array of a local struct

[msebor at gcc dot gnu.org]

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

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
The first revision that fails to eliminate the abort is r216728, though from
the patch is sounds like the underlying cause might be a limitation in the
strlen pass.

2014-10-27  Richard Biener  <rguenther@suse.de>

        * tree-ssa-forwprop.c: Include tree-cfgcleanup.h and tree-into-ssa.h.
        (lattice): New global.
        (fwprop_ssa_val): New function.
        (fold_all_stmts): Likewise.
        (pass_forwprop::execute): Finally fold all stmts.

        * gcc.dg/tree-ssa/forwprop-6.c: Scan ccp1 dump instead.
        * gcc.dg/strlenopt-8.c: Adjust and XFAIL for non_strict_align
        target due to memcpy inline-expansion.