[Bug fortran/56535] New: ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[Bug fortran/56535] New: ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

             Bug #: 56535
           Summary: ICE: in build2_stat, at tree.c:3885 when compiling
                    with -fsanitize=address
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dominiq@lps.ens.fr
                CC: jakub@redhat.com, janus@gcc.gnu.org


The following tests

FAIL: gfortran.dg/allocate_alloc_opt_10.f90  -O*  (internal compiler error)
FAIL: gfortran.dg/class_allocate_1.f03  -O*  (internal compiler error)
FAIL: gfortran.dg/class_allocate_12.f90  -O*  (internal compiler error)
FAIL: gfortran.dg/class_allocate_3.f03  -O*  (internal compiler error)
FAIL: gfortran.dg/class_allocate_6.f03  -O*  (internal compiler error)
FAIL: gfortran.dg/class_defined_operator_1.f03  -O*  (internal compiler error)
FAIL: gfortran.dg/typebound_operator_9.f03  -O*  (internal compiler error)

fail to compile with -fsanitize=address. The error is the same

... internal compiler error: in build2_stat, at tree.c:3885

Reduced test case from class_allocate_1.f03

 implicit none

 type t1
   integer :: comp = 5
   class(t1),pointer :: cc
 end type

 type, extends(t1) :: t2
   integer :: j
 end type

 class(t1),pointer :: cp, cp2

 allocate(t2 :: cp2)
 allocate(cp, source = cp2)
 deallocate(cp)
 deallocate(cp2)

end

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[markus at trippelsdorf dot de]

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

Markus Trippelsdorf <markus at trippelsdorf dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |markus at trippelsdorf dot
                   |                            |de

--- Comment #1 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2013-03-16 08:04:07 UTC ---
Also happens during --with-build-config="bootstrap-asan" and profiledbootstrap 
with -enable-languages=c,c++:

/var/tmp/gcc_build_dir/./prev-gcc/xg++ -B/var/tmp/gcc_build_dir/./prev-gcc/
-B/usr/x86_64-pc-linux-gnu/bin/ -nostdinc++
-B/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/src/.libs
-B/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/libsupc++/.libs
-I/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/include/x86_64-pc-linux-gnu
-I/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/include
-I/home/markus/gcc/libstdc++-v3/libsupc++
-L/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/src/.libs
-L/var/tmp/gcc_build_dir/prev-x86_64-pc-linux-gnu/libstdc++-v3/libsupc++/.libs
-c -march=native -O3 -pipe -fsanitize=address -fprofile-use -DIN_GCC
-fno-exceptions -fno-rtti -fasynchronous-unwind-tables -W -Wall -Wno-narrowing
-Wwrite-strings -Wcast-qual -Wmissing-format-attribute -pedantic -Wno-long-long
-Wno-variadic-macros -Wno-overlength-strings -DHAVE_CONFIG_H -DGENERATOR_FILE
-I. -Ibuild -I/home/markus/gcc/gcc -I/home/markus/gcc/gcc/build
-I/home/markus/gcc/gcc/../include -I/home/markus/gcc/gcc/../libcpp/include
-I/home/markus/gcc/gcc/../libdecnumber
-I/home/markus/gcc/gcc/../libdecnumber/bid -I../libdecnumber
-I/home/markus/gcc/gcc/../libbacktrace -o build/genmodes.o
/home/markus/gcc/gcc/genmodes.c                                                

