// { dg-do compile }
// Explicit { dg-require-effective-target exceptions_enabled } to avoid verify compiler messages FAILs for '-fno-exceptions'.
// { dg-options "-std=c++2a" }

consteval int bar (int i) { if (i != 1) throw 1; return 0; }	// { dg-error "is not a constant expression" }

constexpr int a = bar (1);
constexpr int b = bar (2);		// { dg-message "in 'constexpr' expansion of" }
constexpr int c = 0 ? bar (3) : 1;
const int d = bar (4);			// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
const int e = 0 ? bar (5) : 1;
int f = bar (1);
int g = bar (6);			// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
int h = 0 ? bar (7) : 1;

void
foo ()
{
  constexpr int a = bar (1);
  constexpr int b = bar (2);		// { dg-message "in 'constexpr' expansion of" }
  constexpr int c = 0 ? bar (3) : 1;
  const int d = bar (4);		// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  const int e = 0 ? bar (5) : 1;
  int f = bar (1);
  int g = bar (6);			// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  int h = 0 ? bar (7) : 1;		// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  h += 0 ? bar (8) : 1;			// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  if (0)
    bar (9);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  else
    bar (10);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  if (1)
    bar (11);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  else
    bar (12);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  if constexpr (0)
    bar (13);
  else
    bar (14);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  if constexpr (1)
    bar (15);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  else
    bar (16);
}

consteval int
baz ()
{
  constexpr int a = bar (1);
  constexpr int b = bar (2);		// { dg-message "in 'constexpr' expansion of" }
  constexpr int c = 0 ? bar (3) : 1;
  const int d = bar (4);
  const int e = 0 ? bar (5) : 1;
  int f = bar (1);
  int g = bar (6);
  int h = 0 ? bar (7) : 1;
  h += 0 ? bar (8) : 1;
  if (0)
    bar (9);
  else
    bar (10);
  if (1)
    bar (11);
  else
    bar (12);
  if constexpr (0)
    bar (13);
  else
    bar (14);
  if constexpr (1)
    bar (15);
  else
    bar (16);
  return 0;
}

template <typename T>
void
qux ()
{
  // Used to give errors errors here, but not since we moved consteval
  // function folding to cp_fold_r which isn't called on uninstantiated
  // templates.
  if (0)
    bar (2);
  else
    bar (3);
  if (1)
    bar (4);
  else
    bar (5);
  if constexpr (0)
    bar (6);
  else
    bar (7);
  if constexpr (1)
    bar (8);
  else
    bar (9);
  if (0)
    bar ((T) 2);
  else
    bar ((T) 3);
  if (1)
    bar ((T) 4);
  else
    bar ((T) 5);
  if constexpr (0)
    bar ((T) 6);
  else
    bar ((T) 7);
  if constexpr (1)
    bar ((T) 8);
  else
    bar ((T) 9);
}

template <typename T>
void
quux ()
{
  if (0)
    bar ((T) 2);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  else
    bar ((T) 3);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  if (1)
    bar ((T) 4);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  else
    bar ((T) 5);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  if constexpr (0)
    bar ((T) 6);
  else
    bar ((T) 7);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  if constexpr (1)
    bar ((T) 8);				// { dg-message "in 'constexpr' expansion of" }
// { dg-error "call to consteval function" "" { target *-*-* } .-1 }
  else
    bar ((T) 9);
}

void
corge ()
{
  quux <int> ();
}