[Bug sanitizer/117259] [12/13/14/15 Regression] warning: 'j.6' may be used uninitialized [-Wmaybe-unitialized] with -fsanitize=undefined

[jakub at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Slightly simplified testcase (still -fsanitize=undefined -Wuninitialized):
struct A { void foo () {} };
struct B { void (A::*b) (); B (void (A::*x) ()) : b(x) {}; };
const B c[1] = { { &A::foo } };

void
foo (A *x, int y)
{
  (x->*c[y].b) ();
}