[Bug c++/63415] New: internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[Bug c++/63415] New: internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[tnozicka at gmail dot com]

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

            Bug ID: 63415
           Summary: internal compiler error: unexpected expression
                    ‘static_cast<int>(std::is_same<T, A1>{})’ of kind
                    static_cast_expr
           Product: gcc
           Version: 4.9.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tnozicka at gmail dot com

Hi, 
g++ asked me to submit a bug report, so here it is :)



=== ERROR ===
main.cpp:37:69: internal compiler error: unexpected expression
‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr
  static constexpr int value = static_cast<int>(std::is_same<T, A1>{});
                                                                     ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.



=== SOURCE ===
#include <type_traits>
template<typename T, typename A1, typename... Args>
struct CountType
{
    static constexpr int value = CountType<T, A1>::value + CountType<T,
Args...>::value;

    constexpr operator int() const
    {
        return value;
    }
};

template<typename T, typename A1>
struct CountType<T, A1>
{
//    static constexpr int value = static_cast<int>(std::is_same<T, A1>());  //
this works
    static constexpr int value = static_cast<int>(std::is_same<T, A1>{});

    constexpr operator int() const
    {
        return value;
    }
};


template<typename T, typename... Args>
using CountDecayType = CountType<T, std::decay_t<Args>...>;


template<typename... Args>
void foo(Args&&... args)
{
    int i = CountDecayType<int, Args...>{};
}


int main()
{
    foo(5, 6L, 5, 5);

    return 0;
}



=== g++ flags ===
-std=c++14 -pedantic-errors -Wall -Wextra  -gdwarf-2

=== configure ===
Using built-in specs.
COLLECT_GCC=/opt/szn/bin/g++-4.9
COLLECT_LTO_WRAPPER=/opt/szn/lib/gcc/x86_64-linux-gnu/4.9.1/lto-wrapper
Target: x86_64-linux-gnu
Configured with: /home/tomas/packages/gcc/gcc-4.9.1/configure --prefix=/opt/szn
--program-suffix=-4.9 --enable-languages=c++ --disable-multilib --enable-shared
--enable-threads=posix --enable-checking=release --enable-__cxa_atexit
--enable-gnu-unique-object --enable-linker-build-id
--with-linker-hash-style=gnu --enable-plugin --with-tune=generic
--enable-libstdcxx-time=yes --enable-libstdcxx-debug
--enable-version-specific-runtime-libs --enable-objc-gc --enable-clocale=gnu
--disable-install-libiberty --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu --libdir=/opt/szn/lib --libexecdir=/opt/szn/lib
--infodir=/opt/szn/share/info-gcc-4.9 --localedir=/opt/szn/share/locale-gcc-4.9
--mandir=/opt/szn/share/man-gcc-4.9
--with-gxx-include-dir=/opt/szn/include/c++/4.9
Thread model: posix
gcc version 4.9.1 (GCC)
>From gcc-bugs-return-462926-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Sep 30 12:22:21 2014
Return-Path: <gcc-bugs-return-462926-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 24402 invoked by alias); 30 Sep 2014 12:22:21 -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 24247 invoked by uid 48); 30 Sep 2014 12:22:17 -0000
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/63414] template parse error using < operator
Date: Tue, 30 Sep 2014 12:22: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: 5.0
X-Bugzilla-Keywords: rejects-valid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
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 resolution
Message-ID: <bug-63414-4-VJyGOXBkLd@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63414-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63414-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-09/txt/msg02760.txt.bz2
Content-length: 503

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 10200.

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

