[Bug middle-end/67619] ICE at -O1 and above on x86_64-linux-gnu in int_mode_for_mode, at stor-layout.c:425

["ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

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

--- Comment #6 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed everywhere.
>From gcc-bugs-return-497761-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 21 19:54:20 2015
Return-Path: <gcc-bugs-return-497761-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26876 invoked by alias); 21 Sep 2015 19:54:20 -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 26841 invoked by uid 48); 21 Sep 2015 19:54:16 -0000
From: "manu at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/47781] warnings from custom printf format specifiers
Date: Mon, 21 Sep 2015 19:54: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.4.5
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: manu at gcc dot gnu.org
X-Bugzilla-Status: NEW
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:
Message-ID: <bug-47781-4-96o8OnQmku@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-47781-4@http.gcc.gnu.org/bugzilla/>
References: <bug-47781-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: 2015-09/txt/msg01739.txt.bz2
Content-length: 988

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

--- Comment #16 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Eric Gallager from comment #15)
> Although checking the commentary on newer mainline versions of the
> _bfd_default_error_handler function, it looks like it does some additional
> weird stuff with the argument order, but still, support for extending the
> format attribute like this would still be a good start!

As suggested above, whoever wants to see progress on this should start
developing a plugin that hooks into gcc/c-family/c-format.c. Whether your
plugin will parse an attribute, a pragma, an internal representation or define
the formats programmatically is up to you. The important thing is to figure out
what plugin hooks you need in GCC to make it work, which will require making
the format checking extensible at runtime. Until you get that part working,
there is little benefit in discussing any possible syntax.
>From gcc-bugs-return-497762-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 21 21:57:32 2015
Return-Path: <gcc-bugs-return-497762-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 62561 invoked by alias); 21 Sep 2015 21:57:32 -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 61948 invoked by uid 48); 21 Sep 2015 21:57:28 -0000
From: "kristopher.kuhlman at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/67674] New: Incorrect result or ICE for deferred-length character component
Date: Mon, 21 Sep 2015 21:57: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: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: kristopher.kuhlman at gmail dot com
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 attachments.created
Message-ID: <bug-67674-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: 2015-09/txt/msg01740.txt.bz2
Content-length: 4160

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

            Bug ID: 67674
           Summary: Incorrect result or ICE for deferred-length character
                    component
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kristopher.kuhlman at gmail dot com
  Target Milestone: ---

Created attachment 36368
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36368&action=edit
test program

The attached test case results in incorrect results from trunk version of
gfortran (6.0). The same program gives a "not yet supported" message from 4.8.4
and gives an internal compiler error for 4.9.3. Using Ubuntu 14.04. Intel
compiler (15.03) gives expected results.

Maybe related to bug 50221?

1) Expected results (Intel compiler)
-------------------------------------
 length main program before           0
 length intermediate before           0
 length inner before           0
 length inner after          28
 here the word is finally set
 length intermediate after          28
 here the word is finally set
 length main program after          28
 final result:here the word is finally set


2) Trunk gfortran output (compiled will -Wall -Wextra)
------------------------------------------------------
 length main program before           0
 length intermediate before           0
 length inner before           0
 length inner after          28
 here the word is finally set
 length intermediate after          28
 here the word is finally set
 length main program after           0
 final result:


3) Gfortran 4.9.3 output 
------------------------
test_allocatable_string.f90: In function ‘test’:
test_allocatable_string.f90:10:0: internal compiler error: in gimplify_expr, at
gimplify.c:8538
   allocate(character(len=0) :: my_string_type%name)
 ^
0x7c5472 gimplify_expr(tree_node**, gimple_statement_base**,
gimple_statement_base**, bool (*)(tree_node*), int)
        ../../gcc-4.9.3/gcc/gimplify.c:8538
0x7ca719 gimplify_modify_expr
        ../../gcc-4.9.3/gcc/gimplify.c:4510
0x7c3c31 gimplify_expr(tree_node**, gimple_statement_base**,
gimple_statement_base**, bool (*)(tree_node*), int)
        ../../gcc-4.9.3/gcc/gimplify.c:7627
