[Bug c++/59114] New: [c++1y] ICE using auto in conversion operator

[Bug c++/59114] New: [c++1y] ICE using auto in conversion operator

[reichelt at gcc dot gnu.org]

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

            Bug ID: 59114
           Summary: [c++1y] ICE using auto in conversion operator
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: reichelt at gcc dot gnu.org

The following invalid code snippet (compiled with "-std=c++1y") triggers an ICE
since GCC 4.8.0:

=======================================
template<int> struct A
{
  template<typename T> operator T();
};

void foo()
{
  A<0>().operator auto();
}
=======================================

bug.cc: In function 'void foo()':
bug.cc:8:24: internal compiler error: in push_access_scope, at cp/pt.c:220
   A<0>().operator auto();
                        ^
0x591647 push_access_scope
        ../../gcc/gcc/cp/pt.c:219
0x5e266c fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, bool, bool)
        ../../gcc/gcc/cp/pt.c:15679
0x54d05c add_template_candidate_real
        ../../gcc/gcc/cp/call.c:2923
0x548ce9 add_template_candidate
        ../../gcc/gcc/cp/call.c:3020
0x548ce9 add_candidates
        ../../gcc/gcc/cp/call.c:5075
0x550617 build_new_method_call_1
        ../../gcc/gcc/cp/call.c:7698
0x550617 build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, tree_node*, int, tree_node**, int)
        ../../gcc/gcc/cp/call.c:7884
0x652842 cp_parser_postfix_expression
        ../../gcc/gcc/cp/parser.c:6065
0x6548cd cp_parser_unary_expression
        ../../gcc/gcc/cp/parser.c:7100
0x65543f cp_parser_binary_expression
        ../../gcc/gcc/cp/parser.c:7804
0x65590f cp_parser_assignment_expression
        ../../gcc/gcc/cp/parser.c:8042
0x657e63 cp_parser_expression
        ../../gcc/gcc/cp/parser.c:8204
0x65865e cp_parser_expression
        ../../gcc/gcc/cp/parser.c:8243
0x65865e cp_parser_expression_statement
        ../../gcc/gcc/cp/parser.c:9542
0x64df67 cp_parser_statement
        ../../gcc/gcc/cp/parser.c:9393
0x64ec49 cp_parser_statement_seq_opt
        ../../gcc/gcc/cp/parser.c:9665
0x64edbe cp_parser_compound_statement
        ../../gcc/gcc/cp/parser.c:9619
0x66248b cp_parser_function_body
        ../../gcc/gcc/cp/parser.c:18525
0x66248b cp_parser_ctor_initializer_opt_and_function_body
        ../../gcc/gcc/cp/parser.c:18561
0x6662c3 cp_parser_function_definition_after_declarator
        ../../gcc/gcc/cp/parser.c:22593
Please submit a full bug report, [etc.]

[Bug c++/59114] [c++1y] ICE using auto in conversion operator

[reichelt at gcc dot gnu.org]

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org

--- Comment #1 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
The testcase doesn't fail anymore since 2014-03-08.
Jason, I suspect that this is due to your changes on the day before.
Do you want to add this testcase to the testsuite?

[Bug c++/59114] [c++1y] ICE using auto in conversion operator

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This one got fixed with r208414.

[Bug c++/59114] [c++1y] ICE using auto in conversion operator

[paolo.carlini at oracle dot com]

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Let's add the testcase and close the bug.

[Bug c++/59114] [c++1y] ICE using auto in conversion operator

[paolo at gcc dot gnu.org]

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

--- Comment #4 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Wed Nov 26 16:06:53 2014
New Revision: 218090

URL: https://gcc.gnu.org/viewcvs?rev=218090&root=gcc&view=rev
Log:
2014-11-26  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/59114
    * g++.dg/cpp0x/auto43.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/auto43.C
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug c++/59114] [c++1y] ICE using auto in conversion operator

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.9.0

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Done.