[Bug tree-optimization/80181] [7 Regression] ICE in set_lattice_value, at tree-ssa-ccp.c:505

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Mar 29 09:28:46 2017
New Revision: 246561

URL: https://gcc.gnu.org/viewcvs?rev=246561&root=gcc&view=rev
Log:
2017-03-29  Richard Biener  <rguent...@suse.de>

        Backport from mainline
        2017-03-28  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/78644
        * tree-ssa-ccp.c (evaluate_stmt): When we may not use the value
        of a simplification result we may not use it at all.

        * gcc.dg/pr78644-1.c: New testcase.
        * gcc.dg/pr78644-2.c: Likewise.

        2017-03-27  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/80181
        * tree-ssa-ccp.c (likely_value): UNDEFINED ^ X is UNDEFINED.

        * gcc.dg/torture/pr80181.c: New testcase.

Added:
    branches/gcc-6-branch/gcc/testsuite/gcc.dg/pr78644-1.c
    branches/gcc-6-branch/gcc/testsuite/gcc.dg/pr78644-2.c
    branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr80181.c
Modified:
    branches/gcc-6-branch/gcc/ChangeLog
    branches/gcc-6-branch/gcc/testsuite/ChangeLog
    branches/gcc-6-branch/gcc/tree-ssa-ccp.c