[Bug sanitizer/59306] ICE with -fsanitize=null: gimple check: expected gimple_call(error_mark), have gimple_assign(addr_expr) in gimple_call_arg

[mpolacek at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59306

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
More reduced:
// { dg-do compile }
// { dg-options "-fsanitize=undefined" }

class A {
  void bar (void (A::*) (int));
  void foo (int);
  void B ();
};

void A::B()
{
  bar (&A::foo);
}