[Bug middle-end/41926] New: internal compiler error: verify_ssa failed

[Bug middle-end/41926] New: internal compiler error: verify_ssa failed

[jv244 at cam dot ac dot uk]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2678 bytes --]

compiling with current trunk:

MODULE hfx_contract_block
  INTEGER, PARAMETER :: dp=KIND(0.0D0)
CONTAINS
  SUBROUTINE block_4_1_1_1(kbd,kbc,kad,kac,pbd,pbc,pad,pac,prim,scale)
    REAL(KIND=dp) :: kbd(1*1), kbc(1*1), kad(4*1), kac(4*1), pbd(1*1), &
      pbc(1*1), pad(4*1), pac(4*1), prim(4*1*1*1), scale
    INTEGER                                  :: ma, mb, mc, md, p_index
    REAL(KIND=dp)                            :: ks_bc, ks_bd, p_bc, p_bd, tmp
      DO md = 1,1
        DO mc = 1,1
          DO mb = 1,1
            DO ma = 1,4
              p_index=p_index+1
              tmp = scale*prim(p_index)
              kad((md-1)*4+ma) =  kad((md-1)*4+ma)-tmp*p_bc
              kac((mc-1)*4+ma) = kac((mc-1)*4+ma)-tmp*p_bd
            END DO
          END DO
        END DO
      END DO
  END SUBROUTINE block_4_1_1_1
END MODULE hfx_contract_block

leads to

gfortran -c -g -O2 -ffast-math -funroll-loops -ftree-vectorize -march=native
-ffree-form bug.f90
bug.f90: In function ‘block_4_1_1_1’:
bug.f90:4:0: error: definition in block 8 does not dominate use in block 14
for SSA_NAME: p_index_17 in statement:
# DEBUG p_index => p_index_17
bug.f90:4:0: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

more details:
arget: x86_64-unknown-linux-gnu
Configured with: /data03/vondele/gcc_trunk/gcc/configure --disable-bootstrap
--prefix=/data03/vondele/gcc_trunk/build --enable-languages=c,c++,fortran
--disable-multilib --with-ppl=/data03/vondele/gcc_trunk/build/
--with-cloog=/data03/vondele/gcc_trunk/build/
--with-libelf=/data03/vondele/libelf-0.8.12/build/ --enable-gold --enable-lto
--enable-plugins
Thread model: posix
gcc version 4.5.0 20091103 (experimental) [trunk revision 153852] (GCC) 
COLLECT_GCC_OPTIONS='-c' '-g' '-O2' '-ffast-math' '-funroll-loops'
'-ffree-form' '-v' '-mtune=generic'

/data03/vondele/gcc_trunk/build/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/f951
bug.f90 -quiet -dumpbase bug.f90 -mtune=generic -auxbase bug -g -O2 -version
-ffast-math -funroll-loops -ffree-form -fintrinsic-modules-path
/data03/vondele/gcc_trunk/build/lib/gcc/x86_64-unknown-linux-gnu/4.5.0/finclude
-o /tmp/ccVISL4z.s


-- 
           Summary: internal compiler error: verify_ssa failed
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


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

[Bug middle-end/41926] [4.5 Regression][VTA] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2009-11-03 16:48 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aoliva at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-11-03 16:48:03
               date|                            |
            Summary|internal compiler error:    |[4.5 Regression][VTA]
                   |verify_ssa failed           |internal compiler error:
                   |                            |verify_ssa failed
   Target Milestone|---                         |4.5.0


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

[Bug debug/41926] [4.5 Regression][VTA] internal compiler error: verify_ssa failed

[aoliva at gcc dot gnu dot org]

------- Comment #2 from aoliva at gcc dot gnu dot org  2009-11-04 06:43 -------
Mine (got a patch)


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |aoliva at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
          Component|middle-end                  |debug


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

[Bug debug/41926] [4.5 Regression][VTA] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug debug/41926] [4.5 Regression][VTA] internal compiler error: verify_ssa failed

[jv244 at cam dot ac dot uk]

------- Comment #3 from jv244 at cam dot ac dot uk  2009-11-15 09:20 -------
(In reply to comment #2)
> Mine (got a patch)

has the patch been posted ? Couldn't find it yet.


-- 


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

[Bug debug/41926] [4.5 Regression][VTA] internal compiler error: verify_ssa failed

[aoliva at gcc dot gnu dot org]

------- Comment #4 from aoliva at gcc dot gnu dot org  2009-11-18 06:03 -------
Subject: Bug 41926

Author: aoliva
Date: Wed Nov 18 06:02:58 2009
New Revision: 154281

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154281
Log:
gcc/ChangeLog:
PR debug/41926
* tree-vect-loop.c (vect_loop_kill_debug_uses): New.
(vect_transform_loop): Call it.
gcc/testsuite/ChangeLog:
PR debug/41926
* gcc.dg/vect/vect-debug-pr41926.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/vect/vect-debug-pr41926.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-loop.c


-- 


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

[Bug debug/41926] [4.5 Regression][VTA] internal compiler error: verify_ssa failed

[aoliva at gcc dot gnu dot org]

------- Comment #5 from aoliva at gcc dot gnu dot org  2009-11-18 06:15 -------
Fixed


-- 

aoliva at gcc dot gnu dot org changed:

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


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

[Bug debug/41926] [4.5 Regression][VTA] internal compiler error: verify_ssa failed

[hjl at gcc dot gnu dot org]

------- Comment #6 from hjl at gcc dot gnu dot org  2009-11-20 14:50 -------
Subject: Bug 41926

Author: hjl
Date: Fri Nov 20 14:49:22 2009
New Revision: 154366

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154366
Log:
2009-11-20  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-11-18  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41926
        * gcc.dg/vect/vect-debug-pr41926.c: New.

        2009-11-16  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/42055
        * g++.dg/template/crash92.C: New.

        2009-11-08  Richard Guenther  <rguenther@suse.de>

        PR rtl-optimization/41928
        * gfortran.dg/pr41928.f90: New testcase.

        2009-11-06  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/41935
        * gcc.dg/pr41935.c: New test.
        * c-c++-common/pr41935.c: New test.
        * gcc.c-torture/execute/pr41935.c: New test.

        2009-11-04  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/41919
        * gcc.c-torture/execute/pr41919.c: New testcase.

        2009-11-03  Tobias Burnus  <burnus@net-b.de>

        PR fortran/41907
        * gfortran.dg/missing_optional_dummy_6.f90: New test.

        2009-11-02  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/41750
        * gcc.c-torture/execute/pr41750.c: New test.

        2009-11-02  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/41841
        * gcc.dg/pr41841.c: New test.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/c-c++-common/pr41935.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/c-c++-common/pr41935.c
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/template/crash92.C
      - copied unchanged from r154365,
trunk/gcc/testsuite/g++.dg/template/crash92.C
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr41750.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.c-torture/execute/pr41750.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr41919.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.c-torture/execute/pr41919.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr41935.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.c-torture/execute/pr41935.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41841.c
      - copied unchanged from r154365, trunk/gcc/testsuite/gcc.dg/pr41841.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41935.c
      - copied unchanged from r154365, trunk/gcc/testsuite/gcc.dg/pr41935.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/vect/vect-debug-pr41926.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.dg/vect/vect-debug-pr41926.c
   
branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/missing_optional_dummy_6.f90
      - copied unchanged from r154365,
trunk/gcc/testsuite/gfortran.dg/missing_optional_dummy_6.f90
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/pr41928.f90
      - copied unchanged from r154365,
trunk/gcc/testsuite/gfortran.dg/pr41928.f90
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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