[Bug c++/67697] New: [concepts] ICE when using non-constexpr in requires expression

[Bug c++/67697] New: [concepts] ICE when using non-constexpr in requires expression

[ryan.burn at gmail dot com]

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

            Bug ID: 67697
           Summary: [concepts] ICE when using non-constexpr in requires
                    expression
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ryan.burn at gmail dot com
  Target Milestone: ---

The following code causes an ICE:

//////////////////////////////////
template<class X>
concept bool C() {
  return requires(X x, bool b) {
    requires b;
    x++;
  };
}

int main() {
  C<int>();
  return 0;
}
//////////////////////////////////

Stack Trace:
t1.cpp: In function ‘int main()’:
t1.cpp:10:10: internal compiler error: in xform_decl, at cp/constraint.cc:797
   C<int>();
          ^
0x82016d xform_decl
        ../../gcc/gcc/cp/constraint.cc:797
0x82016d transform_expression
        ../../gcc/gcc/cp/constraint.cc:827
0x8202f0 xform_nested_requirement
        ../../gcc/gcc/cp/constraint.cc:632
0x8202f0 xform_requirement
        ../../gcc/gcc/cp/constraint.cc:652
0x8202f0 xform_requirements
        ../../gcc/gcc/cp/constraint.cc:669
0x8202f0 xform_requires_expr
        ../../gcc/gcc/cp/constraint.cc:680
0x8202f0 xform_expr
        ../../gcc/gcc/cp/constraint.cc:758
0x8202f0 transform_expression
        ../../gcc/gcc/cp/constraint.cc:821
0x8252d7 evaluate_function_concept(tree_node*, tree_node*)
        ../../gcc/gcc/cp/constraint.cc:2002
0x605b94 build_new_function_call(tree_node*, vec<tree_node*, va_gc,
vl_embed>**, bool, int)
        ../../gcc/gcc/cp/call.c:4130
0x78ff5e finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
        ../../gcc/gcc/cp/semantics.c:2391
0x70ecc9 cp_parser_postfix_expression
        ../../gcc/gcc/cp/parser.c:6419
0x713679 cp_parser_unary_expression
        ../../gcc/gcc/cp/parser.c:7486
0x7142b7 cp_parser_binary_expression
        ../../gcc/gcc/cp/parser.c:8239
0x7149bf cp_parser_assignment_expression
        ../../gcc/gcc/cp/parser.c:8497
0x71d131 cp_parser_expression
        ../../gcc/gcc/cp/parser.c:8651
0x71ecd6 cp_parser_expression_statement
        ../../gcc/gcc/cp/parser.c:10065
0x72a125 cp_parser_statement
        ../../gcc/gcc/cp/parser.c:9916
0x72ace2 cp_parser_statement_seq_opt
        ../../gcc/gcc/cp/parser.c:10188
0x72ae4b cp_parser_compound_statement
        ../../gcc/gcc/cp/parser.c:10142
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-497915-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Sep 23 20:15:15 2015
Return-Path: <gcc-bugs-return-497915-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9174 invoked by alias); 23 Sep 2015 20:15:11 -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 9101 invoked by uid 48); 23 Sep 2015 20:15:04 -0000
From: "roland at rschulz dot eu" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/54412] Request for 32-byte stack alignment with -mavx on Windows
Date: Wed, 23 Sep 2015 20:15:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.7.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: roland at rschulz dot eu
X-Bugzilla-Status: SUSPENDED
X-Bugzilla-Resolution:
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-54412-4-QTZ1cySMFy@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-54412-4@http.gcc.gnu.org/bugzilla/>
References: <bug-54412-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: 2015-09/txt/msg01893.txt.bz2
Content-length: 352

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

--- Comment #13 from Roland Schulz <roland at rschulz dot eu> ---
But this problem is limited to GCC. ICC, Clang and MSVC don't have the problem
with compiling 64bit AVX code. Thus they must have some kind of work-around for
ABI and GCC should be able to use a work-around too (at least in theory).