public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/16898] New: Aliasing problem with array descriptors
@ 2004-08-06 14:32 pbrook at gcc dot gnu dot org
  2004-08-07 22:09 ` [Bug fortran/16898] " pinskia at gcc dot gnu dot org
                   ` (7 more replies)
  0 siblings, 8 replies; 9+ messages in thread
From: pbrook at gcc dot gnu dot org @ 2004-08-06 14:32 UTC (permalink / raw)
  To: gcc-bugs

Following code compiled with gfortran -O2 -mtune=i686 
 
Could be a frontend bug not setting alias sets properly. When foo is inlined, 
a=>NULL is then scheduled after the body of foo. 
 
Based on gfortran.dg/ret_pointer_1.f90 
 
program aliasing_borken 
  integer, pointer, dimension(:) :: a 
  integer, target, dimension(2) :: b 
 
  a => NULL() 
  call foo(a); 
  if (.not. associated (a, b)) call abort 
contains 
subroutine foo(r) 
  integer, pointer, dimension(:) :: r 
 
  r => b 
end subroutine 
end program

-- 
           Summary: Aliasing problem with array descriptors
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pbrook at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
@ 2004-08-07 22:09 ` pinskia at gcc dot gnu dot org
  2004-12-10 13:02 ` paulthomas2 at wanadoo dot fr
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-08-07 22:09 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-07 22:09 -------
Confirmed it is the aliasing sets which are incorrect.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-08-07 22:09:14
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
  2004-08-07 22:09 ` [Bug fortran/16898] " pinskia at gcc dot gnu dot org
@ 2004-12-10 13:02 ` paulthomas2 at wanadoo dot fr
  2004-12-10 13:21 ` pbrook at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: paulthomas2 at wanadoo dot fr @ 2004-12-10 13:02 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From paulthomas2 at wanadoo dot fr  2004-12-10 13:02 -------
Andrew,

This one is fixed now, isn't it?  It runs fine with the CVS of 20041205


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
  2004-08-07 22:09 ` [Bug fortran/16898] " pinskia at gcc dot gnu dot org
  2004-12-10 13:02 ` paulthomas2 at wanadoo dot fr
@ 2004-12-10 13:21 ` pbrook at gcc dot gnu dot org
  2005-05-15 17:51 ` aj at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pbrook at gcc dot gnu dot org @ 2004-12-10 13:21 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pbrook at gcc dot gnu dot org  2004-12-10 13:21 -------
This is not fixed. 
It still fails for me at -O2 in i686-linux. 

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
                   ` (2 preceding siblings ...)
  2004-12-10 13:21 ` pbrook at gcc dot gnu dot org
@ 2005-05-15 17:51 ` aj at gcc dot gnu dot org
  2005-05-18 21:25 ` tobi at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: aj at gcc dot gnu dot org @ 2005-05-15 17:51 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From aj at gcc dot gnu dot org  2005-05-15 17:50 -------
I have on Linux/x86-64 these passes - which means all of them pass:
XPASS: gfortran.dg/ret_pointer_1.f90  -O0  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O1  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O2  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O3 -fomit-frame-pointer  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O3 -fomit-frame-pointer -funroll-loops  e
xecution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O3 -fomit-frame-pointer -funroll-all-loop
s -finline-functions  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O3 -g  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -Os  execution test

On Linux/i686 I get less passes:
XPASS: gfortran.dg/ret_pointer_1.f90  -O0  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O1  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O3 -fomit-frame-pointer  execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O3 -fomit-frame-pointer -funroll-loops 
execution test
XPASS: gfortran.dg/ret_pointer_1.f90  -O3 -fomit-frame-pointer
-funroll-all-loops -finline-functions  execution test

So, -Os and -O2 are broken on i686.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aj at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
                   ` (3 preceding siblings ...)
  2005-05-15 17:51 ` aj at gcc dot gnu dot org
@ 2005-05-18 21:25 ` tobi at gcc dot gnu dot org
  2005-06-04 21:00 ` tobi at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: tobi at gcc dot gnu dot org @ 2005-05-18 21:25 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From tobi at gcc dot gnu dot org  2005-05-18 21:24 -------
Fixed by Zdenek's recent patch:
http://gcc.gnu.org/ml/fortran/2005-05/msg00178.html, keeping this bug open until
the patch is also committed to the 4.0 branch.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
                   ` (5 preceding siblings ...)
  2005-06-04 21:00 ` tobi at gcc dot gnu dot org
@ 2005-06-04 21:00 ` cvs-commit at gcc dot gnu dot org
  2005-06-04 21:01 ` tobi at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-06-04 21:00 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-06-04 21:00 -------
Subject: Bug 16898

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	tobi@gcc.gnu.org	2005-06-04 20:59:51

Modified files:
	gcc/fortran    : ChangeLog trans-types.c 
	gcc/testsuite  : ChangeLog 
	gcc/testsuite/gfortran.dg: ret_pointer_1.f90 

Log message:
	fortran/
	2005-06-04  Zdenek Dvorak  <dvorakz@suse.cz>
	
	PR fortran/16898
	* trans-types.c (gfc_array_range_type): New variable.
	(gfc_init_types): Initialize gfc_array_range_type.
	(gfc_get_array_type_bounds): Use gfc_array_range_type.
	
	testsuite/
	2005-06-04  Tobias Schl"uter  <tobias.schlueter@physik.uni-muenchen.de>
	
	PR fortran/16898
	* gfortran.dg/ret_pointer_1.f90: Un-XFAIL.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fortran/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.335.2.64&r2=1.335.2.65
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fortran/trans-types.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.37.10.5&r2=1.37.10.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.226&r2=1.5084.2.227
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/ret_pointer_1.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.1&r2=1.1.48.1



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
                   ` (4 preceding siblings ...)
  2005-05-18 21:25 ` tobi at gcc dot gnu dot org
@ 2005-06-04 21:00 ` tobi at gcc dot gnu dot org
  2005-06-04 21:00 ` cvs-commit at gcc dot gnu dot org
  2005-06-04 21:01 ` tobi at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: tobi at gcc dot gnu dot org @ 2005-06-04 21:00 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From tobi at gcc dot gnu dot org  2005-06-04 21:00 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tobi at gcc dot gnu dot org
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.0.1


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/16898] Aliasing problem with array descriptors
  2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
                   ` (6 preceding siblings ...)
  2005-06-04 21:00 ` cvs-commit at gcc dot gnu dot org
@ 2005-06-04 21:01 ` tobi at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: tobi at gcc dot gnu dot org @ 2005-06-04 21:01 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From tobi at gcc dot gnu dot org  2005-06-04 21:01 -------
The patch has been on mainline since May 18th.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16898


^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2005-06-04 21:01 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-08-06 14:32 [Bug fortran/16898] New: Aliasing problem with array descriptors pbrook at gcc dot gnu dot org
2004-08-07 22:09 ` [Bug fortran/16898] " pinskia at gcc dot gnu dot org
2004-12-10 13:02 ` paulthomas2 at wanadoo dot fr
2004-12-10 13:21 ` pbrook at gcc dot gnu dot org
2005-05-15 17:51 ` aj at gcc dot gnu dot org
2005-05-18 21:25 ` tobi at gcc dot gnu dot org
2005-06-04 21:00 ` tobi at gcc dot gnu dot org
2005-06-04 21:00 ` cvs-commit at gcc dot gnu dot org
2005-06-04 21:01 ` tobi 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).