[Bug fortran/64244] New: internal compiler error at class.c:236 when using non_overridable

[Bug fortran/64244] New: internal compiler error at class.c:236 when using non_overridable

[ondrej.certik at gmail dot com]

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

            Bug ID: 64244
           Summary: internal compiler error at class.c:236 when using
                    non_overridable
           Product: gcc
           Version: 4.9.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ondrej.certik at gmail dot com

Created attachment 34235
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34235&action=edit
Test program to trigger ICE

This test file (also attached) produces ICE:

$ cat test_non_overridable.f90 
module m
implicit none

type :: A
contains
    generic :: f => g
    procedure, non_overridable :: g
end type

contains

subroutine g(this)
class(A), intent(in) :: this
end subroutine

end module


program test_non_overridable
use m, only: A
implicit none
class(A), allocatable :: h
call h%f()
end program


$ gfortran test_non_overridable.f90 
f951: internal compiler error: in gfc_add_component_ref, at fortran/class.c:236
0x543cf7 gfc_add_component_ref(gfc_expr*, char const*)
    ../.././gcc/fortran/class.c:236
0x5b4c07 resolve_typebound_subroutine
    ../.././gcc/fortran/resolve.c:5942
0x5b4c07 gfc_resolve_code(gfc_code*, gfc_namespace*)
    ../.././gcc/fortran/resolve.c:9966
0x5b72aa resolve_codes
    ../.././gcc/fortran/resolve.c:14719
0x5b7392 gfc_resolve
    ../.././gcc/fortran/resolve.c:14747
0x5a2e5a resolve_all_program_units
    ../.././gcc/fortran/parse.c:4886
0x5a2e5a gfc_parse_file()
    ../.././gcc/fortran/parse.c:5135
0x5e00f5 gfc_be_parse_file
    ../.././gcc/fortran/f95-lang.c:212
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.

This affects gfortran 4.9.2, I also tried gfortran 4.7.2 which gives:

$ gfortran test_non_overridable.f90 
f951: internal compiler error: in gfc_add_component_ref, at fortran/class.c:209
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


When you remove the "non_overridable" keyword, it compiles. I wasn't able to
simplify the test case further.

[Bug fortran/64244] [4.8/4.9/5 Regression] internal compiler error at class.c:236 when using non_overridable

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-12-09
            Summary|internal compiler error at  |[4.8/4.9/5 Regression]
                   |class.c:236 when using      |internal compiler error at
                   |non_overridable             |class.c:236 when using
                   |                            |non_overridable
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Revision r180989 compiles the code, r181424 gives the ICE. Likely r181107 for
pr50919.

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.4
      Known to fail|                            |4.7.4, 4.8.3, 4.9.1

--- Comment #2 from janus at gcc dot gnu.org ---
(In reply to Ondřej Čertík from comment #0)
> This test file (also attached) produces ICE:

The attachment is missing the non_overridable attribute. The same backtrace
also appears on trunk.
>From gcc-bugs-return-470731-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Dec 15 13:32:42 2014
Return-Path: <gcc-bugs-return-470731-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 28723 invoked by alias); 15 Dec 2014 13:32:42 -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 28369 invoked by uid 48); 15 Dec 2014 13:32:37 -0000
From: "larsbj at gullik dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/64314] New: [5 Regression] ICE in record_reference,  at cgraphbuild.c:87
Date: Mon, 15 Dec 2014 13:32: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: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: larsbj at gullik 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-64314-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-12/txt/msg01738.txt.bz2
Content-length: 2751

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

            Bug ID: 64314
           Summary: [5 Regression] ICE in record_reference,  at
                    cgraphbuild.c:87
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: larsbj at gullik dot net

Compiling this:

#include <string>
enum profile_type {};
struct A {
  std::string value;
};
struct {
  profile_type type;
  A strategies[1];
} a{};


with:

g++ -std=gnu++1 -c
(g++ (GCC) 5.0.0 20141215 (experimental) as of r218745)

Results in:

cc1plus: internal compiler error: in record_reference, at cgraphbuild.c:87
0x768273 record_reference
        ../../gcc/gcc/cgraphbuild.c:87
