[Bug fortran/34990] New: [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[Bug fortran/34990] New: [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[dominiq at lps dot ens dot fr]

I have wrongly reported this regression under PR34848:  pr33998.f90 started to
fail after rev. 131676 and pr34897.f90 after rev. 131679. These ICEs occurs now
for the original test cases:

[ibook-dhum] f90/bug% cat pr33998.f90
module test 
   implicit none 
   contains 
      function my_string(x) 
         integer i 
         real, intent(in) :: x(:) 
         character(0) h4(1:minval([(1,i=1,0)],1)) 
         character(0) sv1(size(x,1):size(h4)) 
         character(0) sv2(2*lbound(sv1,1):size(h4)) 
         character(lbound(sv2,1)-3) my_string 

         do i = 1, len(my_string) 
            my_string(i:i) = achar(modulo(i-1,10)+iachar('0')) 
         end do 
      end function my_string 
end module test 

program len_test 
   use test 
   implicit none 
   real x(7) 

   write(*,*) my_string(x) 
end program len_test 
[ibook-dhum] f90/bug% cat pr34897.f90
      function my_string(x)
         integer i
         real, intent(in) :: x(:)
         character(0) h4(1:minval([(1,i=1,0)],1)) ! If range is 1,0 bombs out.
         character(0) sv1(size(x,1):size(h4))
         character(0) sv2(2*lbound(sv1,1):size(h4))
         character(lbound(sv2,1)-3) my_string
      end function my_string
end

In both cases the ICEs are:

[ibook-dhum] f90/bug% gfc pr33998.f90
pr33998.f90: In function 'my_string':
pr33998.f90:7: internal compiler error: in gfc_typenode_for_spec, at
fortran/trans-types.c:842
...
[ibook-dhum] f90/bug% gfc pr34897.f90
pr34897.f90: In function 'my_string':
pr34897.f90:1: warning: Function does not return a value
pr34897.f90:4: internal compiler error: in gfc_typenode_for_spec, at
fortran/trans-types.c:842
...


-- 
           Summary: [4.3 Regression] ICE in gfc_typenode_for_spec, at
                    fortran/trans-types.c:842
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dominiq at lps dot ens dot fr
 GCC build triplet: powerpc/i686-apple-darwin9
  GCC host triplet: powerpc/i686-apple-darwin9
GCC target triplet: powerpc/i686-apple-darwin9


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
           Priority|P3                          |P4
   Target Milestone|---                         |4.3.0


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[tkoenig at gcc dot gnu dot org]

------- Comment #1 from tkoenig at gcc dot gnu dot org  2008-01-27 18:19 -------
Confirmed.


-- 

tkoenig at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pault at gcc dot gnu dot
                   |                            |org, tkoenig at gcc dot gnu
                   |                            |dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-27 18:19:48
               date|                            |


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[jvdelisle at gcc dot gnu dot org]

------- Comment #2 from jvdelisle at gcc dot gnu dot org  2008-01-27 18:37 -------
Reverting with the following clears this bug:

Index: array.c
===================================================================
--- array.c     (revision 131876)
+++ array.c     (working copy)
@@ -1025,7 +1025,6 @@ gfc_check_constructor_type (gfc_expr *e)

   cons_state = CONS_START;
   gfc_clear_ts (&constructor_ts);
-  gfc_clear_ts (&e->ts);

   t = check_constructor_type (e->value.constructor);
   if (t == SUCCESS && e->ts.type == BT_UNKNOWN)

I suspect we just need to do this clearing conditioned on somthing.


-- 


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[jvdelisle at gcc dot gnu dot org]

------- Comment #3 from jvdelisle at gcc dot gnu dot org  2008-01-27 19:33 -------
I get no regressions with the fix in comment #2. I will just commit it as
obvious.


-- 


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[jvdelisle at gcc dot gnu dot org]

------- Comment #4 from jvdelisle at gcc dot gnu dot org  2008-01-27 19:39 -------
Subject: Bug 34990

Author: jvdelisle
Date: Sun Jan 27 19:38:59 2008
New Revision: 131890

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131890
Log:
2008-01-27  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

        PR fortran/34990
        * array.c (gfc_check_constructor_type): Revert clearing the expression.

Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/array.c


-- 


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[jvdelisle at gcc dot gnu dot org]

------- Comment #5 from jvdelisle at gcc dot gnu dot org  2008-01-27 19:51 -------
Subject: Bug 34990

Author: jvdelisle
Date: Sun Jan 27 19:50:16 2008
New Revision: 131891

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131891
Log:
2008-01-27  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

        PR fortran/34990
        * gfortran.dg/array_constructor_22.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/array_constructor_22.f90
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[jvdelisle at gcc dot gnu dot org]

------- Comment #6 from jvdelisle at gcc dot gnu dot org  2008-01-27 19:56 -------
Fixed on trunk


-- 

jvdelisle at gcc dot gnu dot org changed:

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


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

[Bug fortran/34990] [4.3 Regression] ICE in gfc_typenode_for_spec, at fortran/trans-types.c:842

[dfranke at gcc dot gnu dot org]

------- Comment #7 from dfranke at gcc dot gnu dot org  2008-01-30 20:27 -------
*** Bug 34897 has been marked as a duplicate of this bug. ***


-- 


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