1259cb6d00
Implement P1002R1, Try-catch blocks in constexpr functions PR c++/89513 * parser.c (cp_parser_ctor_initializer_opt_and_function_body): Diagnose constexpr ctor or function with function-try-block with pedwarn for c++17 and earlier. Formatting fix. (cp_parser_try_block): Use pedwarn instead of error and only for c++17 and earlier when try block appears in constexpr function. * constexpr.c (build_constexpr_constructor_member_initializers): Handle TRY_BLOCK here instead of erroring on it. * g++.dg/cpp2a/constexpr-try1.C: New test. * g++.dg/cpp2a/constexpr-try2.C: New test. * g++.dg/cpp2a/constexpr-try3.C: New test. * g++.dg/cpp2a/constexpr-try4.C: New test. * g++.dg/cpp2a/constexpr-try5.C: New test. * g++.dg/cpp0x/constexpr-ctor10.C: Don't expect error for C++2a. From-SVN: r269314
62 lines
1.6 KiB
C
62 lines
1.6 KiB
C
// PR c++/89513
|
|
// { dg-do compile { target c++14 } }
|
|
// { dg-options "" }
|
|
|
|
constexpr int foo ()
|
|
try { // { dg-warning "function-try-block body of 'constexpr' function only available with" "" { target c++17_down } }
|
|
int a = 1;
|
|
for (int i = 0; i < 10; i++)
|
|
a += i;
|
|
return a;
|
|
} catch (...) {
|
|
return -1;
|
|
}
|
|
|
|
constexpr int bar ()
|
|
try { // { dg-warning "function-try-block body of 'constexpr' function only available with" "" { target c++17_down } }
|
|
int a = 0;
|
|
for (int i = 0; i < 9; i++)
|
|
try { // { dg-warning "'try' in 'constexpr' function only available with" "" { target c++17_down } }
|
|
a += i;
|
|
} catch (int) {
|
|
return -1;
|
|
}
|
|
return a;
|
|
} catch (...) {
|
|
return -2;
|
|
}
|
|
|
|
constexpr bool baz ()
|
|
{
|
|
try { return true; } catch (...) { return false; } // { dg-warning "'try' in 'constexpr' function only available with" "" { target c++17_down } }
|
|
}
|
|
|
|
struct S {
|
|
constexpr S () try : m (1) // { dg-warning "function-try-block body of 'constexpr' constructor only available with" "" { target c++17_down } }
|
|
{
|
|
try { // { dg-warning "'try' in 'constexpr' function only available with" "" { target c++17_down } }
|
|
m += 2;
|
|
} catch (int) {
|
|
m = -1;
|
|
}
|
|
} catch (...) {
|
|
m = -2;
|
|
}
|
|
int m;
|
|
constexpr int get () const { return m; }
|
|
};
|
|
|
|
struct T {
|
|
constexpr T ()
|
|
try { // { dg-warning "function-try-block body of 'constexpr' constructor only available with" "" { target c++17_down } }
|
|
} catch (...) {
|
|
}
|
|
};
|
|
|
|
static_assert (foo () == 46, "");
|
|
static_assert (bar () == 36, "");
|
|
static_assert (baz (), "");
|
|
constexpr S s;
|
|
static_assert (s.get () == 3, "");
|
|
constexpr T t;
|