0xc2dda3 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, default_hashset_traits>*, tree_node*
(*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*,
hash_set<tree_node*, default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11022
0xc2e105 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, default_hashset_traits>*, tree_node*
(*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*,
hash_set<tree_node*, default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11219
0xc2e0a5 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, default_hashset_traits>*, tree_node*
(*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*,
hash_set<tree_node*, default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11099
0xc2e0a5 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, default_hashset_traits>*, tree_node*
(*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*,
hash_set<tree_node*, default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11099
0xc2e0a5 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, default_hashset_traits>*, tree_node*
(*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*,
hash_set<tree_node*, default_hashset_traits>*))
        ../../gcc/gcc/tree.c:11099
0x768461 record_references_in_initializer(tree_node*, bool)
        ../../gcc/gcc/cgraphbuild.c:426
0xc5aede varpool_node::analyze()
        ../../gcc/gcc/varpool.c:534
0x76c60a analyze_functions
        ../../gcc/gcc/cgraphunit.c:1048
0x76ca65 symbol_table::finalize_compilation_unit()
        ../../gcc/gcc/cgraphunit.c:2351
0x61102b cp_write_global_declarations()
        ../../gcc/gcc/cp/decl2.c:4688


Might be releated to bug 50410 and/or bug 57197

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #3 from janus at gcc dot gnu.org ---
(In reply to Dominique d'Humieres from comment #1)
> Likely r181107 for pr50919.

Yes, this commit (authored by myself) is definitely the culprit here.

The nontriviality in the given test case is that we have to deal with a generic
type-bound call, which is being resolved to a non-overridable type-bound call.

'resolve_typebound_generic_call' should probably communicate to its caller that
the specific procedure it found is not overridable.

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |janus at gcc dot gnu.org

--- Comment #4 from janus at gcc dot gnu.org ---
(In reply to janus from comment #3)
> 'resolve_typebound_generic_call' should probably communicate to its caller
> that the specific procedure it found is not overridable.

It turns out that resolve_typebound_generic_call actually does update this
information in the gfc_expr, but then resolve_typebound_call needs to pass it
outside, before it transforms the whole thing into an EXEC_CALL.

Here is a draft patch which does this (making the ICE disappear):

Index: gcc/fortran/resolve.c
===================================================================
--- gcc/fortran/resolve.c    (Revision 218748)
+++ gcc/fortran/resolve.c    (Arbeitskopie)
@@ -5667,7 +5667,7 @@ success:
 /* Resolve a call to a type-bound subroutine.  */

 static bool
-resolve_typebound_call (gfc_code* c, const char **name)
+resolve_typebound_call (gfc_code* c, const char **name, bool *overridable)
 {
   gfc_actual_arglist* newactual;
   gfc_symtree* target;
@@ -5691,6 +5691,10 @@ static bool
   if (!resolve_typebound_generic_call (c->expr1, name))
     return false;

+  /* Pass along the NON_OVERRIDABLE attribute of the specific TBP. */
+  if (overridable)
+    *overridable = !c->expr1->value.compcall.tbp->non_overridable;
+
   /* Transform into an ordinary EXEC_CALL for now.  */

   if (!resolve_typebound_static (c->expr1, &target, &newactual))
@@ -5950,7 +5954,7 @@ resolve_typebound_subroutine (gfc_code *code)
       if (c->ts.u.derived == NULL)
     c->ts.u.derived = gfc_find_derived_vtab (declared);

-      if (!resolve_typebound_call (code, &name))
+      if (!resolve_typebound_call (code, &name, NULL))
     return false;

       /* Use the generic name if it is there.  */
@@ -5982,7 +5986,7 @@ resolve_typebound_subroutine (gfc_code *code)
     }

   if (st == NULL)
-    return resolve_typebound_call (code, NULL);
+    return resolve_typebound_call (code, NULL, NULL);

   if (!resolve_ref (code->expr1))
     return false;
@@ -5995,10 +5999,10 @@ resolve_typebound_subroutine (gfc_code *code)
      || (!class_ref && st->n.sym->ts.type != BT_CLASS))
     {
       gfc_free_ref_list (new_ref);
-      return resolve_typebound_call (code, NULL);
+      return resolve_typebound_call (code, NULL, NULL);
     }

-  if (!resolve_typebound_call (code, &name))
+  if (!resolve_typebound_call (code, &name, &overridable))
     {
       gfc_free_ref_list (new_ref);
       return false;

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #5 from janus at gcc dot gnu.org ---
(In reply to janus from comment #4)
> Here is a draft patch which does this (making the ICE disappear):

Regtests cleanly.

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mrestelli at gmail dot com

--- Comment #6 from janus at gcc dot gnu.org ---
*** Bug 61115 has been marked as a duplicate of this bug. ***

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #7 from janus at gcc dot gnu.org ---
Author: janus
Date: Tue Dec 16 08:15:38 2014
New Revision: 218776

URL: https://gcc.gnu.org/viewcvs?rev=218776&root=gcc&view=rev
Log:
2014-12-16  Janus Weil  <janus@gcc.gnu.org>

    PR fortran/64244
    * resolve.c (resolve_typebound_call): New argument to pass out the
    non-overridable attribute of the specific procedure.
    (resolve_typebound_subroutine): Get overridable flag from
    resolve_typebound_call.

2014-12-16  Janus Weil  <janus@gcc.gnu.org>

    PR fortran/64244
    * gfortran.dg/typebound_call_26.f90: New.

Added:
    trunk/gcc/testsuite/gfortran.dg/typebound_call_26.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #8 from janus at gcc dot gnu.org ---
The bug should be fixed on trunk with r218776.

Ondrej, in case your test code is part of a larger code base, do you have the
possibility to test it with gfortran trunk?

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[ondrej.certik at gmail dot com]

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

--- Comment #9 from Ondřej Čertík <ondrej.certik at gmail dot com> ---
Janus, thanks a lot for fixing this! Yes, it's part of a large code base. I'll
try the trunk soon.
>From gcc-bugs-return-470898-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 16 16:46:40 2014
Return-Path: <gcc-bugs-return-470898-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 17494 invoked by alias); 16 Dec 2014 16:46:40 -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 17003 invoked by uid 48); 16 Dec 2014 16:46:35 -0000
From: "lh_mouse at 126 dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/61189] ICE with __builtin_return_address() in noexcept lambda on x86
Date: Tue, 16 Dec 2014 16:46: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.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: lh_mouse at 126 dot com
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-61189-4-CX2rDohu95@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61189-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61189-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-12/txt/msg01905.txt.bz2
Content-length: 255

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

--- Comment #3 from lh_mouse <lh_mouse at 126 dot com> ---
Thanks Kai. It seems to be exactly the same reason that causes
https://gcc.gnu.org/bugzilla/show_bug.cgi?idb152. Maybe we should merge them?

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #10 from janus at gcc dot gnu.org ---
(In reply to Ondřej Čertík from comment #9)
> Janus, thanks a lot for fixing this!

You're welcome!


> Yes, it's part of a large code base. I'll try the trunk soon.

That would be great. Since this bug is a regression, I plan to backport the fix
to the 4.8 and 4.9 branches. But before that it would be good to make sure that
no further problems appear. I think the NON_OVERRIDABLE attribute is not
incredibly well-tested at this point.
>From gcc-bugs-return-470900-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 16 16:51:32 2014
Return-Path: <gcc-bugs-return-470900-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20091 invoked by alias); 16 Dec 2014 16:51:31 -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 20059 invoked by uid 55); 16 Dec 2014 16:51:28 -0000
From: "a3at.mail at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/64332] gcc/g++ handles system_header differently
Date: Tue, 16 Dec 2014 16:51: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.9.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: a3at.mail at gmail dot com
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:
Message-ID: <bug-64332-4-gW3owD4oUf@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64332-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64332-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-12/txt/msg01907.txt.bz2
Content-length: 490

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

--- Comment #2 from Azat <a3at.mail at gmail dot com> ---
On Tue, Dec 16, 2014 at 04:46:28PM +0000, pinskia at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?idd332
>
> --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
> I don't think it is system header which is being handled differently, rather I
> think it is warning for attribute is being handled differently.

Maybe... I didn't check this.

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[ondrej.certik at gmail dot com]

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

--- Comment #11 from Ondřej Čertík <ondrej.certik at gmail dot com> ---
On Tue, Dec 16, 2014 at 9:47 AM, janus at gcc dot gnu.org
<gcc-bugzilla@gcc.gnu.org> wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64244
>
> --- Comment #10 from janus at gcc dot gnu.org ---
> (In reply to Ondřej Čertík from comment #9)
>> Janus, thanks a lot for fixing this!
>
> You're welcome!
>
>
>> Yes, it's part of a large code base. I'll try the trunk soon.
>
> That would be great. Since this bug is a regression, I plan to backport the fix
> to the 4.8 and 4.9 branches. But before that it would be good to make sure that
> no further problems appear. I think the NON_OVERRIDABLE attribute is not
> incredibly well-tested at this point.

I can compile 4.9.2 from source without problems, but when I follow
the same procedure with the latest trunk (I used:
https://github.com/gcc-mirror/gcc), I get:

https://gist.github.com/certik/bbb96383e540efc8d6a3

And the part of config.log says:

https://gist.github.com/certik/a308dbc6a26d12888ee6

i.e. the relevant error seems to be:

/usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.15' not found

So my system (RHEL6) libstdc++ library might be incompatible with the
trunk, but I don't see why gcc couldn't compile. Any ideas how to fix
this?
>From gcc-bugs-return-470907-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 16 17:26:16 2014
Return-Path: <gcc-bugs-return-470907-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 17001 invoked by alias); 16 Dec 2014 17:26:16 -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 16955 invoked by uid 48); 16 Dec 2014 17:26:13 -0000
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/63851] [5 Regression] ipa-icf miscompiles gfortran.dg/assumed_rank_(8|9|10).f90 at -O2 and above
Date: Tue, 16 Dec 2014 17:26:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: marxin at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-63851-4-mDX0ZUMZBo@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63851-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63851-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: 2014-12/txt/msg01914.txt.bz2
Content-length: 783

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
Yes, IPA ICF should respect 'restrict' attribute.
May I ask you to rerun test suite with applied:

diff --git a/gcc/ipa-icf-gimple.c b/gcc/ipa-icf-gimple.c
index ec0290a..98f38ee 100644
--- a/gcc/ipa-icf-gimple.c
+++ b/gcc/ipa-icf-gimple.c
@@ -185,6 +185,9 @@ bool func_checker::compatible_types_p (tree t1, tree t2,
   if (TREE_CODE (t1) != TREE_CODE (t2))
     return return_false_with_msg ("different tree types");

+  if (TYPE_RESTRICT (t1) != TYPE_RESTRICT (t2))
+    return return_false_with_msg ("restrict flags are different");
+
   if (!types_compatible_p (t1, t2))
     return return_false_with_msg ("types are not compatible");

Thanks,
Martin
>From gcc-bugs-return-470908-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 16 17:30:00 2014
Return-Path: <gcc-bugs-return-470908-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 19119 invoked by alias); 16 Dec 2014 17:29: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 19021 invoked by uid 48); 16 Dec 2014 17:29:56 -0000
From: "jamborm at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/61591] Undefined behavior sanitizer does not catch builtin_unreachable's from impossible devirtualization
Date: Tue, 16 Dec 2014 17:29: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: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jamborm at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jamborm at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61591-4-2hpITFHHqT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61591-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61591-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-12/txt/msg01915.txt.bz2
Content-length: 246

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

--- Comment #10 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Honza, given what you wrote in

https://gcc.gnu.org/ml/gcc-patches/2014-12/msg01033.html

do you want to take over this bug?

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #12 from janus at gcc dot gnu.org ---
(In reply to Ondřej Čertík from comment #11)
> So my system (RHEL6) libstdc++ library might be incompatible with the
> trunk, but I don't see why gcc couldn't compile. Any ideas how to fix
> this?

Unfortunately I have no idea. It might possibly help to use --disable-bootstrap
or --disable-multilib when configuring (just guessing here).

In general, if you have trouble building GCC, you might get help from
gcc-help@gcc.gnu.org (or, for Fortran-related things: fortran@gcc.gnu.org).

Note that some people offer nightly builds of the GCC trunk, see
https://gcc.gnu.org/wiki/GFortranBinaries.
>From gcc-bugs-return-470932-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 16 20:58:19 2014
Return-Path: <gcc-bugs-return-470932-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 8769 invoked by alias); 16 Dec 2014 20:58: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 8684 invoked by uid 48); 16 Dec 2014 20:58:09 -0000
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/63568] Missed optimization (a & ~mask) | (b & mask) = a ^ ((a ^ b) & mask)
Date: Tue, 16 Dec 2014 20:58:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-63568-4-GEuPLhjOmQ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63568-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63568-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-12/txt/msg01939.txt.bz2
Content-length: 380

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

