[Bug lto/45667] [4.6 Regression] ICE: verify_stmts failed: type mismatch in address expression with -flto

[zsojka at seznam dot cz]

------- Comment #1 from zsojka at seznam dot cz  2010-09-14 13:22 -------
Created an attachment (id=21790)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21790&action=view)
reduced testcase, packed

----- header.h -----
struct A;
typedef void (A::*Am1) (void *);
typedef void (A::*Am2) ();

struct B
{
  Am2 am2;
};

struct A
{
  A ();
  struct B b;
  struct C *c;
  struct D *d;
  void foo (Am1);
  void bar (void *);
};

struct C
{
};
--------------------
----- file1.C -----
#include "header.h"
A::A ()
{
      foo (&A::bar);
}
-------------------
----- file2.C -----
#include "header.h"
struct D
{
};
void A::bar (void *)
{
}
void A::foo (Am1)
{
}
-------------------

$ gcc file[12].C -flto -nostdlib -r


-- 


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