/* Verify that IPA-CP can clone mark_cell without miscompiling it despite its
   type_attributes.  */
/* { dg-do run } */
/* { dg-options "-O3 -fdump-ipa-cp" } */


struct PMC {
    unsigned flags;
};

typedef struct Pcc_cell
{
    struct PMC *p;
    long bla;
    long type;
} Pcc_cell;

int gi;

extern void abort ();
extern void never_ever(int * interp, struct PMC *pmc)
     __attribute__((noinline));

void never_ever (int * interp, struct PMC *pmc)
{
  abort ();
}

static void mark_cell(int * interp, Pcc_cell *c)
        __attribute__((__nonnull__(1)))
        __attribute__((noinline));

static void
mark_cell(int * interp, Pcc_cell *c)
{
  if (c && c->type == 4 && c->p
      && !(c->p->flags & (1<<14)))
    never_ever(interp, c->p);
}

static void foo(int * interp, Pcc_cell *c)
  __attribute__((noinline));

static void
foo(int * interp, Pcc_cell *c)
{
  mark_cell(interp, c);
}

static struct Pcc_cell *
__attribute__((noinline,noclone))
getnull(void)
{
  return (struct Pcc_cell *) 0;
}


int main()
{
  int i;

  for (i = 0; i < 100; i++)
    foo (&gi, getnull ());
  return 0;
}


/* { dg-final { scan-ipa-dump "Creating a specialized node of mark_cell" "cp" } } */
/* { dg-final { cleanup-ipa-dump "cp" } } */