// PR c++/97388
// { dg-do compile { target c++20 } }

struct S {
  int *s;
  constexpr S () : s(new int) {}
  S (const S &) = delete;
  S &operator= (const S &) = delete;
  constexpr ~S () { delete s; }	// { dg-error "already deallocated" }
};

constexpr bool
foo (S v)
{
  delete v.s;
  return true;
}

static_assert (foo (S ()));	// { dg-error "non-constant condition for static assertion" }