[Bug fortran/44345] ICE in fold_convert_loc

[Bug fortran/44345] ICE in fold_convert_loc

[mikael at gcc dot gnu.org]

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

Mikael Morin <mikael at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikael at gcc dot gnu.org
      Known to work|                            |4.8.0
      Known to fail|                            |

--- Comment #4 from Mikael Morin <mikael at gcc dot gnu.org> 2013-01-15 21:40:13 UTC ---
The code is now rejected with 4.8.0

:3.6:

      q(i)=i
      1
Error: Unclassifiable statement at (1)
:4.9:

      p=>q(110)
         1
Error: Target expression in pointer assignment at (1) must deliver a pointer
result

[Bug fortran/44345] ICE in fold_convert_loc

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

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

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> The code is now rejected with 4.8.0

Confirmed. Closing as FIXED. Please reopen if I am wrong.

[Bug fortran/44345] ICE in fold_convert_loc

[kargl at gcc dot gnu dot org]

------- Comment #3 from kargl at gcc dot gnu dot org  2010-05-31 22:20 -------
Interestingly, if one does not use implicit type, one finds that
the following compiles:

      integer, pointer :: p
      integer, target  :: q
      q(i)=i
      p=>q(110)
      print *,p
      end

and 

      integer, pointer :: p
      integer, target  :: q
      integer i
      q(i)=i
      p=>q(110)
      print *,p
      end

and

      real, pointer :: p
      real, target  :: q
      real i
      q(i)=i
      p=>q(110.)
      print *,p
      end

Finally, this one does not compile

      real, pointer :: p
      real, target  :: q
      integer i
      q(i)=i
      p=>q(110)
      print *,p
      end

laptop:kargl[218] gfc4x -o z t.f90 && ./z
t.f90: In function 'MAIN__':
t.f90:5:0: internal compiler error: in fold_convert_loc, at fold-const.c:1920
Please submit a full bug report,
with preprocessed source if appropriate.


-- 


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

[Bug fortran/44345] ICE in fold_convert_loc

[zeccav at gmail dot com]

------- Comment #2 from zeccav at gmail dot com  2010-05-31 18:37 -------
Subject: Re:  ICE in fold_convert_loc

In that case gfortran should emit an error message, but it should not crash.


-- 


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

[Bug fortran/44345] ICE in fold_convert_loc

[mikael at gcc dot gnu dot org]

------- Comment #1 from mikael at gcc dot gnu dot org  2010-05-31 16:59 -------
I think the code is invalid as it violates :

   C554 An entity with the TARGET attribute shall be a variable.

Confirmed.


-- 

mikael at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
      Known to fail|                            |4.4.4 4.6.0
   Last reconfirmed|0000-00-00 00:00:00         |2010-05-31 16:59:18
               date|                            |


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