--- Comment #8 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
(In reply to Oleg Endo from comment #7)
> If you decide not to do the transform at the tree level, please change this
> to a target PR and assign it to me.

I have a patch that does the transformation on match-and-simplify.  Let's see
if it can make it in...

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[ondrej.certik at gmail dot com]

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

--- Comment #14 from Ondřej Čertík <ondrej.certik at gmail dot com> ---
On Tue, Dec 16, 2014 at 4:24 PM, Ondřej Čertík <ondrej.certik@gmail.com> wrote:
> On Tue, Dec 16, 2014 at 1:46 PM, janus at gcc dot gnu.org
> <gcc-bugzilla@gcc.gnu.org> wrote:
>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64244
>>
>> --- Comment #12 from janus at gcc dot gnu.org ---
>> (In reply to Ondřej Čertík from comment #11)
>>> So my system (RHEL6) libstdc++ library might be incompatible with the
>>> trunk, but I don't see why gcc couldn't compile. Any ideas how to fix
>>> this?
>>
>> Unfortunately I have no idea. It might possibly help to use --disable-bootstrap
>> or --disable-multilib when configuring (just guessing here).
>>
>> In general, if you have trouble building GCC, you might get help from
>> gcc-help@gcc.gnu.org (or, for Fortran-related things: fortran@gcc.gnu.org).
>>
>> Note that some people offer nightly builds of the GCC trunk, see
>> https://gcc.gnu.org/wiki/GFortranBinaries.
>
> Thanks, I might ask for help there later. In the meantime I just
> backported your patch to 4.9.2 and recompiled. I tested on our code
> base, but I realized that I also need your and Andre's patch from
> here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60255, so I am
> recompiling again.

I tested it and it seems to be working! The code compiled with
non_overridable on.

There are run-time segfaults and array bounds mismatches in our code,
that don't happen with ifort, so I will be slowly isolating those and
reporting them. They seem unrelated to the non_overridable issue, as
they also happen when I remove non_overridable.

Ondrej
>From gcc-bugs-return-470945-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Dec 17 00:23:27 2014
Return-Path: <gcc-bugs-return-470945-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 20873 invoked by alias); 17 Dec 2014 00:23:26 -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 20788 invoked by uid 48); 17 Dec 2014 00:23:22 -0000
From: "cmang at google dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug go/61265] gccgo: ICE in verify_gimple_in_seq [GoSmith]
Date: Wed, 17 Dec 2014 00:23:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: go
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cmang at google dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: cmang at google dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc assigned_to everconfirmed
Message-ID: <bug-61265-4-oZuraihX83@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61265-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61265-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-12/txt/msg01952.txt.bz2
Content-length: 748

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

