// Copyright (C) 2004 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 20 Oct 2004 <nathan@codesourcery.com>

// DR 195 will allow conversions between function and object pointers
// under some circumstances. It is in drafting, so we don't implement
// it (yet).

// This checks we warn when being pedantic.

typedef void (*PF)(void);
typedef void *PV;
typedef int *PO;

void foo ()
{
  PF pf;
  PV pv;
  PO po;

  /* the following two will almost definitly be ok with 195.  */
  pf = reinterpret_cast <PF>(pv); // { dg-warning "casting between" "" }
  pv = reinterpret_cast <PV>(pf); // { dg-warning "casting between" "" }

  /* the following two might or might not be ok with 195.  */
  pf = reinterpret_cast <PF>(po); // { dg-error "casting between" "" }
  po = reinterpret_cast <PO>(pf); // { dg-error "casting between" "" }

  /* These will never be ok, as they are implicit.  */
  pv = pf; // { dg-error "invalid conversion" "" }
  pf = pv; // { dg-error "invalid conversion" "" }
}