[Bug c++/63415] internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[trippels at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-09-30
                 CC|                            |trippels at gcc dot gnu.org
   Target Milestone|---                         |4.9.2
     Ever confirmed|0                           |1
      Known to fail|                            |4.9.1, 5.0

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat booo.ii
template <typename T>
struct A {
  static constexpr int value = int(T{});
};

markus@x4 tmp % g++ -std=c++11 booo.ii
booo.ii:3:39: internal compiler error: unexpected expression ‘(int)(T{})’ of
kind cast_expr
   static constexpr int value = int(T{});
                                       ^
0x713c8e cxx_eval_constant_expression
        ../../gcc/gcc/cp/semantics.c:9990
0x716b15 cxx_eval_outermost_constant_expr
        ../../gcc/gcc/cp/semantics.c:10010
0x624e74 store_init_value(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
        ../../gcc/gcc/cp/typeck2.c:810
0x5971d4 check_initializer
        ../../gcc/gcc/cp/decl.c:5877
0x5a852f cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
        ../../gcc/gcc/cp/decl.c:6399
0x65c1b6 grokfield(cp_declarator const*, cp_decl_specifier_seq*, tree_node*,
bool, tree_node*, tree_node*)
        ../../gcc/gcc/cp/decl2.c:1020
0x69e5e9 cp_parser_member_declaration
        ../../gcc/gcc/cp/parser.c:20881
0x67a2dc cp_parser_member_specification_opt
        ../../gcc/gcc/cp/parser.c:20429
0x67a2dc cp_parser_class_specifier_1
        ../../gcc/gcc/cp/parser.c:19619
0x67ccb0 cp_parser_class_specifier
        ../../gcc/gcc/cp/parser.c:19855
0x67ccb0 cp_parser_type_specifier
        ../../gcc/gcc/cp/parser.c:14531
0x697c60 cp_parser_decl_specifier_seq
        ../../gcc/gcc/cp/parser.c:11772
0x69cd13 cp_parser_single_declaration
        ../../gcc/gcc/cp/parser.c:23504
0x69d1f4 cp_parser_template_declaration_after_export
        ../../gcc/gcc/cp/parser.c:23373
0x6a9919 cp_parser_declaration
        ../../gcc/gcc/cp/parser.c:11172
0x6a83d8 cp_parser_declaration_seq_opt
        ../../gcc/gcc/cp/parser.c:11094
0x6a9cc3 cp_parser_translation_unit
        ../../gcc/gcc/cp/parser.c:4059
0x6a9cc3 c_parse_file()
        ../../gcc/gcc/cp/parser.c:32089
0x7d11e2 c_common_parse_file()
        ../../gcc/gcc/c-family/c-opts.c:1043
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-462929-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Sep 30 13:12:31 2014
Return-Path: <gcc-bugs-return-462929-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26410 invoked by alias); 30 Sep 2014 13:12:30 -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 26369 invoked by uid 48); 30 Sep 2014 13:12:24 -0000
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/63415] [4.9/5 Regression] internal compiler error:=?UTF-8?Q? unexpected expression ‘static_cast?=<int>(std::is_same<T, A1>{})=?UTF-8?Q?’ of kind static_cast_expr?Date: Tue, 30 Sep 2014 13:12: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: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.2
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: keywords short_desc
Message-ID: <bug-63415-4-d8Z0P7RLdb@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63415-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63415-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-09/txt/msg02763.txt.bz2
Content-length: 946

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|internal compiler error:    |[4.9/5 Regression] internal
                   |unexpected expression       |compiler error: unexpected
                   |‘static_cast<int>(std::is_s |expression
                   |ame<T, A1>{})’ of kind      |‘static_cast<int>(std::is_s
                   |static_cast_expr            |ame<T, A1>{})’ of kind
                   |                            |static_cast_expr

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
We (incorrectly) rejected the code with an error before 4.9.0, now we get an
ICE, so marking as a regression.
>From gcc-bugs-return-462930-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Sep 30 13:17:01 2014
Return-Path: <gcc-bugs-return-462930-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 31130 invoked by alias); 30 Sep 2014 13:17:00 -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 31077 invoked by uid 48); 30 Sep 2014 13:16:56 -0000
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59759] internal compiler error: in unify, using std::enable_if on classes
Date: Tue, 30 Sep 2014 13:17: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.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59759-4-iZdsRaA9dx@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59759-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59759-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-09/txt/msg02764.txt.bz2
Content-length: 241

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

--- Comment #8 from Jonathan Wakely <redi at gcc dot gnu.org> ---
If this isn't a regression (which it doesn't seem to be) then setting Target
Milestone to 4.8.4 doesn't seem appropriate.

[Bug c++/63415] [4.9/5 Regression] internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The error turned into ICE with r196724.

[Bug c++/63415] [4.9/5 Regression] internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Oct  9 18:05:23 2014
New Revision: 216043

URL: https://gcc.gnu.org/viewcvs?rev=216043&root=gcc&view=rev
Log:
    PR c++/63415
    * pt.c (value_dependent_expression_p) [CONSTRUCTOR]: Check the type.
    (iterative_hash_template_arg): Likewise.

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

[Bug c++/63415] [4.9/5 Regression] internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Oct 10 20:35:26 2014
New Revision: 216107

URL: https://gcc.gnu.org/viewcvs?rev=216107&root=gcc&view=rev
Log:
    PR c++/63415
    * pt.c (value_dependent_expression_p) [CONSTRUCTOR]: Check the type.
    (iterative_hash_template_arg): Likewise.

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

[Bug c++/63415] [4.9/5 Regression] internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[jason at gcc dot gnu.org]

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Oct 15 16:46:29 2014
New Revision: 216276

URL: https://gcc.gnu.org/viewcvs?rev=216276&root=gcc&view=rev
Log:
    PR c++/63415
    * pt.c (value_dependent_expression_p) [CONSTRUCTOR]: Check the type.
    (iterative_hash_template_arg): Likewise.

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

[Bug c++/63415] [4.9/5 Regression] internal compiler error: unexpected expression ‘static_cast<int>(std::is_same<T, A1>{})’ of kind static_cast_expr

[jason at gcc dot gnu.org]

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

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

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

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixing the error in 4.8 as well.