// PR c++/89285
// { dg-do compile { target c++14 } }

struct A {
  int a {};
};
struct B {
  int b {};
  constexpr B (A *x) {
    int *c = &x->a;
    while (*c)
      c = reinterpret_cast<int *>((reinterpret_cast<char *>(c) + *c));
    *c = reinterpret_cast<char *>(this) - reinterpret_cast<char *>(c);	// { dg-error "reinterpret_cast" }
  }
};
struct C : A {  // { dg-error "" "" { target c++14_down } }
  B bar {this};
};

// error path changes in C++17 due to `C` becoming an aggregate
constexpr C foo {};  // { dg-error "" "" { target c++17 } }