[Bug c++/59956] New: internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[Bug c++/59956] New: internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[chretien at lirmm dot fr]

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

            Bug ID: 59956
           Summary: internal compiler error: unexpected expression ‘P_S’
                    of kind template_parm_index
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: chretien at lirmm dot fr

Created attachment 31961
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31961&action=edit
repro code

I get the following internal compiler error with g++ 4.8.2 and the attached
repro code:

gcc_ice.cpp: In instantiation of ‘class Foo<float, 5>’:
gcc_ice.cpp:35:28:   required from here
gcc_ice.cpp:28:17: internal compiler error: unexpected expression ‘P_S’ of kind
template_parm_index
  friend void Bar<U, P_S, A_S>::impl (const Foo<U,P_S>& poly);
              ^

This was tested on Arch Linux (x86_64).

$ g++ --version
g++ (GCC) 4.8.2 20131219 (prerelease)
>From gcc-bugs-return-441609-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jan 27 13:13:19 2014
Return-Path: <gcc-bugs-return-441609-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 7464 invoked by alias); 27 Jan 2014 13:13: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 7074 invoked by uid 48); 27 Jan 2014 13:13:13 -0000
From: "burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/59957] New: ICE in read_line_num when re-#define-ing a -DVAR=...
Date: Mon, 27 Jan 2014 13:13: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: 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: 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 keywords bug_severity priority component assigned_to reporter
Message-ID: <bug-59957-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-01/txt/msg02751.txt.bz2
Content-length: 1373

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY957

            Bug ID: 59957
           Summary: ICE in read_line_num when re-#define-ing a -DVAR=...
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org

Running

  gcc -c -DNDEBUG=1 test.c

on the following code will give an ICE:

  #ifndef DEBUG
  #define NDEBUG  /* Re-define NDEBUG - should warn but not ICE  */
  #endif
  #include <assert.h>


will give an ICE with 4.9:


0xfa2248 read_line_num
        ../../gcc/input.c:603
0xfa2248 location_get_source_line(expanded_location, int*)
        ../../gcc/input.c:702
0xf9cf4b diagnostic_show_locus(diagnostic_context*, diagnostic_info const*)
        ../../gcc/diagnostic.c:304
0xf9df8b diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
        ../../gcc/diagnostic.c:800
0x635024 c_cpp_error(cpp_reader*, int, int, unsigned int, unsigned int, char
const*, __va_list_tag (*) [1])
        ../../gcc/c-family/c-common.c:9639
0xfac796 cpp_error_with_line(cpp_reader*, int, unsigned int, unsigned int, char
const*, ...)
        ../../libcpp/errors.c:163
0xfbc7ef _cpp_create_definition
        ../../libcpp/macro.c:3124

[Bug c++/59956] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-01-27
                 CC|                            |trippels at gcc dot gnu.org
   Target Milestone|---                         |4.8.3
     Ever confirmed|0                           |1
      Known to fail|                            |4.8.3, 4.9.0

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Confirmed.

markus@x4 tmp % cat test.ii
template <int> struct A;
template <int> class B {
  template <int A_S> friend void A<A_S>::impl();
};
B<0> a;

markus@x4 tmp % g++ test.ii
test.ii: In instantiation of ‘class B<0>’:
test.ii:5:6:   required from here
test.ii:3:34: internal compiler error: unexpected expression ‘A_S’ of kind
template_parm_index
   template <int A_S> friend void A<A_S>::impl();
                                  ^
0x6e2af5 cxx_eval_constant_expression
        ../../gcc/gcc/cp/semantics.c:9784
0x6e5875 cxx_eval_outermost_constant_expr
        ../../gcc/gcc/cp/semantics.c:9804
0x6e854b maybe_constant_value(tree_node*)
        ../../gcc/gcc/cp/semantics.c:9914
0x5c6512 convert_nontype_argument
        ../../gcc/gcc/cp/pt.c:5671
0x5c6512 convert_template_argument
        ../../gcc/gcc/cp/pt.c:6477
0x5be4a0 coerce_template_parms
        ../../gcc/gcc/cp/pt.c:6851
0x5c8369 lookup_template_class_1
        ../../gcc/gcc/cp/pt.c:7422
0x5c8369 lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
        ../../gcc/gcc/cp/pt.c:7720
0x5cdb73 tsubst_aggr_type
        ../../gcc/gcc/cp/pt.c:10023
0x5d2705 tsubst_decl
        ../../gcc/gcc/cp/pt.c:10401
0x5c025f tsubst(tree_node*, tree_node*, int, tree_node*)
        ../../gcc/gcc/cp/pt.c:11349
0x5eed53 tsubst_friend_function
        ../../gcc/gcc/cp/pt.c:8211
0x5eed53 instantiate_class_template_1
        ../../gcc/gcc/cp/pt.c:9176
0x5eed53 instantiate_class_template(tree_node*)
        ../../gcc/gcc/cp/pt.c:9262
0x680473 complete_type(tree_node*)
        ../../gcc/gcc/cp/typeck.c:134
0x569418 start_decl_1(tree_node*, bool)
        ../../gcc/gcc/cp/decl.c:4719
