Bug 45972 - [4.6 Regression] tree check fail in use_pred_not_overlap_with_undef_path_pred
Summary: [4.6 Regression] tree check fail in use_pred_not_overlap_with_undef_path_pred
Status: RESOLVED FIXED
Alias: None
Product: gcc
Classification: Unclassified
Component: tree-optimization (show other bugs)
Version: 4.6.0
: P3 normal
Target Milestone: 4.6.0
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-10-11 21:22 UTC by David Binderman
Modified: 2010-10-12 22:34 UTC (History)
1 user (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed: 2010-10-12 00:05:42

Attachments
fortran source code (10.30 KB, text/plain)
2010-10-11 21:22 UTC, David Binderman 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description David Binderman 2010-10-11 21:22:50 UTC 
Created attachment 22019 [details]
fortran source code

I just tried to compile package lapack-3.2.2 with the latest 4.6
snapshot 20101009 on a Fedora Linux box. The compiler said

sgesvd.f:1:0: internal compiler error: tree check: expected ssa_name, have integer_cst in use_pred_not_overlap_with_undef_path_pred, at tree-ssa-uninit.c:958
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Source code attached. Flags -O2 -Wall required.
Comment 1 Dominique d'Humieres 2010-10-11 21:49:56 UTC 
Confirmed on x86_64-apple-darwin10, it works with 4.4.4, 4.5.0 and 4.6 revision 158105, and fails with revision 159105. Hence this is a regression.
Comment 2 H.J. Lu 2010-10-12 00:05:42 UTC 
It is caused by revision 158835:

http://gcc.gnu.org/ml/gcc-cvs/2010-04/msg00942.html
Comment 3 davidxl 2010-10-12 22:34:20 UTC 
in r165402.