diff options
author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-01-09 20:03:58 +0000 |
---|---|---|
committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-01-09 20:03:58 +0000 |
commit | 48b3d38531f2736ec62d5d3af89cfc1b3a10aeea (patch) | |
tree | 48c28794b46861cbc9594568abc9b07c1a04b91e /gcc/testsuite/gcc.dg/func-ptr-conv-1.c | |
parent | 60ffaf4d23b6385206e6fc4cc3a44a964e88d776 (diff) | |
download | gcc-48b3d38531f2736ec62d5d3af89cfc1b3a10aeea.tar.gz |
PR c/11234
* c-typeck.c (build_c_cast): If pedantic, warn for conversions
between function and object pointers.
(digest_init): When comparing a pointer to function type to the
target type, only apply TREE_TYPE once to the pointer to function
type.
* except.c (for_each_eh_label_1): Treat data as a pointer to a
function pointer rather than casting it to a function pointer.
(for_each_eh_label): Update caller.
* recog.h (struct insn_data): Use a struct or union for output.
* genoutput.c (output_insn_data): Update.
* final.c (get_insn_template): Update.
testsuite:
* gcc.dg/func-ptr-conv-1.c: New test.
* gcc.dg/weak/weak-6.c, gcc.dg/weak/weak-7.c: Update.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@75595 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gcc.dg/func-ptr-conv-1.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/func-ptr-conv-1.c | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/func-ptr-conv-1.c b/gcc/testsuite/gcc.dg/func-ptr-conv-1.c new file mode 100644 index 00000000000..4e42e5fe117 --- /dev/null +++ b/gcc/testsuite/gcc.dg/func-ptr-conv-1.c @@ -0,0 +1,56 @@ +/* Conversions between function and object pointers are not permitted + in any version of ISO C, even with casts, except for the special + case of converting a null pointer constant to function pointer + type. Likewise, comparisons between function and object pointers + are not permitted. PR c/11234. */ +/* Origin: Joseph Myers <jsm@polyomino.org.uk> */ +/* { dg-do compile } */ +/* { dg-options "-pedantic" } */ + +void f(void); + +void *v1 = f; /* { dg-warning "pointer" "bad conversion" } */ +void *v2 = &f; /* { dg-warning "pointer" "bad conversion" } */ +void *v3 = (void *)f; /* { dg-warning "pointer" "bad conversion" } */ +void *v4 = (void *)&f; /* { dg-warning "pointer" "bad conversion" } */ +void *v5; +char *c1 = f; /* { dg-warning "pointer" "bad conversion" } */ +char *c2 = &f; /* { dg-warning "pointer" "bad conversion" } */ +char *c3 = (char *)f; /* { dg-warning "pointer" "bad conversion" } */ +char *c4 = (char *)&f; /* { dg-warning "pointer" "bad conversion" } */ +char *c5; +void (*fp)(void); +int a; + +void +g(void) +{ + v5 = f; /* { dg-warning "pointer" "bad conversion" } */ + v5 = &f; /* { dg-warning "pointer" "bad conversion" } */ + v5 = (void *)f; /* { dg-warning "pointer" "bad conversion" } */ + v5 = (void *)&f; /* { dg-warning "pointer" "bad conversion" } */ + c5 = f; /* { dg-warning "pointer" "bad conversion" } */ + c5 = &f; /* { dg-warning "pointer" "bad conversion" } */ + c5 = (char *)f; /* { dg-warning "pointer" "bad conversion" } */ + c5 = (char *)&f; /* { dg-warning "pointer" "bad conversion" } */ + fp = v5; /* { dg-warning "pointer" "bad conversion" } */ + fp = c5; /* { dg-warning "pointer" "bad conversion" } */ + fp = (void (*)(void))v5; /* { dg-warning "pointer" "bad conversion" } */ + fp = (void (*)(void))c5; /* { dg-warning "pointer" "bad conversion" } */ + (a ? f : v3); /* { dg-warning "pointer" "bad conversion" } */ + (a ? v2 : fp); /* { dg-warning "pointer" "bad conversion" } */ + /* The following are OK. */ + fp = 0; + fp = (void *)0; + fp = 0L; + fp = (void (*)(void))0; + fp = (void (*)(void))(void *)0; + (a ? f : 0); + (a ? f : (void *)0); + (a ? (void *)0 : fp); + (a ? 0 : fp); +} + +/* The following are OK. */ +void (*fp2)(void) = 0; +void (*fp3)(void) = (void *)0; |