public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure
@ 2004-04-20 21:47 Tobias dot Schlueter at physik dot uni-muenchen dot de
  2004-04-20 21:55 ` [Bug fortran/15032] " Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (7 more replies)
  0 siblings, 8 replies; 9+ messages in thread
From: Tobias dot Schlueter at physik dot uni-muenchen dot de @ 2004-04-20 21:47 UTC (permalink / raw)
  To: gcc-bugs

this subroutine:
SUBROUTINE a
  INTEGER, TARGET :: N = 4
  INTEGER, POINTER :: P => NULL()

  P => N
END SUBROUTINE a
generates an assertion error:
[tobi@marktplatz src]$ gcc/build/gcc/f951 < t2.f90
Warning: Reading file  as free form
        .file   "<stdin>"
 a
f951: ../../gcc/gcc/fortran/trans-const.c:354: gfc_conv_constant: Assertion
`expr->expr_type == EXPR_CONSTANT' failed.

:1: internal compiler error: Aborted
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
[tobi@marktplatz src]$

-- 
           Summary: [gfortran] gfc_conv_constant Assertion failure
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: Tobias dot Schlueter at physik dot uni-muenchen dot de
                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=15032


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

* [Bug fortran/15032] [gfortran] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
@ 2004-04-20 21:55 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
  2004-04-20 23:47 ` pinskia at gcc dot gnu dot org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: Tobias dot Schlueter at physik dot uni-muenchen dot de @ 2004-04-20 21:55 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From Tobias dot Schlueter at physik dot uni-muenchen dot de  2004-04-20 21:42 -------
Changing the third line to
  INTEGER, POINTER :: P ! no initialization

seemingly exposes memory corruption inside the compiler:
[tobi@marktplatz src]$ gcc/build/gcc/f951 t2.f90
 a

Execution times (seconds)
 final                 :   0.00 ( 0%) usr   0.00 ( 0%) sys   0.01 (12%) wall
 TOTAL                 :   0.03             0.00             0.08
Extra diagnostic checks enabled; compiler may run slowly.
Configure with --disable-checking to disable checks.
[tobi@marktplatz src]$ gcc/build/gcc/f951 < t2.f90
Warning: Reading file  as free form
        .file   "<stdin>"
 a

f951: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
[tobi@marktplatz src]$

i.e. only when reading from stdin the compiler segfaults. I'll attach valgrind
output for both cases.

-- 


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


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

* [Bug fortran/15032] [gfortran] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
  2004-04-20 21:55 ` [Bug fortran/15032] " Tobias dot Schlueter at physik dot uni-muenchen dot de
@ 2004-04-20 23:47 ` pinskia at gcc dot gnu dot org
  2004-04-20 23:51 ` pinskia at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-04-20 23:47 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-20 21:44 -------
Confirmed.  IFC accepts it.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-04-20 21:44:32
               date|                            |
   Target Milestone|---                         |tree-ssa


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


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

* [Bug fortran/15032] [gfortran] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
  2004-04-20 21:55 ` [Bug fortran/15032] " Tobias dot Schlueter at physik dot uni-muenchen dot de
  2004-04-20 23:47 ` pinskia at gcc dot gnu dot org
@ 2004-04-20 23:51 ` pinskia at gcc dot gnu dot org
  2004-04-21  0:32 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-04-20 23:51 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-20 21:47 -------
Note you cannot just attach with valgrind as the GC in GCC will throw it off, you can use --enable-
checking=valgrind to enabled the use of valgrind.

-- 


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


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

* [Bug fortran/15032] [gfortran] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (2 preceding siblings ...)
  2004-04-20 23:51 ` pinskia at gcc dot gnu dot org
@ 2004-04-21  0:32 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
  2004-04-21 12:37 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: Tobias dot Schlueter at physik dot uni-muenchen dot de @ 2004-04-21  0:32 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From Tobias dot Schlueter at physik dot uni-muenchen dot de  2004-04-20 21:55 -------
