[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)