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 <rguent...@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.
