diff options
author | Richard Guenther <rguenther@suse.de> | 2007-10-09 15:51:46 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-10-09 15:51:46 +0000 |
commit | b26c6d55aa4b4388dcf2028874a6f173ea15a41a (patch) | |
tree | 4b3433c1260fabfd86b2cb00731c5e8526360dc0 /gcc | |
parent | 23e7aeeac72859a7bd8d73f62ea60dc18acd326e (diff) | |
download | gcc-b26c6d55aa4b4388dcf2028874a6f173ea15a41a.zip gcc-b26c6d55aa4b4388dcf2028874a6f173ea15a41a.tar.gz gcc-b26c6d55aa4b4388dcf2028874a6f173ea15a41a.tar.bz2 |
re PR middle-end/33692 (Type checking error with address-of and volatile)
2007-10-09 Richard Guenther <rguenther@suse.de>
PR middle-end/33692
* gimplify.c (canonicalize_component_ref): Honor qualifiers
of referenced structure and component.
* gcc.dg/pr33692.c: New testcase.
From-SVN: r129167
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/gimplify.c | 22 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr33692.c | 12 |
4 files changed, 41 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d10a6c5..c8fcf6a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-10-09 Richard Guenther <rguenther@suse.de> + + PR middle-end/33692 + * gimplify.c (canonicalize_component_ref): Honor qualifiers + of referenced structure and component. + 2007-10-09 Kenneth Zadeck <zadeck@naturalbridge.com> PR middle-end/33669 diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 00a3cf1..df6ecd3 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -1555,17 +1555,31 @@ canonicalize_component_ref (tree *expr_p) else type = TREE_TYPE (TREE_OPERAND (expr, 1)); + /* One could argue that all the stuff below is not necessary for + the non-bitfield case and declare it a FE error if type + adjustment would be needed. */ if (TREE_TYPE (expr) != type) { +#ifdef ENABLE_TYPES_CHECKING tree old_type = TREE_TYPE (expr); +#endif + int type_quals; + + /* We need to preserve qualifiers and propagate them from + operand 0. */ + type_quals = TYPE_QUALS (type) + | TYPE_QUALS (TREE_TYPE (TREE_OPERAND (expr, 0))); + if (TYPE_QUALS (type) != type_quals) + type = build_qualified_type (TYPE_MAIN_VARIANT (type), type_quals); /* Set the type of the COMPONENT_REF to the underlying type. */ TREE_TYPE (expr) = type; - /* And wrap the whole thing inside a NOP_EXPR. */ - expr = build1 (NOP_EXPR, old_type, expr); - - *expr_p = expr; +#ifdef ENABLE_TYPES_CHECKING + /* It is now a FE error, if the conversion from the canonical + type to the original expression type is not useless. */ + gcc_assert (useless_type_conversion_p (old_type, type)); +#endif } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c37814b..ea1aa88 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-10-09 Richard Guenther <rguenther@suse.de> + + PR middle-end/33692 + * gcc.dg/pr33692.c: New testcase. + 2007-10-09 Kenneth Zadeck <zadeck@naturalbridge.com> PR middle-end/33669 diff --git a/gcc/testsuite/gcc.dg/pr33692.c b/gcc/testsuite/gcc.dg/pr33692.c new file mode 100644 index 0000000..08ee332 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr33692.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ + +/* We ICEd with type-checking enabled. */ + +typedef struct { int i; } snd_pcm_info_t; +typedef struct { snd_pcm_info_t info; } snd_pcm_shm_ctrl_t; +void snd_pcm_info(snd_pcm_info_t *); +int pcm_shm_cmd(volatile snd_pcm_shm_ctrl_t *ctrl) +{ + snd_pcm_info((snd_pcm_info_t *) &ctrl->info); +} + |