Chris Manghane <cmang at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-12-17
                 CC|                            |cmang at google dot com
           Assignee|ian at airs dot com                |cmang at google dot com
     Ever confirmed|0                           |1

--- Comment #1 from Chris Manghane <cmang at google dot com> ---
This can be reproduced with a smaller program:

package main

var a = [1][0]int{B}[0]
var B = [][0]int{}[0]

func main() {}

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #16 from janus at gcc dot gnu.org ---
Author: janus
Date: Tue Dec 23 10:51:32 2014
New Revision: 219043

URL: https://gcc.gnu.org/viewcvs?rev=219043&root=gcc&view=rev
Log:
2014-12-23  Janus Weil  <janus@gcc.gnu.org>

    Backport from mainline
    PR fortran/64244
    * resolve.c (resolve_typebound_call): New argument to pass out the
    non-overridable attribute of the specific procedure.
    (resolve_typebound_subroutine): Get overridable flag from
    resolve_typebound_call.

2014-12-23  Janus Weil  <janus@gcc.gnu.org>

    Backport from mainline
    PR fortran/64244
    * gfortran.dg/typebound_call_26.f90: New.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/gfortran.dg/typebound_call_26.f90
Modified:
    branches/gcc-4_9-branch/gcc/fortran/ChangeLog
    branches/gcc-4_9-branch/gcc/fortran/resolve.c
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