(In reply to comment #3)
> Note you cannot just attach with valgrind as the GC in GCC will throw it off,
you can use --enable-
> checking=valgrind to enabled the use of valgrind.

Ok, will try that way tomorrow.

If you look at the output I attached, it still looks like valgrind didn't
generate random information: annotate_with_file_line() will have a hard time,
when the input file is stdin.


-- 


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


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

* [Bug fortran/15032] [gfortran] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (3 preceding siblings ...)
  2004-04-21  0:32 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
@ 2004-04-21 12:37 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
  2004-05-17  1:53 ` tobi at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: Tobias dot Schlueter at physik dot uni-muenchen dot de @ 2004-04-21 12:37 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From Tobias dot Schlueter at physik dot uni-muenchen dot de  2004-04-21 12:25 -------
(In reply to comment #3)
> Note you cannot just attach with valgrind as the GC in GCC will throw it off,
you can use --enable-
> checking=valgrind to enabled the use of valgrind.

Ok, I built with --enable-checking=valgrind and ran 'valgrind f951 t2.f90' and
'valgrind f951 < t2.f90'. I'm not sure if that's the right way, as there is no
documentation on how to use valgrind together with the compiler. See PR15039.
I'll attach the output below.



-- 


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


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

* [Bug fortran/15032] [gfortran] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (4 preceding siblings ...)
  2004-04-21 12:37 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
@ 2004-05-17  1:53 ` tobi at gcc dot gnu dot org
  2004-05-26 23:14 ` pinskia at gcc dot gnu dot org
  2004-07-12 10:24 ` [Bug fortran/15032] " tobi at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: tobi at gcc dot gnu dot org @ 2004-05-17  1:53 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From tobi at gcc dot gnu dot org  2004-05-16 15:00 -------
I reduced the original testcase a little more:
  INTEGER, POINTER :: P => NULL()
  P => NULL()
  END
commenting out either assignment makes the failure disappear.

-- 


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


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

* [Bug fortran/15032] [gfortran] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (5 preceding siblings ...)
  2004-05-17  1:53 ` tobi at gcc dot gnu dot org
@ 2004-05-26 23:14 ` pinskia at gcc dot gnu dot org
  2004-07-12 10:24 ` [Bug fortran/15032] " tobi at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-26 23:14 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.5.0                       |---


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


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

* [Bug fortran/15032] gfc_conv_constant Assertion failure
  2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
                   ` (6 preceding siblings ...)
  2004-05-26 23:14 ` pinskia at gcc dot gnu dot org
@ 2004-07-12 10:24 ` tobi at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: tobi at gcc dot gnu dot org @ 2004-07-12 10:24 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From tobi at gcc dot gnu dot org  2004-07-12 10:24 -------
Fixed by: http://gcc.gnu.org/ml/fortran/2004-07/msg00135.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
           Keywords|                            |patch
         Resolution|                            |FIXED
   Target Milestone|---                         |3.5.0


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


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

end of thread, other threads:[~2004-07-12 10:24 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-04-20 21:47 [Bug fortran/15032] New: [gfortran] gfc_conv_constant Assertion failure Tobias dot Schlueter at physik dot uni-muenchen dot de
2004-04-20 21:55 ` [Bug fortran/15032] " Tobias dot Schlueter at physik dot uni-muenchen dot de
2004-04-20 23:47 ` pinskia at gcc dot gnu dot org
2004-04-20 23:51 ` pinskia at gcc dot gnu dot org
2004-04-21  0:32 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
2004-04-21 12:37 ` Tobias dot Schlueter at physik dot uni-muenchen dot de
2004-05-17  1:53 ` tobi at gcc dot gnu dot org
2004-05-26 23:14 ` pinskia at gcc dot gnu dot org
2004-07-12 10:24 ` [Bug fortran/15032] " 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).