[Bug fortran/41724] PUREness/ELEMENTAL check missing for ACTUAL/DUMMY conformance

2013-12-09 Thread burnus at gcc dot gnu.org 
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41724

--- Comment #5 from Tobias Burnus burnus at gcc dot gnu.org ---
Author: burnus
Date: Mon Dec  9 23:17:06 2013
New Revision: 205838

URL: http://gcc.gnu.org/viewcvs?rev=205838root=gccview=rev
Log:
2013-12-10  Tobias Burnus  bur...@net-b.de

PR fortran/59428
PR fortran/58099
PR fortran/58676
PR fortran/41724
* gfortran.dg/proc_ptr_result_4.f90: Fix proc-ptr interface.


Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gfortran.dg/proc_ptr_result_4.f90

[Bug fortran/41724] PUREness/ELEMENTAL check missing for ACTUAL/DUMMY conformance

2013-12-08 Thread burnus at gcc dot gnu.org 
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41724

--- Comment #3 from Tobias Burnus burnus at gcc dot gnu.org ---
Author: burnus
Date: Sun Dec  8 21:34:18 2013
New Revision: 205791

URL: http://gcc.gnu.org/viewcvs?rev=205791root=gccview=rev
Log:
2013-12-08  Tobias Burnus  bur...@net-b.de
Janus Weil  ja...@gcc.gnu.org

PR fortran/58099
PR fortran/58676
PR fortran/41724
* resolve.c (gfc_resolve_intrinsic): Set elemental/pure.
(resolve_fl_procedure): Reject pure dummy procedures/procedure
pointers.
(gfc_explicit_interface_required): Don't require a
match of ELEMENTAL for intrinsics.

2013-12-08  Tobias Burnus  bur...@net-b.de

PR fortran/58099
PR fortran/58676
PR fortran/41724
* gfortran.dg/elemental_subroutine_8.f90: New.
* gfortran.dg/proc_decl_9.f90: Add ELEMENTAL to make valid.
* gfortran.dg/proc_ptr_11.f90: Ditto.
* gfortran.dg/proc_ptr_result_8.f90: Ditto.
* gfortran.dg/proc_ptr_32.f90: Update dg-error.
* gfortran.dg/proc_ptr_33.f90: Ditto.
* gfortran.dg/proc_ptr_result_1.f90: Add abstract interface
which is not elemental.
* gfortran.dg/proc_ptr_result_7.f90: Ditto.


Added:
trunk/gcc/testsuite/gfortran.dg/elemental_subroutine_8.f90
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/resolve.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gfortran.dg/proc_decl_9.f90
trunk/gcc/testsuite/gfortran.dg/proc_ptr_11.f90
trunk/gcc/testsuite/gfortran.dg/proc_ptr_32.f90
trunk/gcc/testsuite/gfortran.dg/proc_ptr_33.f90
trunk/gcc/testsuite/gfortran.dg/proc_ptr_result_1.f90
trunk/gcc/testsuite/gfortran.dg/proc_ptr_result_7.f90
trunk/gcc/testsuite/gfortran.dg/proc_ptr_result_8.f90

[Bug fortran/41724] PUREness/ELEMENTAL check missing for ACTUAL/DUMMY conformance

2013-12-08 Thread burnus at gcc dot gnu.org 
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41724

Tobias Burnus burnus at gcc dot gnu.org changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Tobias Burnus burnus at gcc dot gnu.org ---
Should be fixed FIXED on the 4.9 trunk.

For details, see also the later comments of PR 58099.

[Bug fortran/41724] PUREness/ELEMENTAL check missing for ACTUAL/DUMMY conformance

2013-06-16 Thread dominiq at lps dot ens.fr 
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41724

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

   What|Removed |Added

 Status|UNCONFIRMED |WAITING
   Last reconfirmed||2013-06-16
 Ever confirmed|0   |1

--- Comment #2 from Dominique d'Humieres dominiq at lps dot ens.fr ---
The test A is rejected by 4.5 up to trunk. The tests B and C are rejected by
4.6 up to trunk with

pr41724_1.f90:29.13:

   call test(my_dcos)
 1
Error: Interface mismatch in dummy procedure 'fun' at (1): Mismatch in PURE
attribute

except 4.6 which rejects them with

pr41724_1.f90:29.13:

   call test(my_dcos)
 1
Error: Expected a PURE procedure for argument 'fun' at (1)

Is it still an issue?

[Bug fortran/41724] PUREness/ELEMENTAL check missing for ACTUAL/DUMMY conformance

2009-10-19 Thread burnus at gcc dot gnu dot org 


--- Comment #1 from burnus at gcc dot gnu dot org  2009-10-19 14:31 ---
Similarly for proc-pointers, cf. PR 41733.


-- 


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