/* Check the attribute do not proparate through assignment.  */
/* { dg-do compile } */
/* { dg-options "-O -fcf-protection" } */
/* { dg-final { scan-assembler-times "endbr32" 1 { target ia32 } } } */
/* { dg-final { scan-assembler-times "endbr64" 1 { target { ! ia32 } } } } */
/* { dg-final { scan-assembler-times "\tcall\[ \t]+" 1 { target { { ! ia32 } || { ! *-*-darwin* } } } } } */
/* { dg-final { scan-assembler-times "\tcall\[ \t]+" 2 { target { ia32 && *-*-darwin* } } } } */
/* { dg-final { scan-assembler-times "notrack call\[ \t]+" 1 } } */

int (*fptr) (int) __attribute__ ((nocf_check));
int (*fptr1) (int);

int
foo (int arg)
{
  int a;
  a = (*fptr) (arg); /* non-checked call.  */
  arg += a;
  fptr1 = fptr; /* { dg-warning "incompatible pointer type" } */ 
  a = (*fptr1) (arg); /* checked call.  */
  return arg+a;
}