[Bug tree-optimization/49809] New: [4.7 regression] gimple_check failure at -O3

[Bug tree-optimization/49809] New: [4.7 regression] gimple_check failure at -O3

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49809

           Summary: [4.7 regression] gimple_check failure at -O3
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ebotcazou@gcc.gnu.org
                CC: rsandifo@gcc.gnu.org


Created attachment 24805
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24805
Reduced testcase

The patch

2011-07-19  Richard Sandiford  <richard.sandiford@linaro.org>

    PR tree-optimization/49742
    * tree-data-ref.c (get_references_in_stmt): Treat the lhs of a call
    as a potential write.

has introduced regressions in Ada of the form:

+===========================GNAT BUG DETECTED==============================+
| 4.7.0 20110720 (experimental) [trunk revision 176495] (i586-suse-linux-gnu)
GCC error:|
| gimple check: expected gimple_assign(error_mark), have                   |
|     gimple_call(block) in gimple_assign_lhs, at gimple.h:1736         

Reduced testcase suitable for the gnat.dg testsuite attached (to be
gnatchop-ed)

[Bug tree-optimization/49809] [4.7 regression] gimple_check failure at -O3

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49809

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug tree-optimization/49809] [4.7 regression] gimple_check failure at -O3

[rsandifo at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49809

rsandifo@gcc.gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.07.25 09:43:58
         AssignedTo|unassigned at gcc dot       |rsandifo at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

[Bug tree-optimization/49809] [4.7 regression] gimple_check failure at -O3

[rsandifo at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49809

--- Comment #1 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> 2011-07-25 14:51:50 UTC ---
Author: rsandifo
Date: Mon Jul 25 14:51:47 2011
New Revision: 176750

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176750
Log:
gcc/
    PR tree-optimization/49809
    * tree-ssa-phiopt.c (cond_if_else_store_replacement): Use
    gimple_get_lhs instead of gimple_assign_lhs.

gcc/testsuite/
    PR tree-optimization/49809
    * gnat.dg/opt18.adb, gnat.dg/opt18.ads, gnat.dg/opt18_pkg.ads: New
    test.

Added:
    trunk/gcc/testsuite/gnat.dg/opt18.adb
    trunk/gcc/testsuite/gnat.dg/opt18.ads
    trunk/gcc/testsuite/gnat.dg/opt18_pkg.ads
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-phiopt.c

[Bug tree-optimization/49809] [4.7 regression] gimple_check failure at -O3

[rsandifo at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49809

rsandifo@gcc.gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #2 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> 2011-07-25 14:55:54 UTC ---
Fixed in trunk.