[Bug c++/61295] g++ Explicit qualification promote call to pure virtual to resolvable method address without warning/error

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Michel Hermier from comment #0)
> First one is a plain error, since according to iso c++ say:
> 10.3-15: "Explicit qualification with the scope operator suppresses the
> virtual call mechanism."
> And as such suppressing the virtual call on a pure virtual method is
> impossible.

No it isn't:

struct X {
  virtual void f() = 0;
  void g() { X::f(); }
};

struct Y : X {
  void f() { }
};

int main()
{
  Y y;
  y.g();
}

void X::f() { }