0x7c66f6 gimplify_stmt(tree_node**, gimple_statement_base**)
        ../../gcc-4.9.3/gcc/gimplify.c:5373
0x7c4b0b gimplify_statement_list
        ../../gcc-4.9.3/gcc/gimplify.c:1432
0x7c4b0b gimplify_expr(tree_node**, gimple_statement_base**,
gimple_statement_base**, bool (*)(tree_node*), int)
        ../../gcc-4.9.3/gcc/gimplify.c:8042
0x7c66f6 gimplify_stmt(tree_node**, gimple_statement_base**)
        ../../gcc-4.9.3/gcc/gimplify.c:5373
0x7c3b5c gimplify_and_add
        ../../gcc-4.9.3/gcc/gimplify.c:385
0x7c3b5c gimplify_expr(tree_node**, gimple_statement_base**,
gimple_statement_base**, bool (*)(tree_node*), int)
        ../../gcc-4.9.3/gcc/gimplify.c:7964
0x7c66f6 gimplify_stmt(tree_node**, gimple_statement_base**)
        ../../gcc-4.9.3/gcc/gimplify.c:5373
0x7c6f96 gimplify_bind_expr
        ../../gcc-4.9.3/gcc/gimplify.c:1099
0x7c3a2a gimplify_expr(tree_node**, gimple_statement_base**,
gimple_statement_base**, bool (*)(tree_node*), int)
        ../../gcc-4.9.3/gcc/gimplify.c:7824
0x7c66f6 gimplify_stmt(tree_node**, gimple_statement_base**)
        ../../gcc-4.9.3/gcc/gimplify.c:5373
0x7c763a gimplify_body(tree_node*, bool)
        ../../gcc-4.9.3/gcc/gimplify.c:8734
0x7c7987 gimplify_function_tree(tree_node*)
        ../../gcc-4.9.3/gcc/gimplify.c:8887
0x6c4877 cgraph_analyze_function(cgraph_node*)
        ../../gcc-4.9.3/gcc/cgraphunit.c:648
0x6c56b7 analyze_functions
        ../../gcc-4.9.3/gcc/cgraphunit.c:1016
0x6c6415 finalize_compilation_unit()
        ../../gcc-4.9.3/gcc/cgraphunit.c:2328
0x82f844 write_global_declarations()
        ../../gcc-4.9.3/gcc/langhooks.c:323
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.
>From gcc-bugs-return-497763-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Sep 21 23:35:18 2015
Return-Path: <gcc-bugs-return-497763-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20487 invoked by alias); 21 Sep 2015 23:35: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 20010 invoked by uid 48); 21 Sep 2015 23:35:13 -0000
From: "kargl at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/67674] Incorrect result or ICE for deferred-length character component
Date: Mon, 21 Sep 2015 23:35: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-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: kargl at gcc dot gnu.org
X-Bugzilla-Status: NEW
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_status cf_reconfirmed_on cc everconfirmed
Message-ID: <bug-67674-4-M8umhwz9Fd@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67674-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67674-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-09/txt/msg01741.txt.bz2
Content-length: 1197

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

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-09-21
                 CC|                            |kargl at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from kargl at gcc dot gnu.org ---
Reduced testcase.

! { dg-do run }
! PR fortran/67674
!
program test

   implicit none

   type str_t
      character(len=:), allocatable :: name
   end type str_t

   type(str_t) s

! This actually does what one expects.
!   character(len=:), allocatable :: a
!   allocate(character(len=0) :: a)
!   if (len(a) /= 0) call abort
!   call word(a)
!   if (len(a) /= 28) call abort

   allocate(character(len=0) :: s%name)
   if (len(s%name) /= 0) call abort
   call word(s%name)
   if (len(s%name) /= 28) call abort

   contains

      subroutine word(s1)
         character(len=:), allocatable :: s1
          s1 = 'here the word is finally set'
      end subroutine word

end program test