0x5922c7 start_decl(cp_declarator const*, cp_decl_specifier_seq*, int,
tree_node*, tree_node*, tree_node**)
        ../../gcc/gcc/cp/decl.c:4682
0x66c6fe cp_parser_init_declarator
        ../../gcc/gcc/cp/parser.c:16710
0x66e189 cp_parser_simple_declaration
        ../../gcc/gcc/cp/parser.c:11217
0x651463 cp_parser_block_declaration
        ../../gcc/gcc/cp/parser.c:11098
Please submit a full bug report,
>From gcc-bugs-return-441612-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Jan 27 13:23:45 2014
Return-Path: <gcc-bugs-return-441612-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 13949 invoked by alias); 27 Jan 2014 13:23:44 -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 13835 invoked by uid 48); 27 Jan 2014 13:23:36 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/59733] [4.9 Regression] bootstrap-asan failed to bootstrap
Date: Mon, 27 Jan 2014 13:23: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:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: kcc at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59733-4-ZjYrITcJI2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59733-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59733-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-01/txt/msg02754.txt.bz2
Content-length: 1246

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY733

--- Comment #26 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Kostya Serebryany from comment #25)
> Even with this workaround asan is almost unusable with the buggy kernel.
> I suspect that when a process has too many mappings it gets too slow.
> The machine where we have our clang-asan bootstrap gets very slow and
> unreliable.
>
> We have reverted the kernel on that bot
> (http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-bootstrap/)
> and reverted the above workaround in llvm trunk.
> http://llvm.org/viewvc/llvm-project?rev 0217&view=rev
>
> The kernel fix went into Linus's tree for 3.14 last week,
> and was tagged for stable backport. Nothing else we could do here.

Yeah, except perhaps putting your #c24 testcase into the kernel bug as comment
for others to have quicker test than gimp, and perhaps filing bugs in distro
bugzillas to have this fixed there quicker, best mentioning that testcase.
Though, for a portable testcase that:
  char *p = (char*)0x600000000000;
is clearly undesirable, you probably just want to mmap with NULL base address,
perhaps with PROT_NONE, a .5GB region, then munmap it and use the result as p
(if that hasn't failed).

[Bug c++/59956] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[trippels at gcc dot gnu.org]

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

--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Maybe a dup a PR58466?

[Bug c++/59956] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
dup.

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

[Bug c++/59956] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |NEW
                 CC|                            |jason at gcc dot gnu.org
         Resolution|DUPLICATE                   |---

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Not a dup, even though it leads to the same crash: this is a friend issue,
58466 is a variadic issue.

[Bug c++/59956] [4.8/4.9 regression] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[jason at gcc dot gnu.org]

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

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++/59956] [4.8/4.9 regression] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Jan 29 20:44:50 2014
New Revision: 207281

URL: http://gcc.gnu.org/viewcvs?rev=207281&root=gcc&view=rev
Log:
    PR c++/59956
    * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
    have a friend template in a class template.
    * pt.c (tsubst_friend_function): Look through it.
    (push_template_decl_real): A friend member template is
    primary.

Added:
    trunk/gcc/testsuite/g++.dg/template/friend55.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/friend.c
    trunk/gcc/cp/pt.c

[Bug c++/59956] [4.8 regression] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.9.0
            Summary|[4.8/4.9 regression]        |[4.8 regression] internal
                   |internal compiler error:    |compiler error: unexpected
                   |unexpected expression ‘P_S’ |expression ‘P_S’ of kind
                   |of kind template_parm_index |template_parm_index
      Known to fail|4.9.0                       |

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.9 so far.
>From gcc-bugs-return-441982-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Jan 29 21:40:02 2014
Return-Path: <gcc-bugs-return-441982-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 6381 invoked by alias); 29 Jan 2014 21:40:02 -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 6006 invoked by uid 48); 29 Jan 2014 21:39:58 -0000
From: "jason at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59989] [4.7/4.8/4.9 Regression] ICE when a template parameter pack is explicitly specified for a function template and provides a complete argument list for a template
Date: Wed, 29 Jan 2014 21:40: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: ice-on-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jason at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jason at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.7.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cc assigned_to
Message-ID: <bug-59989-4-79ge1kDHF2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59989-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59989-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-01/txt/msg03124.txt.bz2
Content-length: 448

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY989

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

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

[Bug c++/59956] [4.8 regression] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.3                       |4.8.4

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 4.8.3 is being released, adjusting target milestone.

[Bug c++/59956] [4.8 regression] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[jason at gcc dot gnu.org]

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

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Aug  1 18:33:47 2014
New Revision: 213501

URL: https://gcc.gnu.org/viewcvs?rev=213501&root=gcc&view=rev
Log:
    PR c++/59956
    * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
    have a friend template in a class template.
    * pt.c (tsubst_friend_function): Look through it.
    (push_template_decl_real): A friend member template is
    primary.

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

[Bug c++/59956] [4.8 regression] internal compiler error: unexpected expression ‘P_S’ of kind template_parm_index

[jason at gcc dot gnu.org]

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

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

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

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.8.4.