[Bug middle-end/58290] New: [4.9 Regression] error: virtual definition of statement not up-to-date

[Bug middle-end/58290] New: [4.9 Regression] error: virtual definition of statement not up-to-date

[Joost.VandeVondele at mat dot ethz.ch]

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

            Bug ID: 58290
           Summary: [4.9 Regression] error: virtual definition of
                    statement not up-to-date
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: Joost.VandeVondele at mat dot ethz.ch

Trunk yields:

bug.f90: In function ‘dbcsr_buffers_flush’:
bug.f90:28:0: error: virtual definition of statement not up-to-date
   SUBROUTINE dbcsr_buffers_flush (buffers)
 ^
# .MEM_4 = VDEF <.MEM_2(D)>
_5 = dbcsr_buffers_get_num (buffers_3(D));
bug.f90:28:0: internal compiler error: verify_ssa failed
0xb62c24 verify_ssa(bool)
    ../../gcc/gcc/tree-ssa.c:1046
0x9217de execute_function_todo
    ../../gcc/gcc/passes.c:1834


when compiling

> gfortran -c -fipa-pta -O1 -c  bug.f90

> cat bug.f90
MODULE dbcsr_types
  INTEGER, PARAMETER :: dbcsr_error_stack_size = 30
  TYPE dbcsr_error_stack_type
     CHARACTER(80), DIMENSION(dbcsr_error_stack_size) :: s = ''
  END TYPE dbcsr_error_stack_type
  TYPE dbcsr_error_type
   TYPE(dbcsr_error_stack_type) :: stack
  END TYPE dbcsr_error_type
  TYPE dbcsr_data_obj
  END TYPE dbcsr_data_obj
  TYPE dbcsr_block_buffer_type
     TYPE(dbcsr_data_obj), DIMENSION(:), POINTER :: buffers
  END TYPE dbcsr_block_buffer_type
  TYPE dbcsr_block_buffer_obj
     TYPE(dbcsr_block_buffer_type), POINTER :: b
  END TYPE dbcsr_block_buffer_obj
CONTAINS
  SUBROUTINE dbcsr_assert(right, error)
    LOGICAL, INTENT(IN)                      :: right
    TYPE(dbcsr_error_type), INTENT(inout)    :: error
  END SUBROUTINE 
  FUNCTION dbcsr_buffers_get_num (buffers) RESULT (nbuffers)
    TYPE(dbcsr_block_buffer_obj), INTENT(IN) :: buffers
    TYPE(dbcsr_error_type)                   :: error
    CALL dbcsr_assert (.TRUE., error)
    nbuffers = SIZE (buffers%b%buffers)
  END FUNCTION dbcsr_buffers_get_num
  SUBROUTINE dbcsr_buffers_flush (buffers)
    TYPE(dbcsr_block_buffer_obj), &
      INTENT(INOUT)                          :: buffers
       DO ibuff = 1, dbcsr_buffers_get_num(buffers)
       ENDDO
  END SUBROUTINE dbcsr_buffers_flush
END MODULE
>From gcc-bugs-return-428762-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Sep 01 08:08:31 2013
Return-Path: <gcc-bugs-return-428762-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15180 invoked by alias); 1 Sep 2013 08:08:30 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 15143 invoked by uid 48); 1 Sep 2013 08:08:27 -0000
From: "Joost.VandeVondele at mat dot ethz.ch" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date
Date: Sun, 01 Sep 2013 08:08:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: Joost.VandeVondele at mat dot ethz.ch
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc cf_known_to_work target_milestone cf_known_to_fail
Message-ID: <bug-58290-4-ehRdETOX1C@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-58290-4@http.gcc.gnu.org/bugzilla/>
References: <bug-58290-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-09/txt/msg00002.txt.bz2
Content-length: 555

http://gcc.gnu.org/bugzilla/show_bug.cgi?idX290

Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Joost.VandeVondele at mat dot ethz
                   |                            |.ch
      Known to work|                            |4.8.1
   Target Milestone|---                         |4.9.0
      Known to fail|                            |4.9.0

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[Joost.VandeVondele at mat dot ethz.ch]

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

Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vincenzo.innocente at cern dot ch

--- Comment #1 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
*** Bug 58291 has been marked as a duplicate of this bug. ***

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-09-02
                 CC|                            |hubicka at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Cannot reproduce with r202097, fails with r202164.  Must be one of Honzas
changes.

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Still broken - Honza?

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[Joost.VandeVondele at mat dot ethz.ch]

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

--- Comment #4 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
This appears to have been fixed / gone latent between r204377 and r204433 (~
Nov 6th.)

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
By r204399 in particular.  Richard, does that sound like a real fix or just
something that made the issue latent?  If the former, then we just want the
testcase into testsuite.

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Dec 17 17:35:59 2013
New Revision: 206062

URL: http://gcc.gnu.org/viewcvs?rev=206062&root=gcc&view=rev
Log:
    PR ipa/58290
    * gfortran.dg/pr58290.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr58290.f90
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I've looked at this some more and it seems Richard's change was the right fix
for this, so I've committed the testcase and am closing this.

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[Joost.VandeVondele at mat dot ethz.ch]

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

--- Comment #8 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch> ---
(In reply to Jakub Jelinek from comment #7)
> I've looked at this some more and it seems Richard's change was the right
> fix for this, so I've committed the testcase and am closing this.

Thanks. I notice that you're writing your own testcases, if this would be for
copyright reasons, I extract most of my reports from our GPLed code (CP2K), so
there would be no need for this. Of course, I don't mind if you have other
reasons.

[Bug middle-end/58290] [4.9 Regression] error: virtual definition of statement not up-to-date

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This is actually the same testcase, just somewhat manually reduced and with
symbol names simplified.