[Bug middle-end/61209] New: [4.10 Regression] internal compiler error: in fold_convert_loc, at fold-const.c:1950

[Bug middle-end/61209] New: [4.10 Regression] internal compiler error: in fold_convert_loc, at fold-const.c:1950

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61209

            Bug ID: 61209
           Summary: [4.10 Regression] internal compiler error: in
                    fold_convert_loc, at fold-const.c:1950
           Product: gcc
           Version: 4.10.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

known good: r210485 known bad: r210542 possibly r210491

> cat bug.f90 
MODULE array_types
  INTERFACE array_data
     MODULE PROCEDURE array_data_i1d
  END INTERFACE
  TYPE array_i1d_type
  END TYPE array_i1d_type
  TYPE array_i1d_obj
     TYPE(array_i1d_type), POINTER      :: low
  END TYPE array_i1d_obj
  TYPE dbcsr_type
     TYPE(array_i1d_obj)     :: local_rows
     LOGICAL                 :: local_indexing
  END TYPE dbcsr_type
  TYPE dbcsr_obj
     TYPE(dbcsr_type) :: m
  END TYPE dbcsr_obj
CONTAINS
  FUNCTION array_data_i1d(array) RESULT (DATA)
    TYPE(array_i1d_obj), INTENT(IN)          :: array
    INTEGER, DIMENSION(:), POINTER           :: DATA
    IF (ASSOCIATED (array%low)) THEN
    ENDIF
  END FUNCTION array_data_i1d
  SUBROUTINE dbcsr_make_index_list (matrix, thread_redist)
    TYPE(dbcsr_obj), INTENT(INOUT)           :: matrix
    LOGICAL, INTENT(IN)                      :: thread_redist
    INTEGER, ALLOCATABLE, DIMENSION(:, :)    :: blki
    INTEGER, DIMENSION(:), POINTER           :: local_rows, td
    INTEGER :: blk
    nthreads = 0
    IF (nthreads .GT. 0 .AND. thread_redist) THEN
       IF (matrix%m%local_indexing) THEN
          local_rows => array_data (matrix%m%local_rows)
       ENDIF
       CALL dbcsr_build_row_index_inplace (thr_c, nthreads)
       IF (matrix%m%local_indexing) THEN
          DO blk = 1, nblks
             IF (td(local_rows(blki(1, blk))) .EQ. ithread) THEN
             ENDIF
          ENDDO
       ENDIF
    ENDIF
  END SUBROUTINE dbcsr_make_index_list
END MODULE

>  gfortran  -c -fbounds-check -O1 bug.f90 
bug.f90: In function ‘dbcsr_make_index_list’:
bug.f90:23:0: internal compiler error: in fold_convert_loc, at
fold-const.c:1950
   END FUNCTION array_data_i1d
 ^
0x8144c5 fold_convert_loc(unsigned int, tree_node*, tree_node*)
    ../../gcc/gcc/fold-const.c:1949
0x8323a4 fold_widened_comparison
    ../../gcc/gcc/fold-const.c:6745
0x8323a4 fold_comparison
    ../../gcc/gcc/fold-const.c:9419
0x7f25aa fold_binary_loc(unsigned int, tree_code, tree_node*, tree_node*,
tree_node*)
    ../../gcc/gcc/fold-const.c:13432
0xbdf360 cond_dom_walker::before_dom_children(basic_block_def*)
    ../../gcc/gcc/tree-ssa-sccvn.c:4229
0xf8d62a dom_walker::walk(basic_block_def*)
    ../../gcc/gcc/domwalk.c:177
0xbdea8e run_scc_vn(vn_lookup_kind)
    ../../gcc/gcc/tree-ssa-sccvn.c:4295
0xbb5591 execute
    ../../gcc/gcc/tree-ssa-pre.c:4846
Please submit a full bug report,
>From gcc-bugs-return-451801-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 17 08:14:52 2014
Return-Path: <gcc-bugs-return-451801-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 23222 invoked by alias); 17 May 2014 08:14:51 -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 23158 invoked by uid 48); 17 May 2014 08:14:45 -0000
From: "bjoern.m.haase at web dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/61196] Optimizer does not handle memory accesses with two pointers to same location correctly
Date: Sat, 17 May 2014 08:14: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.5.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: major
X-Bugzilla-Who: bjoern.m.haase at web dot de
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61196-4-Q32UNQ3zje@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61196-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61196-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-05/txt/msg01493.txt.bz2
Content-length: 424

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61196

--- Comment #2 from Björn Haase <bjoern.m.haase at web dot de> ---
@Eric: Thank you for your fast feedback :-).
I have contacted the maintainer of the library and the original author of the
code so that we may fix the problem there. I've just again learnt something on
an additional aspect in the C language definition that I've not been aware of
beforehand.
>From gcc-bugs-return-451802-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat May 17 08:17:56 2014
Return-Path: <gcc-bugs-return-451802-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26566 invoked by alias); 17 May 2014 08:17:55 -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 26525 invoked by uid 48); 17 May 2014 08:17:52 -0000
From: "paolo.carlini at oracle dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/21802] Two-stage name lookup fails for operators
Date: Sat, 17 May 2014 08:17:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.1.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: paolo.carlini at oracle dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-21802-4-4FLWigddCA@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-21802-4@http.gcc.gnu.org/bugzilla/>
References: <bug-21802-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: 2014-05/txt/msg01494.txt.bz2
Content-length: 603

https://gcc.gnu.org/bugzilla/show_bug.cgi?id!802

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paolo.carlini at oracle dot com,
                   |                            |richard-gccbugzilla@metafoo
                   |                            |.co.uk

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Let's double check with Richard that this specific issue can be closed.

[Bug middle-end/61209] [4.10 Regression] internal compiler error: in fold_convert_loc, at fold-const.c:1950

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61209

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-05-19
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Confirmed. It requires -fbounds-check (it could be a duplicate).

[Bug middle-end/61209] [4.10 Regression] internal compiler error: in fold_convert_loc, at fold-const.c:1950

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61209

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|---                         |4.10.0

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug middle-end/61209] [4.10 Regression] internal compiler error: in fold_convert_loc, at fold-const.c:1950

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61209

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Mon May 19 14:32:23 2014
New Revision: 210613

URL: http://gcc.gnu.org/viewcvs?rev=210613&root=gcc&view=rev
Log:
2014-05-19  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/61209
    * tree-ssa-sccvn.c (visit_phi): Avoid setting expr to VN_TOP.

    * gfortran.dg/pr61209.f90: New testcase.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr61209.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-sccvn.c

[Bug middle-end/61209] [4.10 Regression] internal compiler error: in fold_convert_loc, at fold-const.c:1950

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61209

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.