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: unassig...@gcc.gnu.org
ReportedBy: ebotca...@gcc.gnu.org
CC: rsand...@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.sandif...@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)
