[Bug fortran/60561] New: ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[Bug fortran/60561] New: ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[burnus at gcc dot gnu.org]

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

            Bug ID: 60561
           Summary: ICE in gimplify_var_or_parm_decl, at gimplify.c:1721
                    for gfortran.dg/associate_1.f03
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org

A similar backtrace one gets for PR c++/58907.

Compiling the testsuite's gfortran.dg/associate_1.f03 with "gfortran" leads to
an ICE.

The is no ICE if one runs "gfortran -std=f2003 -fall-intrinsics -cpp 
associate_1.f03" as it is done in the test suite itself.



$ gfortran associate_1.f03
Warning: associate_1.f03:97: Illegal preprocessor directive
Warning: associate_1.f03:112: Illegal preprocessor directive
associate_1.f03: In function ‘test_char’:
associate_1.f03:104:0: internal compiler error: in gimplify_var_or_parm_decl,
at gimplify.c:1721
     str = "foobar"
 ^
0x8a998a gimplify_var_or_parm_decl
        ../../gcc/gimplify.c:1721
0x8b0424 gimplify_expr(tree_node**, gimple_statement_base**,
gimple_statement_base**, bool (*)(tree_node*), int)
        ../../gcc/gimplify.c:7879
0x8b8edd gimplify_addr_expr
        ../../gcc/gimplify.c:4801
>From gcc-bugs-return-446657-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 18 09:31:02 2014
Return-Path: <gcc-bugs-return-446657-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 12373 invoked by alias); 18 Mar 2014 09:31:01 -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 12114 invoked by uid 48); 18 Mar 2014 09:30:57 -0000
From: "burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/60557] UBSAN: ICE after ubsan_expand_null_ifn
Date: Tue, 18 Mar 2014 09:31:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: sanitizer
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: burnus 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: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-60557-4-VfHOgtbj27@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60557-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60557-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-03/txt/msg01526.txt.bz2
Content-length: 412

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`557

--- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #5)
> This should hopefully fix it.

Looks good to me. For the testcase of comment 1, it also gives the expected
run-time diagnostic:

test.f90:19: runtime error: signed integer overflow: 809078955 * 65539 cannot
be represented in type 'integer(kind=4)'

[Bug fortran/60561] ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid,
                   |                            |ice-on-invalid-code

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
So it should be rejected without -std=f2003?

[Bug fortran/60561] ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-03-18
     Ever confirmed|0                           |1

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Confirmed from 4.6 to trunk. The -cpp option is enough to let the code compile.

[Bug fortran/60561] ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[dominiq at lps dot ens.fr]

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

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> So it should be rejected without -std=f2003?

Compiling the code with -std=f2003 -fall-intrinsics gives the ICE (without
-fall-intrinsics there is a link error 

Undefined symbols for architecture x86_64:
  "_abort_", referenced from:

).

[Bug fortran/60561] ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[dominiq at lps dot ens.fr]

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

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
The ICE is in the following subroutine

  SUBROUTINE test_char (n)
    INTEGER, INTENT(IN) :: n

    CHARACTER(LEN=n) :: str

    str = "foobar"
    ASSOCIATE (my => str)
    END ASSOCIATE
  END SUBROUTINE test_char

[Bug fortran/60561] ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|accepts-invalid,            |ice-on-valid-code
                   |ice-on-invalid-code         |

--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> So it should be rejected without -std=f2003?

As -std=f2003 is implied by the default -std=gnu: No. In any case, the code in
comment 4 looks valid. -> Changed to "ice-on-valid-code".

[Bug fortran/60561] ICE in gimplify_var_or_parm_decl, at gimplify.c:1721 for gfortran.dg/associate_1.f03

[dominiq at lps dot ens.fr]

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

--- Comment #6 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Related to, if not duplicate, of pr54070.