From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-406746-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 6830 invoked by alias); 15 Nov 2012 14:03:07 -0000
Received: (qmail 6669 invoked by uid 48); 15 Nov 2012 14:02:48 -0000
From: "Joost.VandeVondele at mat dot ethz.ch" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/55341] address-sanitizer and Fortran
Date: Thu, 15 Nov 2012 14:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
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: ---
X-Bugzilla-Changed-Fields: CC
Message-ID: <bug-55341-4-pcfv00XyJv@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-55341-4@http.gcc.gnu.org/bugzilla/>
References: <bug-55341-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
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
X-SW-Source: 2012-11/txt/msg01408.txt.bz2


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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Joost.VandeVondele at mat
                   |                            |dot ethz.ch

--- Comment #1 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.=
ch> 2012-11-15 14:02:47 UTC ---
Trying -faddress-sanitizer on CP2K leads to the following failure:

> cat bug.f90=20
MODULE qs_environment_types
 TYPE rt_prop_type
    INTEGER,DIMENSION(:,:),ALLOCATABLE    :: orders
 END TYPE rt_prop_type
  TYPE qs_environment_type
    TYPE(rt_prop_type),POINTER            :: rtp
  END TYPE qs_environment_type
CONTAINS
  SUBROUTINE set_qs_env(qs_env,rtp)
    TYPE(qs_environment_type), POINTER    :: qs_env
    TYPE(rt_prop_type), OPTIONAL, POINTER :: rtp
    IF (PRESENT(rtp)) qs_env%rtp=3Drtp
  END SUBROUTINE set_qs_env
END MODULE qs_environment_types


> gfortran -O0 -faddress-sanitizer bug.f90=20
bug.f90: In function =E2=80=98set_qs_env=E2=80=99:
bug.f90:9:0: error: type mismatch in binary expression
   SUBROUTINE set_qs_env(qs_env,rtp)
 ^
unsigned long

integer(kind=3D8)

unsigned long

_182 =3D _181 - 1;

bug.f90:9:0: error: type mismatch in binary expression
unsigned long

integer(kind=3D8)

unsigned long

_206 =3D _205 - 1;

bug.f90:9:0: internal compiler error: verify_gimple failed
0x9a47ac verify_gimple_in_cfg(function*)
    ../../gcc/gcc/tree-cfg.c:4728
0x8dad97 execute_function_todo
    ../../gcc/gcc/passes.c:1979
0x8db75d execute_todo
    ../../gcc/gcc/passes.c:2008
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.