/home/markus/gcc/gcc/genmodes.c: In function ‘void
_ZL18make_complex_modes10mode_classPKcj.constprop.2(mode_class, unsigned int)’:
/home/markus/gcc/gcc/genmodes.c:423:1: internal compiler error: in build2_stat,
at tree.c:3885
 make_complex_modes (enum mode_class cl,
 ^

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-03-16
     Ever Confirmed|0                           |1

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-03-16 11:38:40 UTC ---
Following comment #1, marked as NEW.

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-04-26 17:25:27 UTC ---
The test gfortran.dg/class_array_3.f03 has started to give the same ICE when
compiled -fsanitize=address for a revision between 195931 (2013-02-10: OK) and
196108 (2013-02-17).

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
The ICEs have disappeared between revisions 198750 (2013-05-09, ICEs) and
199418 (2013-05-29, OK).

The ICE for r198750 is

[macbook] f90/bug% /opt/gcc/gcc4.9p-198750/bin/gfortran -O2
/opt/gcc/work/gcc/testsuite/gfortran.dg/class_allocate_12.f90
-fsanitize=address
/opt/gcc/work/gcc/testsuite/gfortran.dg/class_allocate_12.f90: In function
'integrate':
/opt/gcc/work/gcc/testsuite/gfortran.dg/class_allocate_12.f90:69:0: internal
compiler error: in build2_stat, at tree.c:3948

i.e.,

3947        gcc_assert (POINTER_TYPE_P (tt) && POINTER_TYPE_P (TREE_TYPE
(arg0))
3948                    && ptrofftype_p (TREE_TYPE (arg1)));

Any idea about what change fixed this PR before closing it as FIXED?

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
This has been fixed between r199406 (ICE) and r199412 (OK). r199409 seems the
most likely candidate.

If nobody care to understand why, I'll close this PR as fixed in the coming
week.

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

--- Comment #6 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
I confirm that this PR has been "fixed" by revision 199409 (r199408 gives
ICEs).

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[markus at trippelsdorf dot de]

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

--- Comment #7 from Markus Trippelsdorf <markus at trippelsdorf dot de> ---
Current trunk still fails with the same error:

/var/tmp/gcc_build_dir/./prev-gcc/xg++ -B/var/tmp/gcc_build_dir/./prev-gcc/
-B/usr/local/x86_64-unknown-linux-gnu/bin/ -nostdinc++
-B/var/tmp/gcc_build_dir/prev-x86_64-unknown-linux-gnu/libstdc++-v3/src/.libs
-B/var/tmp/gcc_build_dir/prev-x86_64-unknown-linux-gnu/libstdc++-v3/libsupc++/.libs
-I/var/tmp/gcc_build_dir/prev-x86_64-unknown-linux-gnu/libstdc++-v3/include/x86_64-unknown-linux-gnu
-I/var/tmp/gcc_build_dir/prev-x86_64-unknown-linux-gnu/libstdc++-v3/include
-I/var/tmp/gcc/libstdc++-v3/libsupc++
-L/var/tmp/gcc_build_dir/prev-x86_64-unknown-linux-gnu/libstdc++-v3/src/.libs
-L/var/tmp/gcc_build_dir/prev-x86_64-unknown-linux-gnu/libstdc++-v3/libsupc++/.libs
-c   -march=native -O3 -pipe -fsanitize=address -fprofile-use -DIN_GCC  
-fno-exceptions -fno-rtti -fasynchronous-unwind-tables -W -Wall -Wno-narrowing
-Wwrite-strings -Wcast-qual -Wmissing-format-attribute -pedantic -Wno-long-long
-Wno-variadic-macros -Wno-overlength-strings -fno-common  -DHAVE_CONFIG_H
-DGENERATOR_FILE -I. -Ibuild -I../../gcc/gcc -I../../gcc/gcc/build
-I../../gcc/gcc/../include -I../../gcc/gcc/../libcpp/include 
-I../../gcc/gcc/../libdecnumber -I../../gcc/gcc/../libdecnumber/bid
-I../libdecnumber -I../../gcc/gcc/../libbacktrace    \
        -o build/genmodes.o ../../gcc/gcc/genmodes.c
../../gcc/gcc/genmodes.c: In function ‘void
make_complex_modes.constprop(mode_class, unsigned int)’:
../../gcc/gcc/genmodes.c:423:1: internal compiler error: in build2_stat, at
tree.c:4104
 make_complex_modes (enum mode_class cl,
 ^
>From gcc-bugs-return-429362-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 09 15:41:35 2013
Return-Path: <gcc-bugs-return-429362-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 7644 invoked by alias); 9 Sep 2013 15:41:35 -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 7626 invoked by uid 48); 9 Sep 2013 15:41:32 -0000
From: "sonoro at telefonica dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/58372] New: internal compiler error: ix86_compute_fra > me_layout
Date: Mon, 09 Sep 2013 15:41:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.8.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: sonoro at telefonica dot net
X-Bugzilla-Status: UNCONFIRMED
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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-58372-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/msg00602.txt.bz2
Content-length: 917

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

            Bug ID: 58372
           Summary: internal compiler error: ix86_compute_fra > me_layout
           Product: gcc
           Version: 4.8.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sonoro at telefonica dot net

