[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  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from Dominique d'Humieres  ---
> 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

[mikael at gcc dot gnu.org]

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



Mikael Morin  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  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

[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|-00-00 00:00:00 |2010-05-31 16:59:18
   date||


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