[Bug fortran/45972] New: tree check fail in use_pred_not_overlap_with_undef_path_pred

[Bug fortran/45972] New: tree check fail in use_pred_not_overlap_with_undef_path_pred

[dcb314 at hotmail dot com]

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

           Summary: tree check fail in
                    use_pred_not_overlap_with_undef_path_pred
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


Created attachment 22019
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22019
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.

[Bug tree-optimization/45972] [4.6 Regression] tree check fail in use_pred_not_overlap_with_undef_path_pred

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|fortran                     |tree-optimization
   Target Milestone|---                         |4.6.0
            Summary|tree check fail in          |[4.6 Regression] tree check
                   |use_pred_not_overlap_with_u |fail in
                   |ndef_path_pred              |use_pred_not_overlap_with_u
                   |                            |ndef_path_pred

[Bug tree-optimization/45972] [4.6 Regression] tree check fail in use_pred_not_overlap_with_undef_path_pred

[dominiq at lps dot ens.fr]

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

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 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.

[Bug tree-optimization/45972] [4.6 Regression] tree check fail in use_pred_not_overlap_with_undef_path_pred

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.10.12 00:05:42
                 CC|                            |davidxl at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-12 00:05:42 UTC ---
It is caused by revision 158835:

http://gcc.gnu.org/ml/gcc-cvs/2010-04/msg00942.html

[Bug tree-optimization/45972] [4.6 Regression] tree check fail in use_pred_not_overlap_with_undef_path_pred

[davidxl at gcc dot gnu.org]

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

davidxl <davidxl at gcc dot gnu.org> changed:

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

--- Comment #3 from davidxl <davidxl at gcc dot gnu.org> 2010-10-12 22:34:20 UTC ---
in r165402.