--- Comment #17 from janus at gcc dot gnu.org ---
Author: janus
Date: Tue Dec 23 19:06:23 2014
New Revision: 219047

URL: https://gcc.gnu.org/viewcvs?rev=219047&root=gcc&view=rev
Log:
2014-12-23  Janus Weil  <janus@gcc.gnu.org>

    Backport from mainline
    PR fortran/64244
    * resolve.c (resolve_typebound_call): New argument to pass out the
    non-overridable attribute of the specific procedure.
    (resolve_typebound_subroutine): Get overridable flag from
    resolve_typebound_call.

2014-12-23  Janus Weil  <janus@gcc.gnu.org>

    Backport from mainline
    PR fortran/64244
    * gfortran.dg/typebound_call_26.f90: New.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gfortran.dg/typebound_call_26.f90
Modified:
    branches/gcc-4_8-branch/gcc/fortran/ChangeLog
    branches/gcc-4_8-branch/gcc/fortran/resolve.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog

[Bug fortran/64244] [4.8/4.9/5 Regression] ICE at class.c:236 when using non_overridable

[janus at gcc dot gnu.org]

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

janus at gcc dot gnu.org changed:

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

--- Comment #18 from janus at gcc dot gnu.org ---
By now I have backported the fix to the 4.9 and 4.8 branches.

Closing. Thanks again for the report!