I get this with mingw32-4.8.1-posix-sjlj but not with
mingw32-4.8.1-posix-dwarf

C:\SupercolliderRepos\master4\supercollider\server\plugins\DelayUGens.cpp:
In function 'void BufSampleRate_next(BufInfoUnit*,
 int)':
C:\SupercolliderRepos\master4\supercollider\server\plugins\DelayUGens.cpp:570:1:
internal compiler error: in ix86_compute_frame_layout, at
config/i386/i386.c:8981
 }

I post the ii file but I dont know if it will succed as it is bigger than 1000k

also happens with 4.8.0 and not with 4.7.2

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Markus,

Are you still seeing the bootstrap failure with
--with-build-config="bootstrap-asan" and profiled bootstrap? If yes, could you
open a new PR for it?

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #9 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to Dominique d'Humieres from comment #8)
> Markus,
> 
> Are you still seeing the bootstrap failure with
> --with-build-config="bootstrap-asan" and profiled bootstrap? If yes, could
> you open a new PR for it?

I will check this later. Feel free to close this bug anyway.

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[trippels at gcc dot gnu.org]

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

--- Comment #10 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Still ICEs on todays trunk:

../../gcc/gcc/genmodes.c: In function ‘void
make_complex_modes.constprop(mode_class, unsigned int)’:
../../gcc/gcc/genmodes.c:423:1: internal compiler error: in build2_stat, at
tree.c:4160
 make_complex_modes (enum mode_class cl,
 ^
Please submit a full bug report,


 % ../gcc/configure -with-build-config="bootstrap-asan" --disable-werror
--disable-multilib --enable-languages=c,c++
 % make -j4 BOOT_CFLAGS="-march=native -O3 -pipe" STAGE1_CFLAGS="-march=native
-O3 -pipe" CFLAGS_FOR_TARGET="-march=native -O3 -pipe"
CXXFLAGS_FOR_TARGET="-march=native -O3 -pipe" profiledbootstrap
>From gcc-bugs-return-439547-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Jan 07 19:00:21 2014
Return-Path: <gcc-bugs-return-439547-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15004 invoked by alias); 7 Jan 2014 19:00:18 -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 14894 invoked by uid 48); 7 Jan 2014 19:00:13 -0000
From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/59649] [4.9 regression] conftest.c miscompiled
Date: Tue, 07 Jan 2014 19:00:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: build, wrong-code
X-Bugzilla-Severity: critical
X-Bugzilla-Who: ebotcazou at gcc dot gnu.org
X-Bugzilla-Status: NEW
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:
Message-ID: <bug-59649-4-l1jOJiImju@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59649-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59649-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-01/txt/msg00689.txt.bz2
Content-length: 456

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

--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Untested fix (well, tested on the conftest.c and eyeballing it using cross).
> Don't have spare cycles to waste on a ia64 though, so if somebody is willing
> to bootstrap/regtest it, I'd appreciate it.

I will, but I'm wondering whether there aren't some implicit constraints on the
returned values (especially for the signed case).

[Bug sanitizer/56535] ICE: in build2_stat, at tree.c:3885 when compiling with -fsanitize=address

[dominiq at lps dot ens.fr]

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

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

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

--- Comment #11 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
(In reply to Markus Trippelsdorf from comment #9)
> ...
> I will check this later. Feel free to close this bug anyway.

I am closing this PR as FIXED. Please open a new PR for the remaining issues.