https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62026

--- Comment #13 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
A bit more reduced (just testing upcoming creduce release):

class C;
class F {
  virtual C m_fn1();
};
class C {
 public:
  virtual int *m_fn3(int);
};
class G : F, C {
  int offsets;
  int *m_fn3(int);
};
C *a;
int *G::m_fn3(int) {
  if (offsets) return 0;
}

void fn1() {
  for (;;) a->m_fn3(0);
}

Reply via email to