mirror of
https://forge.sourceware.org/marek/gcc.git
synced 2026-02-22 12:00:11 -05:00
a385474c79
* constexpr.c (potential_constant_expression_1): If the condition can't be evaluated, return true. * g++.dg/cpp1y/constexpr-loop8.C: New test. From-SVN: r265600
45 lines
693 B
C
45 lines
693 B
C
// PR c++/87594
|
|
// { dg-do compile { target c++14 } }
|
|
|
|
constexpr bool always_false() { return false; }
|
|
int f() { return 1; }
|
|
|
|
constexpr int
|
|
fn1()
|
|
{
|
|
struct empty_range {
|
|
constexpr int* begin() { return 0; }
|
|
constexpr int* end() { return 0; }
|
|
} e;
|
|
for (auto x : e)
|
|
f();
|
|
return 0;
|
|
}
|
|
|
|
constexpr int
|
|
fn2 ()
|
|
{
|
|
int a[] = { 1, 2, 3 };
|
|
for (auto x : a)
|
|
f(); // { dg-error "call to non-.constexpr. function" }
|
|
return 0;
|
|
}
|
|
|
|
constexpr int
|
|
fn3 ()
|
|
{
|
|
__extension__ int a[] = { };
|
|
for (auto x : a)
|
|
f();
|
|
return 0;
|
|
}
|
|
|
|
|
|
void
|
|
bar ()
|
|
{
|
|
constexpr int i1 = fn1 ();
|
|
constexpr int i2 = fn2 (); // { dg-message "in .constexpr. expansion of " }
|
|
constexpr int i3 = fn3 ();
|
|
}
|