[Bug fortran/34838] New: Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[Bug fortran/34838] New: Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[manfred99 at gmx dot ch]

integer MAXPTS
      PARAMETER (MAXPTS=10000000)

      Logical*1,allocatable,dimension(:) :: bmp,bmpv
      integer :: igds(5)=(/0,0,0,0,0/)

      allocate(bmp(maxpts))
      allocate(bmpv(maxpts))
      bmp(1)=.false.
      bmpv(1)=.true.
      igds(2)=1

      if ( ANY(bmp(1:igds(2)) .NEQV. bmpv(1:igds(2))) ) then
        print*,"hello"
      endif
      end


gives:
demo.f:17.72:

      end
                                                                       1
Internal Error at (1):
demo.f:14.36:

      if ( ANY(bmp(1:igds(2)) .NEQV. bmpv(1:igds(2))) ) then
                                   1
Can't convert LOGICAL(1) to LOGICAL(1) at (1)


this is with
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: /projects/tob/gcc/configure --enable-languages=c,fortran
--prefix=/projects/tob/gcc-trunk
Thread model: posix
gcc version 4.3.0 20080117 (experimental) [trunk revision 131592] (GCC)


-- 
           Summary: Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: manfred99 at gmx dot ch


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

[Bug fortran/34838] Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[manfred99 at gmx dot ch]

------- Comment #1 from manfred99 at gmx dot ch  2008-01-17 22:45 -------
shorter version:
      Logical*1 :: bmp(1),bmpv(1)

      bmp(1)=.false.
      bmpv(1)=.true.

      if ( ANY(bmp(1:1) .NEQV. bmpv(1:1)) ) then
        print*,"hello"
      endif
      end


"Logical", "Logical*2" and "Logical*4" in variable definition work.

"Logical*1" breaks.


-- 


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

[Bug fortran/34838] Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2008-01-17 22:53 -------
Confirmed and this is a regression as the code works with gfortran 4.3.0
20080102.


-- 


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

[Bug fortran/34838] Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[burnus at gcc dot gnu dot org]

------- Comment #3 from burnus at gcc dot gnu dot org  2008-01-18 00:03 -------
I think this is fixed by the patch in PR 34817 though I currently cannot test
it.


-- 


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

[Bug fortran/34838] Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[manfred99 at gmx dot ch]

------- Comment #4 from manfred99 at gmx dot ch  2008-01-18 08:59 -------
I bisected it using the binaries of Tobias:

gcc-trunk-x86_64-2008-01-15-r131542.tar.gz works
gcc-trunk-x86_64-2008-01-16-r131566.tar.gz is broken

inbetween there exist mainly only 2 relevant commits:
- r131553 Th. Koenig, fiddling with _gfortran_any_l1 and *logical.m4
- r131566 T. Burnus

I doubt somehow that the patch for PR 34817 will help. I will not have time
to check it myself in the next days, though.


-- 


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

[Bug fortran/34838] Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[burnus at gcc dot gnu dot org]

------- Comment #5 from burnus at gcc dot gnu dot org  2008-01-18 12:49 -------
What puzzles me is that it works with my local tree; it contains several
changes (102 insertions(+), 41 deletions(-)), but they should (in principle)
not affect this problem. Actually, also the test case of PR 34817 passes here.


-- 

burnus at gcc dot gnu dot org changed:

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


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

[Bug fortran/34838] Internal Error: Can't convert LOGICAL(1) to LOGICAL(1)

[manfred99 at gmx dot ch]

------- Comment #6 from manfred99 at gmx dot ch  2008-01-18 13:26 -------
Yes, PR 34817 pass (both) for me too, with your binaries as well as with
the binaries of FX.

I just checked my testcase (this PR) with the binaries of FX, it breaks
after 2008-01-15, same as with your binaries.


-- 


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

[Bug fortran/34838] [4.3 Regression] ICE: Can't convert LOGICAL(1) to LOGICAL(1)

[burnus at gcc dot gnu dot org]

-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |32834
              nThis|                            |
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-18 23:57:49
               date|                            |
            Summary|Internal Error: Can't       |[4.3 Regression] ICE: Can't
                   |convert LOGICAL(1) to       |convert LOGICAL(1) to
                   |LOGICAL(1)                  |LOGICAL(1)


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

[Bug fortran/34838] [4.3 Regression] ICE: Can't convert LOGICAL(1) to LOGICAL(1)

[tkoenig at gcc dot gnu dot org]

------- Comment #7 from tkoenig at gcc dot gnu dot org  2008-01-19 17:48 -------
I'm 95% certain this was caused by my patch.


-- 

tkoenig at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |tkoenig at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-01-18 23:57:49         |2008-01-19 17:48:25
               date|                            |


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

[Bug fortran/34838] [4.3 Regression] ICE: Can't convert LOGICAL(1) to LOGICAL(1)

[tkoenig at gcc dot gnu dot org]

------- Comment #8 from tkoenig at gcc dot gnu dot org  2008-01-19 22:48 -------
Subject: Bug 34838

Author: tkoenig
Date: Sat Jan 19 22:47:47 2008
New Revision: 131660

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131660
Log:
2008-01-19  Thomas Koenig  <tkoenig@gcc.gnu.org>

        PR fortran/34817
        PR fortran/34838
        * iresolve.c (gfc_resolve_all):  Remove conversion of mask
        argument to kind=1 by removing call to resolve_mask_arg().
        (gfc_resolve_any):  Likewise.

2008-01-19  Thomas Koenig  <tkoenig@gcc.gnu.org>

        PR fortran/34817
        PR fortran/34838
        * gfortran.dg/any_all_1.f90:  New test.
        * gfortran.dg/any_all_2.f90:  New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/any_all_1.f90
    trunk/gcc/testsuite/gfortran.dg/any_all_2.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/iresolve.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/34838] [4.3 Regression] ICE: Can't convert LOGICAL(1) to LOGICAL(1)

[tkoenig at gcc dot gnu dot org]

------- Comment #9 from tkoenig at gcc dot gnu dot org  2008-01-19 22:52 -------
Fixed.  Closing.


-- 

tkoenig at gcc dot gnu dot org changed:

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


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

[Bug fortran/34838] [4.3 Regression] ICE: Can't convert LOGICAL(1) to LOGICAL(1)

[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=34838