[Bug fortran/66050] New: ICE: FORALL with operation on matrix columns

[Bug fortran/66050] New: ICE: FORALL with operation on matrix columns

[wangmianzhi1 at linuxmail dot org]

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

            Bug ID: 66050
           Summary: ICE: FORALL with operation on matrix columns
           Product: gcc
           Version: 4.9.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: wangmianzhi1 at linuxmail dot org
  Target Milestone: ---

The ICE is triggered when compiling the following (simplified) example with
"-O1" to "-Ofast".

program test
  double precision::a(3,3),b,c(3)
  b=1d0
  c=[1d0,2d0,3d0]
  forall(i=1:3)
    a(:,i)=b*c(:)
  end forall
end program

-------------------------------------------

gcc -v

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.9/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu
4.9.2-10ubuntu13' --with-bugurl=file:///usr/share/doc/gcc-4.9/README.Bugs
--enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.9 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.9 --libdir=/usr/lib --enable-nls
--with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --enable-gnu-unique-object --disable-vtable-verify
--enable-plugin --with-system-zlib --disable-browser-plugin
--enable-java-awt=gtk --enable-gtk-cairo
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.9-amd64/jre --enable-java-home
--with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.9-amd64
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.9-amd64
--with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686
--with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib
--with-tune=generic --enable-checking=release --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.9.2 (Ubuntu 4.9.2-10ubuntu13)

[Bug fortran/66050] ICE: FORALL with operation on matrix columns

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2015-05-07
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
WORKSFORME for 4.8.4, 4.9.2, 5.1 and trunk (6.0).

Using built-in specs.
COLLECT_GCC=gfortran-fsf-4.9
COLLECT_LTO_WRAPPER=/sw64/lib/gcc4.9/libexec/gcc/x86_64-apple-darwin14.1.0/4.9.2/lto-wrapper
Target: x86_64-apple-darwin14.1.0
Configured with: ../gcc-4.9.2/configure --prefix=/sw64
--prefix=/sw64/lib/gcc4.9 --mandir=/sw64/share/man
--infodir=/sw64/lib/gcc4.9/info
--enable-languages=c,c++,fortran,lto,objc,obj-c++,java --with-gmp=/sw64
--with-libiconv-prefix=/sw64 --with-isl=/sw64 --with-cloog=/sw64
--with-mpc=/sw64 --with-system-zlib --x-includes=/usr/X11R6/include
--x-libraries=/usr/X11R6/lib --program-suffix=-fsf-4.9
Thread model: posix
gcc version 4.9.2 (GCC) 

What is the ICE?

[Bug fortran/66050] ICE: FORALL with operation on matrix columns

[wangmianzhi1 at linuxmail dot org]

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

--- Comment #2 from Mianzhi Wang <wangmianzhi1 at linuxmail dot org> ---
I may have made some mistake on the original example.
This should trigger the ICE (in some conditions, see below)

program test
  double precision::a(3,3),b
  b=1d0
  forall(i=1:3)
    a(:,i)=b*[1d0,2d0,3d0]
  end forall
end program

---------------------------------------------------------

It MIGHT be hardware-specific.
The ICE is not triggered on Intel i7-3770k with gcc 4.8.2.
But it is triggered on AMD A4-5000 with gcc 4.9.2.
I'm sorry that I can't provide results for other CPU/gcc combination.

---------------------------------------------------------

The ICE is

test.f90: In function ‘test’:
test.f90:4:0: internal compiler error: in gfc_trans_forall_1, at
fortran/trans-stmt.c:4015
   forall(i=1:3)
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-4.9/README.Bugs> for instructions.
>From gcc-bugs-return-485752-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu May 07 14:24:00 2015
Return-Path: <gcc-bugs-return-485752-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 84113 invoked by alias); 7 May 2015 14:23:59 -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 84076 invoked by uid 48); 7 May 2015 14:23:55 -0000
From: "gerhard.steinmetz.fortran@t-online.de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/66052] New: Segmentation fault for misplaced protected statement
Date: Thu, 07 May 2015 14:23:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: gerhard.steinmetz.fortran@t-online.de
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
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 target_milestone
Message-ID: <bug-66052-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: 2015-05/txt/msg00592.txt.bz2
Content-length: 824

https://gcc.gnu.org/bugzilla/show_bug.cgi?idf052

            Bug ID: 66052
           Summary: Segmentation fault for misplaced protected statement
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gerhard.steinmetz.fortran@t-online.de
  Target Milestone: ---

This code fragment with interchanged lines
   module p
   contains
   protected x
   end

produces (with gfortran 5.1.1 on SUSE Linux 13.2, 64 bit)
f951: internal compiler error: Segmentation fault

Similar, but basically not legal in program, subroutine, ...
   program p
   contains
   protected x
   end

Or even ...
   program p
   end
   protected x
   end

Kind regards.

[Bug fortran/66050] ICE: FORALL with operation on matrix columns

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> I may have made some mistake on the original example.
> This should trigger the ICE (in some conditions, see below)
> ...

It does with 6.0 r222768, Corei7:

pr66050_1.f90:4:0:

   forall(i=1:3)
 1
internal compiler error: in gfc_trans_forall_1, at fortran/trans-stmt.c:4187

backtrace is

    frame #9: 0x0000000100db5b26 f951`fancy_abort(file=<unavailable>,
line=<unavailable>, function=<unavailable>) + 38 at diagnostic.c:1291
    frame #10: 0x0000000100154635
f951`gfc_trans_forall_1(code=0x0000000143209170,
nested_forall_info=0x00007fff5fbfee60) + 3093 at trans-stmt.c:4187
    frame #11: 0x00000001000d06d8 f951`trans_code(code=0x0000000143209170,
cond=0x0000000000000000) + 1080 at trans.c:1829
    frame #12: 0x000000010010088b
f951`gfc_generate_function_code(ns=<unavailable>) + 1275 at trans-decl.c:5896
    frame #13: 0x000000010008800c f951`gfc_parse_file() + 1836 at parse.c:5341
    frame #14: 0x00000001000ccff6 f951`gfc_be_parse_file + 38 at f95-lang.c:228

[Bug fortran/66050] ICE: FORALL with operation on matrix columns

[dominiq at lps dot ens.fr]

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

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

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

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
The test in comment 2 compiles with -O1 -fno-frontend-optimize.

[Bug fortran/66050] ICE: FORALL with operation on matrix columns

[tkoenig at gcc dot gnu.org]

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

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

--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
This bug shares the same cause as PR 66385:  BLOCKs introduced by front-end
optimization and FORALL don't mix well.

*** This bug has been marked as a duplicate of bug 66385 ***