re PR fortran/54949 ([F03] abstract procedure pointers not rejected)

2013-12-16  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/54949
	* symbol.c (check_conflict): Forbid abstract procedure pointers.
	(gfc_add_abstract): Check for attribute conflicts.

2013-12-16  Janus Weil  <janus@gcc.gnu.org>

	PR fortran/54949
	* gfortran.dg/proc_ptr_44.f90: New.

From-SVN: r206033

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 4f3a8e16a0eed123495a3aa6880c897e1302e217..1a81bfcc0ccbf3cf3344eb5e2fd1afd4e2f50f9c 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2013-12-16  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/54949
+       * symbol.c (check_conflict): Forbid abstract procedure pointers.
+       (gfc_add_abstract): Check for attribute conflicts.
+
 2013-12-16  Jakub Jelinek  <jakub@redhat.com>
 
        PR libgomp/59337

diff --git a/gcc/fortran/symbol.c b/gcc/fortran/symbol.c
index 9d23e8b48a3f8ada857fbbd19a4f5ed7aa6a619d..07930f2916d1a9dddb51cc58783938988076cec0 100644 (file)
--- a/gcc/fortran/symbol.c
+++ b/gcc/fortran/symbol.c
@@ -363,6 +363,7 @@ check_conflict (symbol_attribute *attr, const char *name, locus *where)
     *cray_pointee = "CRAY POINTEE", *data = "DATA", *value = "VALUE",
     *volatile_ = "VOLATILE", *is_protected = "PROTECTED",
     *is_bind_c = "BIND(C)", *procedure = "PROCEDURE",
+    *proc_pointer = "PROCEDURE POINTER", *abstract = "ABSTRACT",
     *asynchronous = "ASYNCHRONOUS", *codimension = "CODIMENSION",
     *contiguous = "CONTIGUOUS", *generic = "GENERIC";
   static const char *threadprivate = "THREADPRIVATE";
@@ -593,6 +594,8 @@ check_conflict (symbol_attribute *attr, const char *name, locus *where)
   conf (procedure, asynchronous)
   conf (procedure, entry)
 
+  conf (proc_pointer, abstract)
+
   a1 = gfc_code2string (flavors, attr->flavor);
 
   if (attr->in_namelist
@@ -1440,7 +1443,8 @@ gfc_add_abstract (symbol_attribute* attr, locus* where)
     }
 
   attr->abstract = 1;
-  return true;
+
+  return check_conflict (attr, NULL, where);
 }
 
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 79047575c5522550f44de3a528125be9e732628b..671a8b5f30a7cd87f754bf3f2f44467d0bf2a154 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-12-16  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/54949
+       * gfortran.dg/proc_ptr_44.f90: New.
+
 2013-12-16  Jakub Jelinek  <jakub@redhat.com>
 
        * c-c++-common/ubsan/overflow-mul-3.c: New test.

diff --git a/gcc/testsuite/gfortran.dg/proc_ptr_44.f90 b/gcc/testsuite/gfortran.dg/proc_ptr_44.f90
new file mode 100644 (file)
index 0000000..3ed65a8
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/proc_ptr_44.f90
@@ -0,0 +1,29 @@
+! { dg-do compile }
+!
+! PR 54949: [F03] abstract procedure pointers not rejected
+!
+! Contributed by Janus Weil <janus@gcc.gnu.org>
+
+  implicit none
+
+  abstract interface
+    subroutine abssub1
+    end subroutine
+  end interface
+  pointer :: abssub1  ! { dg-error "PROCEDURE POINTER attribute conflicts with ABSTRACT attribute" }
+
+  pointer :: abssub2
+  abstract interface
+    subroutine abssub2  ! { dg-error "PROCEDURE POINTER attribute conflicts with ABSTRACT attribute" }
+    end subroutine
+  end interface
+  
+  abssub1 => sub  ! { dg-error "is not a variable" }
+  abssub2 => sub
+  
+contains
+
+  subroutine sub
+  end subroutine
+
+end