[Bug fortran/30881] New: incorrect error message for valid code

[Bug fortran/30881] New: incorrect error message for valid code

[jv244 at cam dot ac dot uk]

With recent trunk, gfortran incorrectly generates an error for the following
standard code:
INTEGER, PARAMETER :: K=1
INTEGER ::  I
I=TRANSFER(.TRUE.,K)
SELECT CASE(I)
CASE(TRANSFER(.TRUE.,K))
CASE(TRANSFER(.FALSE.,K))
 CALL ABORT()
CASE DEFAULT
 CALL ABORT()
END SELECT
I=TRANSFER(.FALSE.,K)
SELECT CASE(I)
CASE(TRANSFER(.TRUE.,K))
 CALL ABORT()
CASE(TRANSFER(.FALSE.,K))
CASE DEFAULT
 CALL ABORT()
END SELECT
END


-- 
           Summary: incorrect error message for valid code
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


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

[Bug fortran/30881] incorrect error message for valid code

[dominiq at lps dot ens dot fr]

------- Comment #1 from dominiq at lps dot ens dot fr  2007-02-20 10:57 -------
With Target: powerpc-apple-darwin7, gcc version 4.3.0 20070216, 
plus patch for PR #30400, I have:

[address=437ffffc pc=42343560]
pr30881.f90:0: 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.


-- 


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

[Bug fortran/30881] Select case of case(transfer(...)) wrongly rejected

[burnus at gcc dot gnu dot org]

------- Comment #2 from burnus at gcc dot gnu dot org  2007-02-20 13:23 -------
I cannot reproduce the ICE with 4.3.0 20070220/x86_64-unknown-linux-gnu. I get
the following error:

CASE(TRANSFER(.TRUE.,K))
    1
foo.f90:6.5:
CASE(TRANSFER(.FALSE.,K))
    2
Error: CASE label at (1) overlaps with CASE label at (2)

The file compiles correctly with NAGf95, g95 and ifort. (However, ifort calls
wrongly the second abort.)


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |rejects-valid
   Last reconfirmed|0000-00-00 00:00:00         |2007-02-20 13:23:53
               date|                            |
            Summary|incorrect error message for |Select case of
                   |valid code                  |case(transfer(...)) wrongly
                   |                            |rejected


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

[Bug fortran/30881] Select case of case(transfer(...)) wrongly rejected

[fxcoudert at gcc dot gnu dot org]

------- Comment #3 from fxcoudert at gcc dot gnu dot org  2007-03-03 12:36 -------
I also get the ICE on i686-linux. We get into compare_cases (resolve.c) and try
to compare op1->high and op2->low, but both are functions and not constants, so
the values in op1->high->value are meaningless, and comparing them yields
random segfaults.

If we get it past that point, we later ICE in gfc_conv_constant_to_tree, at
fortran/trans-const.c:278 (because the expr is not an EXPR_CONSTANT). This will
all be fixed when the simplifcation routine for TRANSFER is written.


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pault at gcc dot gnu dot
                   |                            |org, jvdelisle at verizon
                   |                            |dot net
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.3.0 4.2.0 4.1.2
   Last reconfirmed|2007-02-20 13:23:53         |2007-03-03 12:36:28
               date|                            |


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

[Bug fortran/30881] Select case of case(transfer(...)) wrongly rejected

[pault at gcc dot gnu dot org]

------- Comment #4 from pault at gcc dot gnu dot org  2007-03-07 10:53 -------
(In reply to comment #3)

> fortran/trans-const.c:278 (because the expr is not an EXPR_CONSTANT). This will
> all be fixed when the simplifcation routine for TRANSFER is written.

FX, You are correct - this is effectively PR18769.

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |18769


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

[Bug fortran/30881] Select case of case(transfer(...)) wrongly rejected

[brooks at gcc dot gnu dot org]

-- 

brooks at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |brooks at gcc dot gnu dot
                   |                            |org
         AssignedTo|unassigned at gcc dot gnu   |brooks at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-03-03 12:36:28         |2007-04-06 22:56:55
               date|                            |


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

[Bug fortran/30881] Select case of case(transfer(...)) wrongly rejected

[pault at gcc dot gnu dot org]

------- Comment #5 from pault at gcc dot gnu dot org  2007-05-16 06:41 -------
Subject: Bug 30881

Author: pault
Date: Wed May 16 05:40:51 2007
New Revision: 124759

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=124759
Log:
2007-05-16  Brooks Moses  <brooks.moses@codesourcery.com>

        PR fortran/18769
        PR fortran/30881
        PR fortran/31194
        PR fortran/31216
        PR fortran/31427
        * target-memory.c: New file.
        * target-memory.h: New file.
        * simplify.c: Add #include "target-memory.h".
        (gfc_simplify_transfer): Implement constant-
        folding for TRANSFER intrinsic.
        * Make-lang.in: Add dependencies on new target-memory.* files.

2007-05-16  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/18769
        PR fortran/30881
        PR fortran/31194
        PR fortran/31216
        PR fortran/31427
        * transfer_simplify_1.f90: New test.
        * transfer_simplify_2.f90: New test.

Added:
    trunk/gcc/fortran/target-memory.c
    trunk/gcc/fortran/target-memory.h
    trunk/gcc/testsuite/gfortran.dg/transfer_simplify_1.f90
    trunk/gcc/testsuite/gfortran.dg/transfer_simplify_2.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/Make-lang.in
    trunk/gcc/fortran/simplify.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/30881] Select case of case(transfer(...)) wrongly rejected

[pault at gcc dot gnu dot org]

------- Comment #6 from pault at gcc dot gnu dot org  2007-05-16 09:11 -------
Fixed on trunk

Paul and Brooks


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug fortran/30881] Select case of case(transfer(...)) wrongly rejected

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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