[Bug c++/60046] New: internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[Bug c++/60046] New: internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[lukeocamden at gmail dot com]

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

            Bug ID: 60046
           Summary: internal compiler error: in nothrow_spec_p, at
                    cp/except.c:1280
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: lukeocamden at gmail dot com

Sorry: no preprocessed source yet.

$ g++ --version
g++ (GCC) 4.9.0 20140202 (experimental)
Copyright (C) 2014 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

$ cat nothrow-ice.cpp

#include <vector>

template <typename T>
struct Container : public std::vector<int>
{
  typedef std::vector<int> vec;

  void swap(Container& rhs)
  {
    vec::swap(rhs);
  }
};

int main()
{
  Container<int> ca;
  Container<int> cb;

  ca.swap(cb);

  return 0;
}

$ g++ -std=c++11 nothrow-ice.cpp
nothrow-ice.cpp: In instantiation of 'void Container<T>::swap(Container<T>&)
[with T = int]':
nothrow-ice.cpp:20:13:   required from here
nothrow-ice.cpp:11:18: internal compiler error: in nothrow_spec_p, at
cp/except.c:1280
     vec::swap(rhs);
                  ^
0x625335 nothrow_spec_p(tree_node const*)
        gcc/cp/except.c:1279
0x56fff8 set_flags_from_callee(tree_node*)
        gcc/cp/call.c:330
0x5700c9 build_call_a(tree_node*, int, tree_node**)
        gcc/cp/call.c:362
0x5710f2 build_cxx_call(tree_node*, int, tree_node**, int)
        gcc/cp/call.c:7241
0x57c4c8 build_over_call
        gcc/cp/call.c:7225
0x579a0d build_new_method_call_1
        gcc/cp/call.c:7887
0x579a0d build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, tree_node*, int, tree_node**, int)
        gcc/cp/call.c:7957
0x63abf8 finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
        gcc/cp/semantics.c:2306
0x5a4414 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
        gcc/cp/pt.c:14625
0x5a79d8 tsubst_expr
        gcc/cp/pt.c:13812
0x5a6bb6 tsubst_expr
        gcc/cp/pt.c:13233
0x5a7971 tsubst_expr
        gcc/cp/pt.c:13424
0x5a67d2 instantiate_decl(tree_node*, int, bool)
        gcc/cp/pt.c:19690
0x5bce7b instantiate_pending_templates(int)
        gcc/cp/pt.c:19806
0x5d50cf cp_write_global_declarations()
        gcc/cp/decl2.c:4149
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.

[Bug c++/60046] [4.7/4.8/4.9 Regression] internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-02-04
      Known to work|                            |4.6.4
   Target Milestone|---                         |4.7.4
            Summary|internal compiler error: in |[4.7/4.8/4.9 Regression]
                   |nothrow_spec_p, at          |internal compiler error: in
                   |cp/except.c:1280            |nothrow_spec_p, at
                   |                            |cp/except.c:1280
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Compiles ok with 4.6.4.

[Bug c++/60046] [4.7/4.8/4.9 Regression] internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r174820.  Reduced testcase -std=c++11:

constexpr bool foo () { return noexcept (true); }
template <typename T>
struct V
{
  void bar (V &) noexcept (foo ()) {}
};
template <typename T>
struct W : public V <int>
{
  void bar (W &x) { V <int>::bar (x); }
};

int
main ()
{
  W <int> a, b;
  a.bar (b);
}

[Bug c++/60046] [4.7/4.8/4.9 Regression] internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

[Bug c++/60046] [4.7/4.8/4.9 Regression] internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Feb 19 19:03:19 2014
New Revision: 207917

URL: http://gcc.gnu.org/viewcvs?rev=207917&root=gcc&view=rev
Log:
    PR c++/60046
    * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
    spec from template context.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/noexcept22.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c

[Bug c++/60046] [4.7/4.8/4.9 Regression] internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Feb 19 19:59:09 2014
New Revision: 207922

URL: http://gcc.gnu.org/viewcvs?rev=207922&root=gcc&view=rev
Log:
    PR c++/60046
    * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
    spec from template context.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/noexcept22.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/pt.c

[Bug c++/60046] [4.7/4.8/4.9 Regression] internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Feb 19 19:59:07 2014
New Revision: 207921

URL: http://gcc.gnu.org/viewcvs?rev=207921&root=gcc&view=rev
Log:
    PR c++/60046
    * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
    spec from template context.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/cpp0x/noexcept22.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/pt.c

[Bug c++/60046] [4.7/4.8/4.9 Regression] internal compiler error: in nothrow_spec_p, at cp/except.c:1280

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed, thanks.