diff options
| author | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-12-20 11:40:26 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-12-20 11:40:26 +0100 |
| commit | 1ac13b9c058d6ff982b1fa6cf2fa1515a9692b5e (patch) | |
| tree | 757fae8ae740aefebb4bf8125e86751acc14775f | |
| parent | 7b8c7831a2482c8a370044f39926f21a3eceb4f3 (diff) | |
| download | gcc-1ac13b9c058d6ff982b1fa6cf2fa1515a9692b5e.zip gcc-1ac13b9c058d6ff982b1fa6cf2fa1515a9692b5e.tar.gz gcc-1ac13b9c058d6ff982b1fa6cf2fa1515a9692b5e.tar.bz2 | |
re PR c/39464 (Attribute may_alias causes invalid warning)
PR c/39464
* c-typeck.c (convert_for_assignment): For -Wpointer-sign
warning require that both c_common_unsigned_type as well as
c_common_signed_type is the same for both mvl and mvr types.
* gcc.dg/pr39464.c: New test.
From-SVN: r194630
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr39464.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr39464.c b/gcc/testsuite/gcc.dg/pr39464.c new file mode 100644 index 0000000..cd74540 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr39464.c @@ -0,0 +1,19 @@ +/* PR c/39464 */ +/* { dg-do compile } */ +/* { dg-options "-Wall" } */ + +typedef int T __attribute__((may_alias)); +typedef unsigned int U __attribute__((may_alias)); + +void +foo (void *p) +{ + T *a = (int *) p; /* { dg-warning "initialization from incompatible pointer type" } */ + int *b = (T *) p; /* { dg-warning "initialization from incompatible pointer type" } */ + U *c = (unsigned int *) p; /* { dg-warning "initialization from incompatible pointer type" } */ + unsigned int *d = (U *) p; /* { dg-warning "initialization from incompatible pointer type" } */ + (void) a; + (void) b; + (void) c; + (void) d; +} |