// Copyright (C) 2004 Free Software Foundation, Inc.
|
// Copyright (C) 2004 Free Software Foundation, Inc.
|
// Contributed by Nathan Sidwell 20 Oct 2004
|
// Contributed by Nathan Sidwell 20 Oct 2004
|
|
|
// DR 195 will allow conversions between function and object pointers
|
// DR 195 will allow conversions between function and object pointers
|
// under some circumstances. It is in drafting, so we don't implement
|
// under some circumstances. It is in drafting, so we don't implement
|
// it (yet).
|
// it (yet).
|
|
|
// This checks we warn when being pedantic.
|
// This checks we warn when being pedantic.
|
|
|
typedef void (*PF)(void);
|
typedef void (*PF)(void);
|
typedef void *PV;
|
typedef void *PV;
|
typedef int *PO;
|
typedef int *PO;
|
|
|
void foo ()
|
void foo ()
|
{
|
{
|
PF pf;
|
PF pf;
|
PV pv;
|
PV pv;
|
PO po;
|
PO po;
|
|
|
/* the following two will almost definitly be ok with 195. */
|
/* the following two will almost definitly be ok with 195. */
|
pf = reinterpret_cast (pv); // { dg-warning "casting between" "" }
|
pf = reinterpret_cast (pv); // { dg-warning "casting between" "" }
|
pv = reinterpret_cast (pf); // { dg-warning "casting between" "" }
|
pv = reinterpret_cast (pf); // { dg-warning "casting between" "" }
|
|
|
/* the following two might or might not be ok with 195. */
|
/* the following two might or might not be ok with 195. */
|
pf = reinterpret_cast (po); // { dg-warning "casting between" "" }
|
pf = reinterpret_cast (po); // { dg-warning "casting between" "" }
|
po = reinterpret_cast (pf); // { dg-warning "casting between" "" }
|
po = reinterpret_cast (pf); // { dg-warning "casting between" "" }
|
|
|
/* These will never be ok, as they are implicit. */
|
/* These will never be ok, as they are implicit. */
|
pv = pf; // { dg-error "invalid conversion" "" }
|
pv = pf; // { dg-error "invalid conversion" "" }
|
pf = pv; // { dg-error "invalid conversion" "" }
|
pf = pv; // { dg-error "invalid conversion" "" }
|
}
|
}
|
|
|