public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/18184] New: Tree optimizers ignore pointer modes
@ 2004-10-27 16:42 uweigand at gcc dot gnu dot org
2004-10-27 16:46 ` [Bug tree-optimization/18184] [4.0 Regression] " pinskia at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: uweigand at gcc dot gnu dot org @ 2004-10-27 16:42 UTC (permalink / raw)
To: gcc-bugs
Using pointers of non-default mode via __attribute__ ((mode))
produces incorrect code in many cases as the tree optimizers
treat an __attribute__ ((mode) qualified pointer type as
equivalent to the corresponding non-qualified type.
(This is a regression over 3.4 introduced by the tree-ssa merge.)
As an example, the follow code ICEs on s390x-ibm-linux,
because the tree optimizers have removed the required type
conversion as 'useless':
struct test;
typedef int * __attribute__ ((mode (SI))) test_ptr32;
typedef struct test *test_ptr64;
int
test (test_ptr32 *a, test_ptr64 *b)
{
return *a == *b;
}
See the discussion at:
http://gcc.gnu.org/ml/gcc/2004-10/msg00775.html
for more details.
--
Summary: Tree optimizers ignore pointer modes
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: uweigand at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18184
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/18184] [4.0 Regression] Tree optimizers ignore pointer modes
2004-10-27 16:42 [Bug tree-optimization/18184] New: Tree optimizers ignore pointer modes uweigand at gcc dot gnu dot org
@ 2004-10-27 16:46 ` pinskia at gcc dot gnu dot org
2004-10-27 16:58 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-27 16:46 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-27 16:46 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |wrong-code
Last reconfirmed|0000-00-00 00:00:00 |2004-10-27 16:46:37
date| |
Summary|Tree optimizers ignore |[4.0 Regression] Tree
|pointer modes |optimizers ignore pointer
| |modes
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18184
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/18184] [4.0 Regression] Tree optimizers ignore pointer modes
2004-10-27 16:42 [Bug tree-optimization/18184] New: Tree optimizers ignore pointer modes uweigand at gcc dot gnu dot org
2004-10-27 16:46 ` [Bug tree-optimization/18184] [4.0 Regression] " pinskia at gcc dot gnu dot org
@ 2004-10-27 16:58 ` pinskia at gcc dot gnu dot org
2004-11-03 16:02 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-27 16:58 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-27 16:58 -------
Patch here: <http://gcc.gnu.org/ml/gcc-patches/2004-10/msg02366.html>.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18184
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/18184] [4.0 Regression] Tree optimizers ignore pointer modes
2004-10-27 16:42 [Bug tree-optimization/18184] New: Tree optimizers ignore pointer modes uweigand at gcc dot gnu dot org
2004-10-27 16:46 ` [Bug tree-optimization/18184] [4.0 Regression] " pinskia at gcc dot gnu dot org
2004-10-27 16:58 ` pinskia at gcc dot gnu dot org
@ 2004-11-03 16:02 ` pinskia at gcc dot gnu dot org
2004-11-04 20:11 ` cvs-commit at gcc dot gnu dot org
2004-11-04 20:32 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-03 16:02 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-03 16:02 -------
New patch: <http://gcc.gnu.org/ml/gcc-patches/2004-11/msg00202.html>.
--
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2004-10-27 16:46:37 |2004-11-03 16:02:22
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18184
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/18184] [4.0 Regression] Tree optimizers ignore pointer modes
2004-10-27 16:42 [Bug tree-optimization/18184] New: Tree optimizers ignore pointer modes uweigand at gcc dot gnu dot org
` (2 preceding siblings ...)
2004-11-03 16:02 ` pinskia at gcc dot gnu dot org
@ 2004-11-04 20:11 ` cvs-commit at gcc dot gnu dot org
2004-11-04 20:32 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-11-04 20:11 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-11-04 20:11 -------
Subject: Bug 18184
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: uweigand@gcc.gnu.org 2004-11-04 20:11:16
Modified files:
gcc : ChangeLog c-typeck.c tree-ssa.c
gcc/cp : ChangeLog cp-objcp-common.c typeck.c
Log message:
ChangeLog:
PR tree-optimization/18184
* c-typeck.c (comptypes): Do not treat pointers of different
modes or alias-all flags as equivalent.
* tree-ssa.c (tree_ssa_useless_type_conversion_1): Likewise.
cp/ChangeLog:
PR tree-optimization/18184
* cp-objcp-common.c (cxx_types_compatible_p): Do not treat pointers
of different modes or alias-all flags as equivalent.
* typeck.c (comptypes): Likewise.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6168&r2=2.6169
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-typeck.c.diff?cvsroot=gcc&r1=1.394&r2=1.395
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa.c.diff?cvsroot=gcc&r1=2.54&r2=2.55
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/ChangeLog.diff?cvsroot=gcc&r1=1.4473&r2=1.4474
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/cp-objcp-common.c.diff?cvsroot=gcc&r1=1.3&r2=1.4
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cp/typeck.c.diff?cvsroot=gcc&r1=1.592&r2=1.593
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18184
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/18184] [4.0 Regression] Tree optimizers ignore pointer modes
2004-10-27 16:42 [Bug tree-optimization/18184] New: Tree optimizers ignore pointer modes uweigand at gcc dot gnu dot org
` (3 preceding siblings ...)
2004-11-04 20:11 ` cvs-commit at gcc dot gnu dot org
@ 2004-11-04 20:32 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-04 20:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-04 20:32 -------
Fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18184
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2004-11-04 20:32 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-10-27 16:42 [Bug tree-optimization/18184] New: Tree optimizers ignore pointer modes uweigand at gcc dot gnu dot org
2004-10-27 16:46 ` [Bug tree-optimization/18184] [4.0 Regression] " pinskia at gcc dot gnu dot org
2004-10-27 16:58 ` pinskia at gcc dot gnu dot org
2004-11-03 16:02 ` pinskia at gcc dot gnu dot org
2004-11-04 20:11 ` cvs-commit at gcc dot gnu dot org
2004-11-04 20:32 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).